Commit Graph

141 Commits

Author SHA1 Message Date
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
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
e76bc51cce Fully working ADTs! Hopefully bugless 2015-11-25 15:35:06 -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
2ea504ffc1 More work on ADTs 2015-11-09 13:26:02 -05:00
Nathan Braswell
fcc0e770a5 Fixed a limitToFunction bug or two, work on ADTs 2015-11-06 03:23:55 -05:00
Nathan Braswell
a84e2ee6e1 faster deserilitation, super basic enums 2015-08-29 21:45:55 -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
a4f2febfd5 some bug fixes, templated operator method overloading 2015-08-03 18:37:42 -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
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
d44ce47d1e Fix the CGenerator so that function values can be stored in member variables 2015-07-04 18:55:15 -04:00
Nathan Braswell
b62c3e729f Some more work, and a --parse-only option to support the new kraken.vim vim plugin that adds Syntastic support (and syntax highlighting) 2015-07-03 18:34:46 -04:00
Nathan Braswell
48683889da Tons of bugfixes (lots with closures). Added safe_recursive_delete to mem which helps easily and safely delete recursive data structures, and used it in regex. It still has a leak, but it's a lot better than before. 2015-06-28 14:27:48 -04:00
Nathan Braswell
c50c977a9e Fixed the close over methods and member vars bug, but there's something remaining causing the safe_recursive_delete not to work. Gotta save progress and do other stuff 2015-06-27 18:06:02 -04:00
Nathan Braswell
1e76bf2772 Closures work\! 2015-06-26 13:29:37 -04:00
Nathan Braswell
542821dd81 Ton of work on closures, getting very close. Have the extra types and the promotion and calling all worked out. Now only the actual closure part of the struct needs to be done 2015-06-25 04:09:19 -04:00
Nathan Braswell
457998e0ff Added in the cast function and fixed type promotion (so it would work with pointer arithmatic) 2015-06-19 17:13:06 -04:00
Nathan Braswell
30802fbcf8 Auto inferenced void return! 2015-06-19 11:27:37 -04:00
Nathan Braswell
cd1b10a633 Fixed bug where no parameter function calls were not typechecked and function/struct name collision. Improved regex library to where it can do straight-line regexs 2015-06-12 14:16:28 -04:00
Nathan Braswell
d90cb4b6db Tons of stuff. Regex still a work in progress, along with related template member function scoping bugs 2015-06-09 20:02:02 -04:00
Nathan Braswell
47bc52f00c Some bugfixes, allow overloading of [] and add that to vector and string, work on regex. Need closures before that finishes.... 2015-06-08 21:47:02 -04:00
Nathan Braswell
7abab02fbf More all-rounded implementation of the new objecty features, several bugfixes, and updates to the standard library to behave. Vector still needs a bit more work for some operations 2015-06-05 00:34:24 -04:00
Nathan Braswell
6f9ceaa717 work on string, bug fixes, overloaded assignment operator. Still need to get overloaded copy_construct for declaration assignment 2015-06-01 01:43:23 -04:00
Nathan Braswell
bbcebf7c17 I'm pretty sure I missed cases and introduced bugs with the new CGenerator triplit system, but I finally got all normal tests passing, and it's almost 5 in the morning, so I'm calling it a night. We have destructors and copy constructors now\! I need to work out copy assignment, but again, another day 2015-05-30 04:43:01 -04:00
Nathan Braswell
85834789e4 Some bugfixes and added templated member functions\! (even for templated objs\!) In this vein, added in_place and map functions to vector\! 2015-05-27 00:58:33 -04:00
Nathan Braswell
88bab7f0d7 Woo! Very basic lambdas! 2015-05-25 22:03:24 -04:00
Nathan Braswell
eebffb404e Ok, full functions as values support with types and fixes of earlier bugs. Now typedef the function pointer types when generateing C. 2015-05-22 22:30:25 -04:00
Nathan Braswell
911b25f78b Initial work for functions as values. Actually works, but you can't write out the type and thus can only declare function pointer variables with type inference. 2015-05-18 04:46:03 -04:00
Nathan Braswell
795f8715ff Break, continue, and DEFER statements! Woooo 2015-05-15 15:19:55 -04:00
Nathan Braswell
f5e74ca7ce Template function instantiation type inference work - super simple inference works (i.e. id<T>(i:T) { return i; }), and the framework is good, just have to flesh out unifyType to handle more than the trivial case 2015-05-14 00:25:18 -04:00
Nathan Braswell
44d310c092 Got simple type inference for declaration statements working with test 2015-05-10 02:18:59 -04:00
Nathan Braswell
e3aa531856 Wooo actual scoping and better C interop 2015-04-10 00:37:31 -04:00
Nathan Braswell
e37836aea5 Working toward new C inline style 2015-04-04 01:32:40 -04:00
Nathan Braswell
414113f954 Wooo passthrough and more cleanup! Remove 3rd pass! 2015-03-24 18:29:21 -04:00
Nathan Braswell
6fa06f2b7e Removed LALR parser and an associated member from Symbol, which is used so much that actually got us down to ~3.42GB! 2015-03-23 15:28:03 -04:00
Nathan Braswell
2c4dbc60d1 Fixes for state generation to reduce memory usage - adding in optional semicolons balooned our memory usage to somewhere under 8 gigs, with some simple refactoring we're back down to a bit over 4. Needs to be smaller, but it's an improvement 2015-03-23 14:35:28 -04:00
Nathan Braswell
15c4a4bf0e Better compiler invocation style and put all generated files (including dot files) in output folder 2015-03-15 18:41:55 -04:00
Nathan Braswell
f1b0d46ca0 WOW. NodeTree deletes duplicate nodes. So x+x didn't work.... 2015-03-14 16:53:00 -04:00
Nathan Braswell
6a311fb237 WOOO compiles all in one file! Dependencies resolved! Next up, C name mangeling for scoping 2015-03-11 01:58:10 -04:00
Nathan Braswell
9e9b4371da Fixed up testing etc 2015-01-09 14:28:07 -05:00
Nathan Braswell
aaca71a211 Got the new scoping working! Still some odd stuff happening to certian templates, and I think vector is having problems with new/traits. Really need to get canonnical filenames and what not worked out 2014-12-30 01:22:09 -05:00
Nathan Braswell
417e5ed898 Scope work progressing. Gotta fix bugs. Good save spot. 2014-12-19 18:29:33 -05:00
Nathan Braswell
4cf8dbbd5b vector and vector test are finally working! Also found some bugs that I don't have time to fix before bed. Added file future_features.txt to keep track of bugs and features. 2014-07-28 01:52:15 -07:00
Nathan Braswell
87ad0c187e Fixed quite a few bugs, including makeing find template functions check for trait subset, not trait equality, and add the number required to the satisfied count. Based on what is now breaking, it looks like it's time to give the builtin functions types. 2014-07-23 02:23:21 -07:00
Nathan Braswell
93a170408f Object traits working now as well. Only specilized templates don't, because I have not yet decided the syntax for them. 2014-07-20 14:21:41 -07:00
Nathan Braswell
64fcb6b0b7 Traits for function templates working! Need to finish for objects and specilizations, and I think also else statements. 2014-07-18 08:52:15 -07:00
Nathan Braswell
03770028ad Fixed some bugs in Parser::firstSet and added a bit of caching. It still doesn't work quite right, though, there's some problem with nullable left recursion. However, it's better than it was, and I need to go to bed. More work later. 2014-06-30 01:57:50 -07:00
Nathan Braswell
63d9ec66e1 Added "Init Position Call" (takes the place of implicit constructors) and the this keyword! This was the structure needed for more sensable memory management. At least delete will need some updating before it becomes very usable, though. (Figuring out the types for function template instantiation) Anyway, good progress here! 2014-06-26 01:45:44 -07:00