4bf8572d21
Move functions to use a pointer to a map for closures instead of a raw map, as we cannot currently ensure that the object is made with the right size (type_size doesn't do padding, etc)
Nathan Braswell2016-06-30 17:06:34 -04:00
4195da6492
Added union and ref = ptr workaround to interpreter (fixing adt matching), allowing test_union and test_adt to pass.
Nathan Braswell2016-06-28 01:35:54 -07:00
284d8ac9c7
Fixed up interpreter, ADT is close to working but something's weird about what match statements are translated into
Nathan Braswell2016-06-27 01:21:24 -07:00
15fe2aeba4
Moved copy_constructing into functions and destructing the results into obj_lower. Removed all defer_stack from c_generator. The last thing should be to move ref handling into obj_lower or maybe a pass after, then the rest of c_generator can be cleaned up and fixing interpreter (except for closures) should be easy.
Nathan Braswell2016-06-26 04:44:54 -07:00
4cc0d26c4c
Now && and || short circuiting is done in obj_lower
Nathan Braswell2016-06-25 23:56:07 -07:00
29eff2a23e
Fix defer_lower to handle return statements, starting on obj_lower which has now taken over calling destruct for declared varaibles. Some of the code from the c_generator has been commented out or bypassed to use the new system - it should be removed when it's complete.
Nathan Braswell2016-06-22 01:41:57 -07:00
26e7ee249a
Now using adt_lower, which also makes the backing deconstruct a reference, which makes sense
Nathan Braswell2016-06-20 01:52:28 -07:00
4a33a94b15
Fixed, working unions. Had to move the is_union member to the end. I'm not sure if this is a C bug or an effect of me doing something weird somewhere
Nathan Braswell2016-06-16 23:06:38 -07:00
4de7dd1210
Added support for unions as a step towards lowering ADTs in the next pass to be written.
Nathan Braswell2016-06-15 22:26:03 -07:00
d44293a48b
Defer is now lowered in its own pass as a first step towards refactoring other things into their own passes as well
Nathan Braswell2016-06-15 01:36:59 -07:00
61cfe76b6d
Fix bug in future causing a segfault. Fixed the test case.
Marcus Godwin2016-06-14 23:30:12 -04:00
27fea0e90c
work on multithread, interpreter, and prototyped a #line-in-simple-passthrough ast changing pass turned on with -g
Nathan Braswell2016-06-14 02:14:25 -07:00
1318e71efd
Figured out why future crashed, added in simple threading library. Future isn't fixed yet, but could be with a similar approach
Nathan Braswell2016-06-11 11:27:48 -07:00
593877eb84
Fixed returning out of loops/if as well as math and triple quoted strings
Nathan Braswell2016-05-29 23:54:54 -07:00
26b5070242
Whoops, had to add a hotfix to captain.sh. The ext var commit needed it's own grammer
Nathan Braswell2016-05-22 15:09:45 -07:00
ce2eff42a6
Moved over compiler information printing and error to use stderr, enabled interpreter testing in tester. The interpreter passes 34/74 tests
Nathan Braswell2016-05-22 14:10:19 -07:00
12dfa837e3
Added in extern global variables and printing of *char and string to stderr with printlnerr, printerr. Note that this will still compile in a previous version, but instead of extern, stderr will be newly declared. This is ok, because this version of the compiler never uses it, so we'll only use it after this one is bootstrapped in.
Nathan Braswell2016-05-22 13:08:10 -07:00
a64e79c789
Bugfix - properly use old enclosing_object to interpret parameters to method, use new_enclosing_object for interpreting the actual function itself
Nathan Braswell2016-05-22 12:17:17 -07:00
b63d85c587
Parameters copy constructed into functions and the return value copy constructed out are now both destructed, some bug fixes. Oddly, string += thing works, but string + thing does not. Maybe it has to do with ref, I'm unsure
Nathan Braswell2016-05-22 00:40:48 -07:00
4ff7137c81
Added copy_constructing retun values out and destructing them later, though for now the destruct is added to the defer stack and so doesn't happen until the end of the scope.
Nathan Braswell2016-05-21 14:38:57 -07:00
828f36daab
Adding in proper copy_construct into function calls and destruct afterwards. Doesn't correctly destruct return values yet.
Nathan Braswell2016-05-21 11:20:29 -07:00
cf8090f825
Moved c stdlib variadic functions over to use ...
Nathan Braswell2016-05-19 23:34:29 -07:00
cfcaff7887
Add support for variadic extern functions, as it turns out that you can't just specialize them with declarations. I.e., int a_func(int, ...) is different from int a_func(int, int) even if you only ever call a_func(1,2), etc. This commit is in preperation for moving to correcty variadic extern functions for the c stdlib (like printf, snprintf)
Nathan Braswell2016-05-19 23:17:32 -07:00
ce1afa45f4
Added a lot to the interpreter, but some odd problem where snprintf seems to print the wrong thing something like a 10th of the time. Debugged it for a while over two days, and I've narrowed it down to the actual snprintf call. It seems to happen under some different circumstances for compiled versions too, so I'm just going to keep it like this for now.
Nathan Braswell2016-05-18 23:11:00 -07:00
4dcd4f9715
Added basic in single method access of member variables
Nathan Braswell2016-05-15 22:05:12 -07:00
2dd381f7ea
Implmented structs in the kraken interpreter! (nothing object-y implemented yet)
Nathan Braswell2016-05-15 18:36:13 -07:00
029d44ac81
Add fflush and some bugfix to extern calling - io can be used now for primitives
Nathan Braswell2016-05-15 11:47:02 -07:00
967ae3d68e
Added malloc/free with extern as well as all the other primitives and added pointer arithmatic and []
Nathan Braswell2016-05-15 11:09:12 -07:00
2051f54b55
Added in sizeof intrinsic + piping for more in the future. Inbetween commit before removing sizeof function
Nathan Braswell2016-04-28 18:47:53 -04:00
b52d38f648
Added in version numbers/hashes pulled from git - captain.sh generates at build time compiler_version.krak to be imported by kraken.main
Nathan Braswell2016-04-27 15:59:28 -04:00
bfc3b72b00
Implement a hash_map and swap gss over to use it, making self-compilation 10 seconds faster on my laptop. captain.sh has been extended with the ability to bootstrap over any number of git commits.
Nathan Braswell2016-04-22 02:58:14 -04:00
e2ff94a90b
Search for containing frontier from high to low, cutting execution time by over 25%. (2:10 to 1:32 in my test)
Nathan Braswell2016-04-19 16:58:30 -04:00
cf46fb13af
Add casting as a language feature. Have not removed the function yet as we need an inbetween version for the bootstrap
Nathan Braswell2016-04-18 22:56:29 -04:00
730e1a58ed
Fix so defer defer / defer {} works. Note - defer defer almost definitly doesn't work the way you think it will
Nathan Braswell2016-04-13 21:45:21 -04:00
38ec4abc01
Added file name + line number to symbols and use it for reasonable error handling now, added a version number to the compiled grammer
Nathan Braswell2016-04-05 03:14:56 -04:00
09158cd2b9
Fix vector out of bounds access for parser, ast_transformation, and c_generator, remove many printlns in prep for better error handling, add features to captian.sh to facillitate development
Nathan Braswell2016-03-30 16:13:10 -04:00
c7e50282ad
Move Cephelepod into deprecated_compiler, create captian.sh to handle bootstrapping kraken from backup or from Cephelepod
Nathan Braswell2016-03-29 12:54:05 -04:00
40c3e428c1
move test_compiler up to main kraken.krak and fix linker string, make paths work correctly
Nathan Braswell2016-03-28 17:12:53 -04:00
2344ba917b
Hopefully finished ADTs, still a bug preventing self-hosting
Nathan Braswell2016-03-20 05:14:26 -04:00
884d71f007
mostly working ADT, I hope. Misses some destructs
Nathan Braswell2016-03-20 00:29:27 -04:00
d864a58bb4
Saving a lot of work on ADTs. Finishing should mostly just be filling in the different operator functions in the c_generator
Nathan Braswell2016-03-19 21:45:07 -04:00
6fff4c5363
Fixed up a bug and 2 tests, plus added a better error for when a method isn't found. 69 tests passing! This is everything before ADTs (because of some tests with no success condition, some that depend on the compiler stdlib parts, etc)
Nathan Braswell2016-03-12 04:46:49 -05:00
6a1c210b8a
66 tests passing! Implemented the extra need_variable parameter to allow references of constants, etc. Need to check a few of the tests still failing.
Nathan Braswell2016-03-12 03:23:43 -05:00
ac8493d7f3
62 tests passing - the two Kalypso misses that Cephalapod doesn't is string because of taking the address of a literal (which I want to fix in a broader way that will also make Kalypso pass the other tests that Cephelapod is failing because of reference of literal) and ADT, which is the last (or perhaps second to last) thing to implement.
Nathan Braswell2016-03-10 16:07:12 -05:00
5b3af2fa25
New test that tests template inference through instantiated templates, implemented it in kalypso, 51 tests passing
Nathan Braswell2016-03-08 12:09:27 -05:00
Nathan Braswell