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 Braswell
2016-06-30 17:06:34 -04:00
76e78a2ac0
transfer work on interpreted closures
Nathan Braswell
2016-06-30 09:57:41 -07:00
4195da6492
Added union and ref = ptr workaround to interpreter (fixing adt matching), allowing test_union and test_adt to pass.
Nathan Braswell
2016-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 Braswell
2016-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 Braswell
2016-06-26 04:44:54 -07:00
4cc0d26c4c
Now && and || short circuiting is done in obj_lower
Nathan Braswell
2016-06-25 23:56:07 -07:00
dd8fbc0489
moved munging while and for into obj_lower
Nathan Braswell
2016-06-25 16:02:53 -07:00
9de3e07715
forgot to add a dependency in captain.sh
Nathan Braswell
2016-06-24 01:45:10 -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 Braswell
2016-06-22 01:41:57 -07:00
26e7ee249a
Now using adt_lower, which also makes the backing deconstruct a reference, which makes sense
Nathan Braswell
2016-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 Braswell
2016-06-16 23:06:38 -07:00
59f5c6f667
found segfault member
Nathan Braswell
2016-06-17 01:01:59 -04:00
3f89cb1e37
partial rollback, might still not work
Nathan Braswell
2016-06-16 09:53:15 -07:00
4de7dd1210
Added support for unions as a step towards lowering ADTs in the next pass to be written.
Nathan Braswell
2016-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 Braswell
2016-06-15 01:36:59 -07:00
61cfe76b6d
Fix bug in future causing a segfault. Fixed the test case.
Marcus Godwin
2016-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 Braswell
2016-06-14 02:14:25 -07:00
e3c1cbf27e
remove debug printing from future
Marcus Godwin
2016-06-13 20:21:23 -04: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 Braswell
2016-06-11 11:27:48 -07:00
2c8c3af48a
Some speed improvements
Nathan Braswell
2016-06-11 00:45:18 -07:00
889d93e16d
GSS in parser now deletes old stack nodes on clear for some ram savings
Nathan Braswell
2016-06-07 21:26:02 -07:00
008cc01c70
Lambdas and function values starting to work - using the parameters or return value crashes
Nathan Braswell
2016-06-01 23:28:32 -07:00
8cbd2f667f
Swap over to using a map from *ast_node to value for variables instead of string to value
Nathan Braswell
2016-05-31 22:02:00 -07:00
cf8656a538
Some fixes and added in globals
Nathan Braswell
2016-05-31 21:29:05 -07:00
593877eb84
Fixed returning out of loops/if as well as math and triple quoted strings
Nathan Braswell
2016-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 Braswell
2016-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 Braswell
2016-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 Braswell
2016-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 Braswell
2016-05-22 12:17:17 -07:00
c239f8acb1
Added ref in and out
Nathan Braswell
2016-05-22 02:55:45 -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 Braswell
2016-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 Braswell
2016-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 Braswell
2016-05-21 11:20:29 -07:00
cf8090f825
Moved c stdlib variadic functions over to use ...
Nathan Braswell
2016-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 Braswell
2016-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 Braswell
2016-05-18 23:11:00 -07:00
4dcd4f9715
Added basic in single method access of member variables
Nathan Braswell
2016-05-15 22:05:12 -07:00
2dd381f7ea
Implmented structs in the kraken interpreter! (nothing object-y implemented yet)
Nathan Braswell
2016-05-15 18:36:13 -07:00
029d44ac81
Add fflush and some bugfix to extern calling - io can be used now for primitives
Nathan Braswell
2016-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 Braswell
2016-05-15 11:09:12 -07:00
bdb98ed85c
Added pointers to interpreter
Nathan Braswell
2016-05-13 18:34:06 -04:00
7d751221c9
Added if statements, while loops, and for loops to interpreter
Nathan Braswell
2016-05-13 16:31:55 -04:00
5183a02c64
Implemented variables as well as ++, --
Nathan Braswell
2016-05-13 15:14:19 -04:00
e63b7cf770
Enough interpreter to do math on constant integers
Nathan Braswell
2016-05-13 03:10:36 -04:00
91bc03ccb8
Fixed off by one error in captain.sh bootstrapping
Nathan Braswell
2016-05-12 23:59:13 -04:00
947384cced
Started work on interpreter, commit to fix issues it will depend on
Nathan Braswell
2016-05-12 02:03:20 -04:00
88f922f67b
Added caching to captain.sh
Nathan Braswell
2016-05-10 14:05:12 -04:00
133bf29cdf
Added straight-string optimization to regex, converted a bit more of the grammer
Nathan Braswell
2016-05-10 01:23:37 -04:00
4d31ca8b0f
Added a partial fix to regex, started improving the krakenGrammer regexes
Nathan Braswell
2016-05-10 00:40:46 -04:00
9d7a65294f
Optimizations, regex character ranges
Nathan Braswell
2016-05-05 04:51:10 -04:00
02c77899b8
Add #link(lib) intrinsic, used in SquidPong
Nathan Braswell
2016-04-30 16:52:56 -04:00
7aa1d9983b
Some bugfixes/added errors, convert most to not use simple_passthrough
Nathan Braswell
2016-04-30 15:38:28 -04:00
d126cbf24b
Added short/long and unsigned types for all int based types
Nathan Braswell
2016-04-29 16:19:23 -04:00
ecbbcb4eda
C extern implemented
Nathan Braswell
2016-04-29 01:14:26 -04:00
914fc57c13
Change over everything to sizeof intrinsic
Nathan Braswell
2016-04-28 19:22:23 -04:00
2051f54b55
Added in sizeof intrinsic + piping for more in the future. Inbetween commit before removing sizeof function
Nathan Braswell
2016-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 Braswell
2016-04-27 15:59:28 -04:00
5b2d394436
Some speed improvements
Nathan Braswell
2016-04-22 19:11:11 -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 Braswell
2016-04-22 02:58:14 -04:00
8d0996fb47
Added in bitwise operators
Nathan Braswell
2016-04-19 18:39:01 -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 Braswell
2016-04-19 16:58:30 -04:00
0961636ab0
Fix syntax problem in captain.sh
Nathan Braswell
2016-04-19 12:49:08 -04:00
04d2af4168
Bugfixes, remove the cast_ptr function
Nathan Braswell
2016-04-19 06:04:22 -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 Braswell
2016-04-18 22:56:29 -04:00
d5b930739f
Some fun adding in var var and var ref
Nathan Braswell
2016-04-13 22:46:05 -04:00
730e1a58ed
Fix so defer defer / defer {} works. Note - defer defer almost definitly doesn't work the way you think it will
Nathan Braswell
2016-04-13 21:45:21 -04:00
e732a6e41d
Clean up for demo
Nathan Braswell
2016-04-13 16:25:16 -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 Braswell
2016-04-05 03:14:56 -04:00
0e9fff705b
Small addition to error message
Nathan Braswell
2016-04-04 15:27:39 -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 Braswell
2016-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 Braswell
2016-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 Braswell
2016-03-28 17:12:53 -04:00
2344ba917b
Hopefully finished ADTs, still a bug preventing self-hosting
Nathan Braswell
2016-03-20 05:14:26 -04:00
884d71f007
mostly working ADT, I hope. Misses some destructs
Nathan Braswell
2016-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 Braswell
2016-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 Braswell
2016-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 Braswell
2016-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 Braswell
2016-03-10 16:07:12 -05:00
2e6e87137d
Most of stdlib started working 55 tests pass
Nathan Braswell
2016-03-08 16:04:59 -05:00
5b3af2fa25
New test that tests template inference through instantiated templates, implemented it in kalypso, 51 tests passing
Nathan Braswell
2016-03-08 12:09:27 -05:00
Nathan Braswell