Commit Graph

244 Commits

Author SHA1 Message Date
Nathan Braswell
a898104f8a Fix multiline strings with single quotes in Cephelapod and implement both types in Kalypso, one new test should pass for both 2016-02-15 23:12:56 -05:00
Nathan Braswell
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 2016-02-15 16:31:01 -05:00
Nathan Braswell
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 2016-02-09 02:59:38 -05:00
Nathan Braswell
447f0c83b1 Hopefully got self-hosted objects fully working 2016-01-31 19:29:08 -05:00
Nathan Braswell
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) 2016-01-29 14:09:09 -05:00
Nathan Braswell
faeb1be315 Modify print out so that you can see C compiler output 2016-01-28 12:20:28 -05:00
Nathan Braswell
83a76c36de continue and break statements 2016-01-24 17:31:41 -05:00
Nathan Braswell
9f714dc9ec The Kraken compiler now compiles programs automatically, moving this functionality from the tester in preperation for making test_compiler not a test 2016-01-24 03:14:24 -05:00
Nathan Braswell
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 2016-01-22 23:59:59 -05:00
Nathan Braswell
c943d591e0 Trivial objects working, fixed adt prefixing bug 2016-01-21 03:18:02 -05:00
Nathan Braswell
bf570f027c Variable declaration added now 2016-01-15 19:10:52 -05:00
Nathan Braswell
337bc424ee Added in basic transformation and generation for functions 2016-01-06 02:46:42 -05:00
Nathan Braswell
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) 2016-01-05 21:40:00 -05:00
Nathan Braswell
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 2016-01-04 00:38:59 -05:00
Nathan Braswell
803b415220 get closer to generating real ast/dot 2015-12-06 15:15:33 -05:00
Nathan Braswell
e45df51e70 more work 2015-12-05 07:13:32 -05:00
Nathan Braswell
33f97c0c82 work on ast_transformation, fix adt depending on type CGenerator order bug (correctly add poset dependencies) 2015-12-04 03:41:46 -05:00
Nathan Braswell
6ee7462a70 Fix closing over adt variables, starting work on ast_transformation 2015-12-01 16:19:44 -05:00
Nathan Braswell
e76bc51cce Fully working ADTs! Hopefully bugless 2015-11-25 15:35:06 -05:00
Nathan Braswell
624f070c74 Make ADT functions be name-decorated correctly, including replaceing some name-decoration iteration over parameters with iterating over parameter types from the function type 2015-11-21 15:28:57 -05:00
Nathan Braswell
21f4824a01 proper scoping for ADTs, I think 2015-11-19 16:27:36 -05:00
Nathan Braswell
466b2310db Make the grammer test work again by updating grammer and parser to use the new adt syntax - I also messed up commenting out one of the cout lines making lambdas not work. 2015-11-14 20:13:42 -05:00
Nathan Braswell
e7a49bf2e5 Match statements work with ADTs! (still no object stuff or anything though) 2015-11-14 19:05:28 -05:00
Nathan Braswell
ed4ed75449 ADT equality for basic types should work 2015-11-13 15:49:00 -05:00
Nathan Braswell
2ea504ffc1 More work on ADTs 2015-11-09 13:26:02 -05:00
Nathan Braswell
3645099bbb Merge branch 'master' of https://github.com/Limvot/kraken 2015-11-06 03:27:39 -05:00
Nathan Braswell
fcc0e770a5 Fixed a limitToFunction bug or two, work on ADTs 2015-11-06 03:23:55 -05:00
ChrisFadden
35ee6425f1 Added macros to facilitate compiling on windows 2015-08-31 18:03:35 -04:00
Nathan Braswell
13c6044193 make grammer/parser use simple adts, fix it so adt literals aren't closed over by accident 2015-08-30 01:53:11 -04:00
Nathan Braswell
5f3f3e5a66 Merge branch 'master' of https://github.com/Limvot/kraken 2015-08-29 21:46:05 -04:00
Nathan Braswell
a84e2ee6e1 faster deserilitation, super basic enums 2015-08-29 21:45:55 -04:00
ChrisFadden
88fe0e350b Made nice parsing errors 2015-08-28 16:54:42 -04:00
Nathan Braswell
58ab3e311f Starting to really parse! Fixed the bad syntax trees (reduction copy_construct wasn't actually copying label because param and dest had same name) and fixed the krakenGrammer and CGenerator to allow escaped quotes in regular strings. add_children needs to be finished so the resulting trees don't go nuts with ambiguity, and some situations still cause vector access errors, which is odd. Also added the crazy simple write_file to io and the test_grammer.krak now outputs a syntax_tree.dot 2015-08-11 01:07:16 -04:00
Nathan Braswell
216cf0252f finished reducer and wrote shifter. Actually kinda recognizes now! Errors too, but comes up with correct result. 2015-08-08 02:50:36 -04:00
Nathan Braswell
674e7e6538 More work, finishing the parse_input and lots of reducer 2015-08-06 17:38:41 -04:00
Nathan Braswell
dec9b7d0bd some tests failing because things have been made reference in vector, but grammer actually generates the state set for the real grammer in 2 minutes or so after a day of profiling and bugfixing, so this is gonna be committed. 2015-08-05 03:43:34 -04:00
Nathan Braswell
e1dbe08c0a Optimization of string and vector with references and less functional code, bugfix of closing over references 2015-08-04 14:57:56 -04:00
Nathan Braswell
be069197ba Make the templateFunctionLookup function spit out on cout instead of cerr since it's not always an error now and it screws up the output on the website. Now the error's not visiable, I guess, but it just needs to work a bit better till the rewrite is finished 2015-08-03 18:56:03 -04:00
Nathan Braswell
a4f2febfd5 some bug fixes, templated operator method overloading 2015-08-03 18:37:42 -04:00
Nathan Braswell
51adf491fa fix reference type inference 2015-07-15 13:56:57 -04:00
Nathan Braswell
06f36f2a87 Return by reference and pass by reference working with objects. Closures might present problems, however 2015-07-15 00:53:53 -04:00
Nathan Braswell
0ee44e829f pass by reference should work for templates and objects now 2015-07-14 22:42:25 -04:00
Nathan Braswell
602810002b reference type added and very basic pass by reference works in CGenerator. Much more work to go to make sure complicated cases work and return by reference 2015-07-14 19:32:54 -04:00
Nathan Braswell
8c490908d4 Saving work pre-references 2015-07-13 12:16:30 -04:00
Nathan Braswell
07e54f67fb Changed regex to reference count internal structure instead of cloning because it too way too long. Added terminal decorators to grammer and lexer 2015-07-08 13:43:06 -04:00
Nathan Braswell
f3cdea068e Added mem::safe_recursive_clone, and while it works for regex, it's actually slower then remaking it. Hmmmm, maybe because some of the stdlib is inefficent 2015-07-07 00:46:00 -04:00
Nathan Braswell
cfadf7cebb Fix nested closures and related bugs 2015-07-05 02:34:45 -04:00
Nathan Braswell
d44ce47d1e Fix the CGenerator so that function values can be stored in member variables 2015-07-04 18:55:15 -04:00
Nathan Braswell
2c29846570 Swapped pointers to the other side for types to prevent ambiguity, i.e. *int instead of int* 2015-07-04 17:02:51 -04:00
Nathan Braswell
54721b4284 More work on grammer and standard library! It can kinda load grammer now! Kinda. Marcus ran into the function pointer returns pointer ambiguity, so that'll have to be done tomorrow. 2015-07-04 03:21:36 -04:00