Commit Graph

729 Commits

Author SHA1 Message Date
greg df51a1e04a rename schala_main -> repl_main 2018-03-23 19:04:32 -07:00
greg 36b3f58f77 Get rid of all top-level dependencies 2018-03-23 18:48:15 -07:00
greg f181e2f284 move schala into separate crate 2018-03-23 18:43:43 -07:00
greg fd4f5e17df Move robo to separate crate 2018-03-21 01:46:11 -07:00
greg 8ca5a77174 Move rukka to crate 2018-03-21 01:43:43 -07:00
greg 78a250bcba Move maaru into separate crate 2018-03-20 23:29:56 -07:00
greg 31fc751799 Rename schala-lib -> schala-repl 2018-03-20 21:17:46 -07:00
greg e99479ffcc Removed (for now) LLVMCodeString 2018-03-20 21:13:34 -07:00
greg 6fcc7ded59 new thing compiles 2018-03-20 20:29:57 -07:00
greg de073a6d9b Switch over schala to new system 2018-03-19 22:57:54 -07:00
greg 5ab7c2d254 Nested comments 2018-03-17 22:25:43 -07:00
greg 7a606980cb Changing comments to use //, /* 2018-03-17 19:12:58 -07:00
greg 57f56168c5 Hacky fix for displaying error output non-interactively 2018-03-11 12:56:51 -07:00
greg 7e23e40a2f Eval list literals 2018-03-08 12:42:05 -08:00
greg 4c88a7ada6 Parse list literals 2018-03-08 12:01:24 -08:00
greg 367719d408 Tighten some code 2018-03-08 00:32:19 -08:00
greg 2e80045750 Rename ReplOutput -> LanguageOutput 2018-03-07 22:07:13 -08:00
greg da9aa1e29d Index evaluation 2018-03-07 21:46:21 -08:00
greg ca67f9b4fe Proper index exprs 2018-03-06 02:51:45 -08:00
greg 60cce3fe9c Some macro simplifications 2018-03-06 01:31:31 -08:00
greg 4eb22f94d0 Trying to make tests less verbose 2018-03-06 01:06:36 -08:00
greg 355c8170a4 Added test for lambda call 2018-03-06 00:56:19 -08:00
greg e3671a579d Changed BNF grammar of call statements
To allow calling lambdas
2018-03-06 00:38:33 -08:00
greg 08ca48b2ba lambdas 2018-03-04 02:11:22 -08:00
greg fea9b9575b Print output of tuples 2018-03-03 13:26:22 -08:00
greg 276dad56d7 Handle tuple literals in type system 2018-03-03 11:55:20 -08:00
greg 695e733584 Sum types in type schema 2018-03-03 11:52:07 -08:00
greg 9bfd751db6 Kill unused import 2018-03-03 11:32:38 -08:00
greg b058e47d79 Kill some compiler warnings 2018-03-03 00:28:52 -08:00
greg 5be53dc847 Evaluator now only prints when a builtin print is called 2018-03-03 00:25:08 -08:00
greg a0bea0d55a Kill comments 2018-03-02 23:33:01 -08:00
greg 9747374e8a Fix bug in delimited macro
Had to do with bad strictness testing.
2018-03-02 22:44:17 -08:00
greg 9ab1ca28f8 Improve tokenizer debug output 2018-03-02 22:11:25 -08:00
greg 66cd51a355 Cleanup 2018-03-02 21:59:14 -08:00
greg 1056be12e7 Include line count in token debug 2018-03-02 15:21:48 -08:00
greg 48e7c0be03 Munged types to make tokenizer compile 2018-03-02 15:15:12 -08:00
greg 6e82d1207e SOme work
WIP
2018-03-02 02:57:04 -08:00
greg f0e7c9906e Fixed bug w/ lines in functions
Also improved debugging
2018-03-02 00:42:52 -08:00
greg 57c7858c87 Frame-aware lookups 2018-03-01 23:13:32 -08:00
greg a105c84943 Kill debug 2018-03-01 22:54:03 -08:00
greg 2b8d63d9cc Better debugging for types 2018-03-01 22:32:38 -08:00
greg c807c20292 Use UVars in type signatures of functions 2018-03-01 03:35:09 -08:00
greg 55e372a670 Introduced fresh type variable method 2018-02-28 05:45:20 -08:00
greg c50626241e Continuing work 2018-02-27 03:01:05 -08:00
greg 232bec97a7 Re-added symbol table infra 2018-02-26 21:43:53 -08:00
greg ce1d967f08 Some logic for function call inferring 2018-02-26 21:28:11 -08:00
greg daa0062108 Starting on function application typechecking 2018-02-26 21:00:36 -08:00
greg 3e7c7a50b4 Move some code around 2018-02-26 19:57:46 -08:00
greg 2574a1b9c0 Function calls work 2018-02-26 19:55:27 -08:00
greg c285ee182e Temporarily disable type-erroring
and tighten some code
2018-02-26 19:16:49 -08:00