Commit Graph

  • 2e80682f01 small double fix for interpreter Nathan Braswell 2016-07-01 09:37:14 -07:00
  • 9291003af7 Fixed interpreter not returning ref correctly, 65/73 tests passing Nathan Braswell 2016-06-30 22:41:32 -07:00
  • b4d0d20883 Fix returning functions Nathan Braswell 2016-07-01 00:08:41 -04:00
  • 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
  • e3607beabe Refactor parameter destruction into obj_lower Nathan Braswell 2016-06-24 01:42:48 -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
  • acb0e48324 Merge branch 'master' of https://github.com/Limvot/kraken Marcus Godwin 2016-06-14 23:32:43 -04: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
  • 59969e7114 Add passthrough optimization levels Nathan Braswell 2016-06-07 23:14:52 -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
  • 3fe72bc8e2 Merge branch 'master' of github.com:Limvot/kraken Nathan Braswell 2016-05-13 00:01:17 -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
  • 5a7a1d3b3c Merge pull request #3 from richardscollin/master Nathan Braswell 2016-04-21 01:25:53 -04:00
  • 2cd43e5a21 most of hash map - have to commit fix for unify type first Nathan Braswell 2016-04-20 16:09:26 -04:00
  • ee847eb866 Fix captain.sh bootstrap installation Collin Richards 2016-04-19 20:35:22 -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
  • 8c18e00aa7 spelling Nathan Braswell 2016-03-29 13:29:49 -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
  • 756f2e71de SELF HOSTING Nathan Braswell 2016-03-26 05:29:20 -04:00
  • 1cc8fd294e Cephelapod-compiled Kalypso will compile Kalypso, but the result segfaults Nathan Braswell 2016-03-26 04:39:26 -04:00
  • 7d749e7ca5 running test_compiler on it self will complete now, though the resulting C has many errors Nathan Braswell 2016-03-26 00:43:01 -04:00
  • b650a9af03 some bugfixes, getting closer Nathan Braswell 2016-03-24 21:32:28 -04:00
  • 0a91165172 moving computers Nathan Braswell 2016-03-23 12:36:13 -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
  • 40d630f348 fixed regex, 61 tests passing Nathan Braswell 2016-03-10 14:08:56 -05:00
  • 7543b95529 60 tests passing Nathan Braswell 2016-03-10 04:49:38 -05:00
  • f28d44df4b add return temps in most all situations now, fix for and while Nathan Braswell 2016-03-09 15:21:50 -05:00
  • a6529ab381 Small fixup, 56 tests passing Nathan Braswell 2016-03-08 22:52:51 -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