miloignis/kraken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 2baad06e8c Add string literals and symbols, print support for both as well as lists and vectors Nathan Braswell 2020-04-22 21:10:46 -04:00
  • 19ae75b819 Fix the quoting compile Nathan Braswell 2020-04-20 01:22:45 -04:00
  • d726705845 Add creation and indexing of lists and vectors, with their literal forms. Compiling quote has a bug though, and passes through - will have to consider how to fix Nathan Braswell 2020-04-20 01:16:34 -04:00
  • b505c021f2 Implemented closures Nathan Braswell 2020-04-19 21:52:21 -04:00
  • dff7306cc3 Change to raw string Nathan Braswell 2020-04-19 01:25:20 -04:00
  • 50817b567f Fix my fact impl, add print and println Nathan Braswell 2020-04-18 13:36:46 -04:00
  • cc833015c3 Can compile functions depending on other top level functions and values Nathan Braswell 2020-04-17 10:31:38 -04:00
  • bed1871ad3 Check type of main return Nathan Braswell 2020-04-14 23:59:52 -04:00
  • 3141ad1d1d parameters working Nathan Braswell 2020-04-14 23:53:12 -04:00
  • ed01b5f580 Parameterless functions working Nathan Braswell 2020-04-14 23:34:23 -04:00
  • 8da9190b3d Add type checking to make sure compiled lang is safe Nathan Braswell 2020-04-14 14:35:01 -04:00
  • 7cf8ca8b80 Function calls work, builtin functions operating on ints Nathan Braswell 2020-04-13 23:42:32 -04:00
  • 4b44277d30 emit if and true/false/nil constants Nathan Braswell 2020-04-13 22:55:25 -04:00
  • 05c77e3ad9 let* generated Nathan Braswell 2020-04-13 22:45:40 -04:00
  • 813d31cb2b Working on C generator for k_prime, can compile single number return Nathan Braswell 2020-04-12 15:52:45 -04:00
  • cb54429d1a Remove keywords and maps from k_prime to make it leaner Nathan Braswell 2020-04-12 00:25:11 -04:00
  • c4078aa5e1 added optional_WS back Nathan Braswell 2020-04-10 23:11:17 -04:00
  • 7a6a1e0d82 reformat Nathan Braswell 2020-04-10 23:08:31 -04:00
  • 721dc203be Loop function can be simpler Nathan Braswell 2020-04-10 23:05:05 -04:00
  • 7bc58e904e BF implementation as GLL macros Nathan Braswell 2020-04-10 22:46:53 -04:00
  • 256006f1c6 allow emtpy list, vec, dict Nathan Braswell 2020-04-02 14:47:50 -04:00
  • 80e31b8f6e Forgot my io mod Nathan Braswell 2020-04-02 14:23:49 -04:00
  • 3591b90265 Also commit the syntax playground Nathan Braswell 2020-04-02 14:15:41 -04:00
  • 8eab986395 missed division Nathan Braswell 2020-04-01 11:54:05 -04:00
  • b9adcdd3c6 Fix longest Nathan Braswell 2020-04-01 11:47:04 -04:00
  • f70cc8030e fix comment handling (including at beginning of files) Nathan Braswell 2020-03-31 15:46:03 -04:00
  • ed33f967ce Make adding grammer rules way more ergonomic from k_prime, implmeent reader macros with it now! Note I changed splice-unqote from ~@ to , as ~@ is legal as unquote deref and causes ambigious parses Nathan Braswell 2020-03-31 15:15:45 -04:00
  • 494e22007d Fix hardcoded reader macros, add eval-read-string, fix niceness of whitespace between forms in repl and files. Next should be to redo the parser api to be way nicer from within kraken' Nathan Braswell 2020-03-30 19:51:01 -04:00
  • a811b28bc1 SELF MODIFYING GRAMMER WORKS! Nathan Braswell 2020-03-29 22:07:55 -04:00
  • 40f0125ed1 whoops, messed up true,false,nil - were being parsed as symbols Nathan Braswell 2020-03-29 20:56:27 -04:00
  • f86a6a600b Remove old parsing Nathan Braswell 2020-03-29 20:49:50 -04:00
  • ce7d228358 Use the new parser (now with reduction functions) for mal Nathan Braswell 2020-03-29 20:42:51 -04:00
  • a9bb011bd9 Starting to make k_prime lisp grammer, doing testing to get all MAL test cases parsing Nathan Braswell 2020-03-28 00:23:01 -04:00
  • 1fa60a5496 Pretty printing of BSR Nathan Braswell 2020-03-27 18:35:32 -04:00
  • 676c0ded4d IT WORKS Nathan Braswell 2020-03-27 00:16:16 -04:00
  • 3cef008a93 Now it compiles Nathan Braswell 2020-03-26 23:34:25 -04:00
  • a10238e493 Parses (Kraken, not the parser ;) ) Nathan Braswell 2020-03-26 22:08:39 -04:00
  • 6d1f3bb73f fungll sketch Nathan Braswell 2020-03-25 22:55:57 -04:00
  • 2d6c1880ff MaL implementation in Kraken Nathan Braswell 2020-03-10 12:57:28 -04:00
  • 2bc9ce497b FINALLY FIXED THE PROBLEM - was using set instead of set_single, so it set it's child as well, causing the type loop. Also, the binding replace child evaluated the parameters first, changing t's parent before t->parent->replace_child happened Nathan Braswell 2019-07-13 18:01:04 -04:00
  • 148d70e2d4 Man, I was just missing initting to null and it would have run Nathan Braswell 2019-01-06 22:04:56 -05:00
  • c2495a04f8 binding epochs compile, but segfault. too late tonight to keep going Nathan Braswell 2019-01-06 01:06:15 -05:00
  • 06df819e72 Port (though ineffecently) defer_lower! Nathan Braswell 2018-12-29 20:58:34 -05:00
  • ed57d2b2a9 Added sizeof and fixed inferencing from explicitly instantiated template functions so that new and delete work! (though not traits yet...) Nathan Braswell 2018-12-29 16:35:47 -05:00
  • 235775c077 Basic veriadic, ext, and declaration only support, allowing us to use printf! Unifying with veriadic might need work (does it need ref treatment?) Nathan Braswell 2018-12-29 14:50:58 -05:00
  • 4ec59690cf String value support Nathan Braswell 2018-12-29 13:32:32 -05:00
  • eccc4c87a6 Finally, ref lowering! A little hacky, but not terrible... Nathan Braswell 2018-12-29 12:19:54 -05:00
  • b356b793aa Groundwork for ref_lower pass Nathan Braswell 2018-12-28 01:14:54 -05:00
  • deda17e18b groundwork for refs, moved ref indicator into fun type Nathan Braswell 2018-12-27 15:14:28 -05:00
  • 2cf4a2f664 emit structs with poset to fix C ordering. Structs might fully work now! Still need to do testing around templated versions and pointers Nathan Braswell 2018-12-27 00:59:26 -05:00
  • ca082c29bd Add in a top_level_type_resolve pass so that we properly have all the identifiers in our top level types resolved by the time we get to the meater resolve type passes, which may have to use them for scoping (with access op, etc) Nathan Braswell 2018-12-26 20:34:06 -05:00
  • b11ff424ac Dedup scope lookup Nathan Braswell 2018-12-22 13:37:54 -05:00
  • 5eb9c08fd0 Fix naming problem by realizing that we should allow variable shadowing anyway (anything that's not a function, that is) and we know what is and isn't a function based on the type of the binding from our type unification, so we just check to see if we're not a function type, and if so, just take our first result Nathan Braswell 2018-12-19 17:32:41 -05:00
  • 66f82062ba Almost have scoped . working, in fact it is, but having objects with member names has problems (like o.o) if the member function is in scope. (it thinks maybe you're trying to call o on itself...) Nathan Braswell 2018-12-18 02:51:44 -05:00
  • eadadd5576 Combine resolve_possiblities and name_type_resolve in prep for scopes depending on types Nathan Braswell 2018-12-13 01:04:16 -05:00
  • 862132ba88 fix indentation for one case Nathan Braswell 2018-12-13 00:21:30 -05:00
  • 92e2844616 Add in normal method style Nathan Braswell 2018-12-12 23:56:14 -05:00
  • eb5e21a993 Fix prior template caching for templated functions Nathan Braswell 2018-12-12 23:42:57 -05:00
  • 3f2d51ba75 Fixed type unification for templates! Next up is adding to the scope for . Nathan Braswell 2018-12-07 01:08:12 -05:00
  • 3e6dc2c5ee Merge branch 'master' of https://github.com/limvot/kraken Nathan Braswell 2018-12-05 23:43:28 -05:00
  • 0153054a4c work on k Nathan Braswell 2018-12-05 23:43:24 -05:00
  • caafc6f4e4 Allow <= and >= as overloadable operators and add in a string <= function (though some refactoring to do <, >, and => would be good) and a sorted to vec Nathan Braswell 2018-12-06 04:39:40 +00:00
  • d2011640f7 templated structs starting to work, if grammer freeup Nathan Braswell 2018-11-04 19:03:55 -05:00
  • 8177bc7fd0 Add struct access! Uses new translation_unit_generative pass depended on by scope lookups to generate compiler_intrinsics that access members of structs' Nathan Braswell 2018-10-27 18:00:26 -04:00
  • db3004329d Starting support for structs - can declare them and variables of them. Not actually access any members, or template them... Nathan Braswell 2018-10-25 01:17:09 -04:00
  • cccad6ae8e pointer arithmatic Nathan Braswell 2018-10-16 23:26:04 -04:00
  • 194842397f address of and dereference implemented as templated compiler intrinsics Nathan Braswell 2018-10-16 19:12:10 -04:00
  • c0a6b614d0 Fix pointer/ref parsing Nathan Braswell 2018-10-10 01:13:47 -04:00
  • 02424543fb Explicit template function instantiation working Nathan Braswell 2018-10-10 00:39:04 -04:00
  • cbb720f1b0 Add cast! (and debugging) Nathan Braswell 2018-10-09 23:42:24 -04:00
  • 379d9f612e Template functions (instantiated implicitly) work! Nathan Braswell 2018-10-09 23:00:57 -04:00
  • 39ecf24e69 Can't finish template inst tonight. Nathan Braswell 2018-10-08 00:28:42 -04:00
  • 0ae2fbaae6 Prep for templated functions Nathan Braswell 2018-10-02 23:51:26 -04:00
  • 3d8be84472 Break and continue weren't all the way implemented Nathan Braswell 2018-10-02 00:07:02 -04:00
  • 7993d1d980 Basic looping (for and while) Nathan Braswell 2018-10-02 00:02:14 -04:00
  • ae2f40bcc7 Treat assignment like other operators Nathan Braswell 2018-10-01 23:32:46 -04:00
  • fb179cfcf7 Added primitive math ops, and realized when chaining them that overload resolution had to happen for different functions at different times (esp now that we don't just go outside in). Added a iterative resolver to solve the overloads, which iterates over each one and binds the one that only has one option and unifing types based on that, then running through them all again. If progress is not made for a whole iteration, it errors out and shows the first ambigious call. It could show all ambigious calls... Nathan Braswell 2018-10-01 01:19:51 -04:00
  • dea34f0821 Add in all primitive comparators. Gonna add other primitive ops next - pointers are gonna be interesting and will probs have to wait till generic functions (to make them generic operators) Nathan Braswell 2018-09-30 16:21:24 -04:00
  • 4d5e65e962 Groundwork for primitive operations, including > for ints Nathan Braswell 2018-09-30 16:06:07 -04:00
  • 9f26472b97 Clean up error messages Nathan Braswell 2018-09-24 00:26:06 -04:00
  • 4dcf102cb0 Also regular overloading works now, by counting remaining unknowns as equal during overload filtering time (so that function calls as statements, which get an inferenced return type of _unknown can match a function with any return type Nathan Braswell 2018-09-24 00:21:39 -04:00
  • 2148577523 HM-style return type overloaded function infrencing works! Nathan Braswell 2018-09-24 00:08:07 -04:00
  • 9178c2a29d More unification for typechecking: Nathan Braswell 2018-09-22 20:10:56 -04:00
  • 6c7f313075 Very limited HM-style type inference works! (Just var v = value, but still. The machinery is mostly in place) Nathan Braswell 2018-09-22 16:41:36 -04:00
  • 0505a0e7d6 Move types into binding also Nathan Braswell 2018-09-22 14:54:52 -04:00
  • 38133b8bc3 Pull binding out into it's own templated object so we can use it for types for unification Nathan Braswell 2018-09-22 10:44:02 -04:00
  • 08b5e29b70 Fix poset to handle circular closed dependencies (they're propegated recursively to open dependencies) and some indentation fixes Nathan Braswell 2018-09-19 00:43:49 -04:00
  • 3e3564ea54 Add basic if statement Nathan Braswell 2018-09-18 09:04:05 -04:00
  • 2d9f5dc6fe Add in support for top-level-declarations in k and erroring out if no progress is made in poset. A bug I encountered during devleopment of this reminds me of the need to deal with cycles in the poset in the future - probabally by not adding a close dependency if doing so would make a close dependency cycle? This might not actually be fully legitimate Nathan Braswell 2018-09-18 00:37:16 -04:00
  • cf4a006958 Fix bug in func calling, pass in argc and argv. Next up will be to get rid of the f of fmain by adding name mangling Nathan Braswell 2018-09-17 23:52:23 -04:00
  • 0e0ca8d7b4 Big changes to k - now all passes are top-level-item focused, does dead simple scope lookup. Added an error message when trying to match on not an ADT Nathan Braswell 2018-09-17 23:36:26 -04:00
  • 0cad409b07 Some small cleanup Nathan Braswell 2018-08-26 22:59:39 -04:00
  • 235fb3c141 Can just barely compile a return int Nathan Braswell 2018-08-26 22:46:38 -04:00
  • 87bc88cde4 Transition to new pass/poset setup Nathan Braswell 2018-08-26 21:45:38 -04:00
  • 1cae1b1504 parse types into initial ast Nathan Braswell 2018-06-22 23:13:08 -04:00
  • e851d0eac5 Add basis for types in k, and move to new poset setup (depend on individual imports, functions, types, and global variables) Nathan Braswell 2018-06-22 20:58:47 -04:00
  • 6ffe7aee46 Basic support for templates in ast, rest will come with types Nathan Braswell 2018-06-22 09:02:30 -04:00
  • a8d4b4eb7f Parses everything but templates into new AST, including imports adding to dependency poset Nathan Braswell 2018-06-20 00:49:49 -04:00
  • b5ce776726 Basic AST Nathan Braswell 2018-06-18 19:04:24 -04:00
  • e898e7b285 Pass system works Nathan Braswell 2018-06-14 00:08:55 -04:00