Commit Graph

771 Commits

Author SHA1 Message Date
greg fb26293157 More work 2018-03-10 23:06:15 -08:00
greg c0289f238f Starting on macro work 2018-03-10 22:10:13 -08:00
greg 7afb9d47fc Minimal parser that actually does something 2018-03-10 20:26:40 -08:00
greg 2431a074b0 Starting out with minimal BNF
Just to test this idea, I'm going to start out with this simplified
BNF of just literals
2018-03-10 20:17:51 -08:00
greg 3bfd251a68 autoparser framework done 2018-03-10 20:05:27 -08:00
greg a033c82d13 More boilerplate
Note: I need to make this boilerplate situation better
2018-03-10 18:26:26 -08:00
greg c176c1c918 Autoparser - token output 2018-03-10 18:20:19 -08:00
greg aa40b985f3 Experiment to automatically generate parser
Gonna give this a shot, automatically generate a recursive-descent
parser from BNF
2018-03-10 14:04:10 -08:00
greg 64a3705e35 Some changes necessary to handle non-interactive code 2018-03-09 00:50:24 -08: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 35c67f73c3 Make directory for schala source files 2018-03-07 21:53:55 -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 a643c8a792 Add history saving 2018-03-01 02:49:14 -08:00
greg 69200048fa Switch to rustyline library 2018-03-01 02:43:11 -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
greg f7659a5598 Handle variable lookups 2018-02-26 18:23:10 -08:00