miloignis/kraken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 9eb5db84ab Fixed another, 50 tests passing Nathan Braswell 2016-03-07 20:17:23 -05:00
  • d62da74aa7 Fixed function calls on lambda literals - 49 tests passing Nathan Braswell 2016-03-07 16:24:00 -05:00
  • 5ed310df8b Added in function call operator Nathan Braswell 2016-03-07 15:54:09 -05:00
  • 22feae1a58 operator overload for [], []=, = Nathan Braswell 2016-03-02 20:23:25 -05:00
  • 84cbcc3820 References working, pass test_references, 46 tests passing Nathan Braswell 2016-03-01 14:54:58 -05:00
  • 2fb8dab08d Fix destructor stuff to fix destructor test and other bugs revealed Nathan Braswell 2016-02-29 19:18:22 -05:00
  • 10e21883c8 Add the fun_ prefix to functions to avoid name collisions in some cases (like with sizeof) and test_memTest passes as well. 43 Nathan Braswell 2016-02-29 05:08:49 -05:00
  • d6bb0cf45b Implemented traits, so test_traitsTest passes now and fixed small bug that allowed test_functionsValues to pass as well. 42 now Nathan Braswell 2016-02-29 04:53:03 -05:00
  • 939cf83da1 Fixed some closure/function value issues, now 40 tests pass Nathan Braswell 2016-02-27 21:07:22 -05:00
  • 8ce464eb0a Fix a bunch of stuff back and forth, 39 tests passing Nathan Braswell 2016-02-25 14:24:55 -05:00
  • efebf8b1d7 Port 2 tests, fix object bug when generating methods (would try to generate the &object as a function itself for some reason, which worked when it wasn't special as generate_function would just return the name) Nathan Braswell 2016-02-25 05:16:50 -05:00
  • 40e3536e10 Operator overloading with templates works now Nathan Braswell 2016-02-24 19:41:49 -05:00
  • a14034aad0 Operator overloading Nathan Braswell 2016-02-24 15:25:58 -05:00
  • afe785b5a1 [] builtin operator was returning the wrong type Nathan Braswell 2016-02-24 04:01:45 -05:00
  • a733bd0dfa Fix bug where templated methods (and maybe objects) were always having their bodies instantiated Nathan Braswell 2016-02-24 03:51:50 -05:00
  • c2f0c0d583 Closures work, committing to make sure code is saved before I begin in-depth testing Nathan Braswell 2016-02-24 01:54:20 -05:00
  • 08125551af Now computes closed_variables for each lambda, placeholder closure_struct type stuff. Nathan Braswell 2016-02-22 16:18:55 -05:00
  • 34f11b0874 Plain lambdas implemented, but not fully tested. No closures yet Nathan Braswell 2016-02-21 17:22:16 -05:00
  • e364b00cc9 Added in explicit types for function values Nathan Braswell 2016-02-20 22:14:39 -05:00
  • 1795f1b4f1 Implemented function values when type inferenced (not explicit types or lambdas) Nathan Braswell 2016-02-20 21:02:41 -05:00
  • f51a676aed Add in a link to the Emacs mode Nathan Braswell 2016-02-20 14:11:27 -05:00
  • b073d5806b Templated methods work now, even explicit instantiation (along with implicit) Nathan Braswell 2016-02-20 02:36:35 -05:00
  • c5dda4b7ec Was decorating this by accident, fixed. 32 Kalypso tests passing Nathan Braswell 2016-02-17 13:59:10 -05:00
  • 21034a820f Finished implementing simple_passthrough Nathan Braswell 2016-02-17 13:37:48 -05:00
  • 5a4d139d18 Just decided not to support defs in Kalypso (or Cephelapod, but it's already kinda implemented there) and ported some more tests over Nathan Braswell 2016-02-16 13:43:47 -05:00
  • a898104f8a Fix multiline strings with single quotes in Cephelapod and implement both types in Kalypso, one new test should pass for both Nathan Braswell 2016-02-15 23:12:56 -05:00
  • 815c213270 Make --parse-only not highlight and redo format of parse errors so that kraken.vim syntax checking works, fix naming to allow multiple instantiations of object templates, fix so that template type replacements go through to bodies of methods of object templates in the fourth_pass Nathan Braswell 2016-02-15 16:31:01 -05:00
  • 3da140cc5e Object templates starting to work, don't do methods properly yet, likely all have the same name Nathan Braswell 2016-02-13 16:56:37 -05:00
  • 46f4f95f00 Extended unify_type to unify through pointers, should work for all the features now implemented Nathan Braswell 2016-02-09 12:47:21 -05:00
  • f70aed9589 Implemented ultra-basic/incomplete function template instantiation type inference for Kalypso that just assigns the param type to the concat'd string right away which works in the most basic of cases. Will expand to cover pointers soon, and the rest when those features are implemented (object templates, function types) Nathan Braswell 2016-02-09 04:16:03 -05:00
  • 2ac1639b5e A little more work on function inference, fixed both Cephalapod and Kalypso's c generators to not accidentally emit this-> for a method param if the object has a var of the same name, which allows us to disambiguate with object_name::member = param_with_same_name, behavior I had not thought of but would have worked out of the box if not for this accidental bug Nathan Braswell 2016-02-09 02:59:38 -05:00
  • 9733a0be26 Fixed the two tests broken by accident with the last one Nathan Braswell 2016-02-07 16:52:01 -05:00
  • 11eba1ba07 Port many tests and fix small bugs revealed in Kalypso (passes 24/72) - tests have also revealed more extensive features not yet implemented, and I seem to have messed up a test or two so that the C++ version also fails a couple more (it's at 59/71 now). Will investigate Nathan Braswell 2016-02-07 16:22:55 -05:00
  • 6aeb5c33f5 Speed up parsing something like 10 times, Kalypso runs so much faster now Nathan Braswell 2016-02-06 23:09:46 -05:00
  • 7a2cef08e8 Added in checking the stdlib directory to Kalypso Nathan Braswell 2016-02-05 21:34:25 -05:00
  • f941cb98dd Actually implemented some sort of primitive hierarchy for the results of things like 1 + 2.0 as well as port test_functionMultipleTemplateTest.krak so we now have 5/71 Nathan Braswell 2016-02-05 16:43:14 -05:00
  • 778e03a929 Fixed Kalypso's scope lookup to handle ::, ported another test (+ got another one from having proper scope operator) Nathan Braswell 2016-02-05 13:56:29 -05:00
  • 464805b7aa Fix some bugs from last time, which I committed to make sure it didn't delete anything... Nathan Braswell 2016-02-05 05:11:02 -05:00
  • dd34de7c88 Made a test_runner in Kraken to run the tests on Kalypso, and moved to_import.krak to simple_print.krak and ported one function over to use it instead, so that Kalypso testing can get started before implementing everything needed to use io.krak Nathan Braswell 2016-02-05 04:30:34 -05:00
  • 5dd8046d2f Template replacements acutally propegate through the function now - but it doesn't decorate names so that same named functions with same parameters but instantiated by different types but with the resulting same prototype, so they end up having the same name in C, which needs to be addressed. Nathan Braswell 2016-02-04 23:32:47 -05:00
  • de3ead0573 added proper template function instantiation caching Nathan Braswell 2016-02-03 21:57:06 -05:00
  • 1ea07d4f92 Make template functions correctly check parameter types (should probs cache template function instantiations Nathan Braswell 2016-02-03 15:37:50 -05:00
  • 24fb8d288f Fix templated types getting their indirection stripped off when used Nathan Braswell 2016-02-01 15:59:41 -05:00
  • 70ebefcc25 Initial explicit function template working (chained may also not work, need to check) Nathan Braswell 2016-02-01 05:35:08 -05:00
  • 447f0c83b1 Hopefully got self-hosted objects fully working Nathan Braswell 2016-01-31 19:29:08 -05:00
  • f72930beef Also destruct parameters after copy_constructing them Nathan Braswell 2016-01-31 00:10:54 -05:00
  • ab5250bd0b Copy construct into function calls Nathan Braswell 2016-01-30 23:59:21 -05:00
  • 83450aa833 Added copy_constructing when returning Nathan Braswell 2016-01-30 22:04:37 -05:00
  • a64e01e828 Fixed += as well as the related -=, *=, and /=. Nathan Braswell 2016-01-30 04:16:25 -05:00
  • 6f1f31a212 Added automatic distructor calling for going out of scope, found out that += is broken (and just comes through as =) Nathan Braswell 2016-01-29 22:46:09 -05:00
  • da38ae03ed Profiled and added a map to GraphStructuredStack's getContainingFrontier to massivly improve the C++ Kraken compiler's compile time by improving parsing time (parsing time cut by significantly more than half) Nathan Braswell 2016-01-29 14:09:09 -05:00
  • 17d4371d5c Implemented init position calls Nathan Braswell 2016-01-28 20:51:40 -05:00
  • 42b942737b Prepping for introducing automatic copy_construct and destruct and tests for them, fixed using - to negate numbers Nathan Braswell 2016-01-28 12:55:51 -05:00
  • faeb1be315 Modify print out so that you can see C compiler output Nathan Braswell 2016-01-28 12:20:28 -05:00
  • b06c329236 Changed over to code_triple to set up for automatic object methods Nathan Braswell 2016-01-27 18:56:44 -05:00
  • 693134b499 defer should now would properly with break and continue Nathan Braswell 2016-01-25 22:48:41 -05:00
  • 9973bc3bd3 First run at defer working - won't properly do every scope out of a loop yet, likely other problems Nathan Braswell 2016-01-25 13:48:27 -05:00
  • 135305fb76 The piping for defer, though not the correct stacks in c_generator. Bedtime though Nathan Braswell 2016-01-25 02:53:00 -05:00
  • 83a76c36de continue and break statements Nathan Braswell 2016-01-24 17:31:41 -05:00
  • 9f714dc9ec The Kraken compiler now compiles programs automatically, moving this functionality from the tester in preperation for making test_compiler not a test Nathan Braswell 2016-01-24 03:14:24 -05:00
  • 105a969a00 Method calls from within method from same object Nathan Braswell 2016-01-24 01:49:14 -05:00
  • c022758b9c Make this varaiable/keyword work Nathan Braswell 2016-01-24 01:02:56 -05:00
  • 23cad3ad1b Access to member variables from inside methods now work Nathan Braswell 2016-01-23 20:39:06 -05:00
  • 961feb6fa5 Method calls will actually work now, but only as regular functions would, though there is a little in place to work towards true methods in the future Nathan Braswell 2016-01-23 05:33:56 -05:00
  • c6554ce463 Whoops, some fixes from yesterday Nathan Braswell 2016-01-23 00:33:47 -05:00
  • fc343ceea8 This commit has its date moved to earlier to reflect when the work was completed, as I forgot to actually make the commit until 2 minutes after midnight :/. It partially fixed a bug where ADT requires equality for its member types but won't use templated equality to be if there isn't a regular equality operator (not templated) it always returns false Nathan Braswell 2016-01-22 23:59:59 -05:00
  • 8c5bf36433 Object member access works now Nathan Braswell 2016-01-21 19:16:29 -05:00
  • d43f36f1d9 type_def variables and methods are not parsed in ast_transformation, and kind-of generated in c_generator, but access and whatnot not supported yet Nathan Braswell 2016-01-21 12:54:21 -05:00
  • c943d591e0 Trivial objects working, fixed adt prefixing bug Nathan Braswell 2016-01-21 03:18:02 -05:00
  • 4ebb8bf107 Finished poset implementation added to the standard library, starting on getting types added and sorting, etc Nathan Braswell 2016-01-20 13:50:40 -05:00
  • 162cc98f30 Added for loops Nathan Braswell 2016-01-19 11:47:09 -05:00
  • c4abfca98e Updating readme Nathan Braswell 2016-01-19 03:23:38 -05:00
  • ca85edaeee added while loops and fixed unary operators (including correct precrement and decrement) Nathan Braswell 2016-01-19 03:16:16 -05:00
  • 4493dfd861 added if_statements Nathan Braswell 2016-01-19 02:06:30 -05:00
  • 458299abe1 Add perentheses to all operators so that acutal perentheses are preserved and the kraken order of operations is maintained Nathan Braswell 2016-01-18 18:10:07 -05:00
  • ac34a550d5 Basic math expressions will passthrough now Nathan Braswell 2016-01-18 18:04:34 -05:00
  • bffedcf2fd Add the abitlity to assign during a declaration and type inference if no type given but there is an expression Nathan Braswell 2016-01-17 01:10:09 -05:00
  • 9c41c2fd12 Added in assignment and variable usage Nathan Braswell 2016-01-16 22:14:59 -05:00
  • bf570f027c Variable declaration added now Nathan Braswell 2016-01-15 19:10:52 -05:00
  • 785c6a6a8e Function lookup now handles overloading Nathan Braswell 2016-01-14 12:57:16 -05:00
  • fe6818edfc working towards function overloading, the emitted functions and function calls are now decorated and we're starting to get the prereqs for function lookup Nathan Braswell 2016-01-13 21:09:28 -05:00
  • cb5b072b58 First Hello World! Now have to clean it up a little bit (correct assignment passthrough, add in the newline) Nathan Braswell 2016-01-12 00:21:01 -05:00
  • 1ed4ade218 Merge branch 'master' of https://github.com/Limvot/kraken Nathan Braswell 2016-01-11 23:41:22 -05:00
  • 4c569f4f8c Added function calls, printing out of pointers Nathan Braswell 2016-01-11 23:41:09 -05:00
  • f7789d5434 fixed bug in assignment operator ChrisFadden 2016-01-11 19:52:11 -05:00
  • 436532b079 Added shared pointers to mem library ChrisFadden 2016-01-11 19:25:09 -05:00
  • 5db0365a63 Added indirection to types in prep for function calls, full passthrough, and the first real hello world Nathan Braswell 2016-01-10 18:26:31 -05:00
  • 7f20a42178 Added type to values Nathan Braswell 2016-01-09 22:37:43 -05:00
  • 16aa01a76e Placeholder/passthrough for all the expressions, simple value node passthrough (though if Kraken has the same literal syntax as C it'll work for a while, though it really needs to encode the type... Nathan Braswell 2016-01-08 00:33:05 -05:00
  • daae39fe19 Added in the beginnings of pass three which can parse and emit statements and code blocks Nathan Braswell 2016-01-07 02:52:22 -05:00
  • 337bc424ee Added in basic transformation and generation for functions Nathan Braswell 2016-01-06 02:46:42 -05:00
  • f29fdcd463 More skeleton, including a trivial second_pass_function, fix a bug with ADTs that have members with the same name (may still be a problem if the ADT itself has the same name) Nathan Braswell 2016-01-05 21:40:00 -05:00
  • 79065c032f We have a VERY SILL KRAKEN COMPILER\! simple_passthroughs are now emitted by the c_generator and test_compiler has been extended to write the C to a file and then call cc on it, so the self-hosted Kraken compiler can compile its very first thing\! (though that thing is a hello world C program written entirely in a simple_passthrough... Nathan Braswell 2016-01-04 02:00:06 -05:00
  • 84032eece0 Fix case_statement/lambda-close-over-variables bug, rename ast_node file to make ast_node:: unambigious, change test_ast to test_compiler and add a little skeleton c_generator file Nathan Braswell 2016-01-04 00:38:59 -05:00
  • 21a7afe66d Updated grammer to allow any statement as the child of an if_comp. Much more work incoming, but it will take past midnight, and I want to get what was finished earlier in before then to keep up my streak. Nathan Braswell 2016-01-03 23:50:07 -05:00
  • bb3ccf808b unserialize grammer directly to avoid extra copying Nathan Braswell 2016-01-02 13:44:31 -05:00
  • 8b77a60be5 More ast_transformation work, but the big change was fixing regex so that it didn't have an exponential implmentation by using sets instead of vectors to deduplicate Nathan Braswell 2016-01-02 01:43:41 -05:00
  • 6107dda825 Move to individual transform functions, add skeleton for if_comp, simple_passthrough Nathan Braswell 2016-01-01 23:42:00 -05:00
  • fd6383124c more work on the ast_transformation Nathan Braswell 2015-12-28 03:34:40 -05:00
  • 22b334a2ae Fixed the parse bug. I think it's legal for the post-shift table check to be invalid and you have to account for that in the table Nathan Braswell 2015-12-26 01:52:29 +00:00