Commit Graph

1369 Commits

Author SHA1 Message Date
greg
43ade31f3e new thing compiles 2018-07-26 00:52:45 -07:00
greg
9f2fbda31f Switch over schala to new system 2018-07-26 00:52:45 -07:00
greg
b31325c315 Update schala example code 2018-07-26 00:52:45 -07:00
greg
95a2620754 Nested comments 2018-07-26 00:52:45 -07:00
greg
e67b22d109 Changing comments to use //, /* 2018-07-26 00:52:45 -07:00
greg
61eccba173 Starting to improve infrastrucutre for lang output
To make repl vs non-repl output better
2018-07-26 00:52:45 -07:00
greg
f56d7120c4 Hacky fix for displaying error output non-interactively 2018-07-26 00:52:45 -07:00
greg
6140de9f9c Some changes necessary to handle non-interactive code 2018-07-26 00:52:45 -07:00
greg
b54c71633c Eval list literals 2018-07-26 00:52:45 -07:00
greg
1eeafb80dc Parse list literals 2018-07-26 00:52:45 -07:00
greg
59d621ed75 Tighten some code 2018-07-26 00:52:45 -07:00
greg
76fadf0701 Rename ReplOutput -> LanguageOutput 2018-07-26 00:52:45 -07:00
greg
6e6d494d50 Make directory for schala source files 2018-07-26 00:52:45 -07:00
greg
a0bb2837c1 Index evaluation 2018-07-26 00:52:45 -07:00
greg
a4dd492c26 Proper index exprs 2018-07-26 00:52:45 -07:00
greg
d0b6840670 Some macro simplifications 2018-07-26 00:52:45 -07:00
greg
b65eb0e459 Trying to make tests less verbose 2018-07-26 00:52:45 -07:00
greg
3f1e83dfda Added test for lambda call 2018-07-26 00:52:45 -07:00
greg
5ddfc132e7 Changed BNF grammar of call statements
To allow calling lambdas
2018-07-26 00:52:45 -07:00
greg
f1f7f43e20 lambdas 2018-07-26 00:52:45 -07:00
greg
86d9e90e7c Print output of tuples 2018-07-26 00:52:45 -07:00
greg
a7672171a6 Handle tuple literals in type system 2018-07-26 00:52:45 -07:00
greg
08e10739e5 Sum types in type schema 2018-07-26 00:52:45 -07:00
greg
a300f78e19 Kill unused import 2018-07-26 00:52:45 -07:00
greg
0423017125 Kill some compiler warnings 2018-07-26 00:52:45 -07:00
greg
8ef5a28aff Evaluator now only prints when a builtin print is called 2018-07-26 00:52:45 -07:00
greg
a92a2e4454 Kill comments 2018-07-26 00:52:45 -07:00
greg
8d79074ea9 Fix bug in delimited macro
Had to do with bad strictness testing.
2018-07-26 00:52:45 -07:00
greg
4e7806d053 Improve tokenizer debug output 2018-07-26 00:52:45 -07:00
greg
507e0b7255 Cleanup 2018-07-26 00:52:45 -07:00
greg
9b760244d5 Include line count in token debug 2018-07-26 00:52:45 -07:00
greg
88e027f536 Munged types to make tokenizer compile 2018-07-26 00:52:45 -07:00
greg
2e41f8ffe3 SOme work
WIP
2018-07-26 00:52:45 -07:00
greg
b18c2eee96 Fixed bug w/ lines in functions
Also improved debugging
2018-07-26 00:52:45 -07:00
greg
0c78f50568 Frame-aware lookups 2018-07-26 00:52:45 -07:00
greg
2dc9b4c09f Kill debug 2018-07-26 00:52:45 -07:00
greg
73206d345e Better debugging for types 2018-07-26 00:52:45 -07:00
greg
1a74e16af5 Use UVars in type signatures of functions 2018-07-26 00:52:45 -07:00
greg
ae2182db5d Add history saving 2018-07-26 00:52:45 -07:00
greg
ad450469a5 Switch to rustyline library 2018-07-26 00:52:45 -07:00
greg
df88e33579 Introduced fresh type variable method 2018-07-26 00:52:45 -07:00
greg
9d72a92f0b Continuing work 2018-07-26 00:52:45 -07:00
greg
fa6c2a6f45 Re-added symbol table infra 2018-07-26 00:52:45 -07:00
greg
92e6830979 Some logic for function call inferring 2018-07-26 00:52:45 -07:00
greg
ef9cd04605 Starting on function application typechecking 2018-07-26 00:52:45 -07:00
greg
1eaf201145 Move some code around 2018-07-26 00:52:45 -07:00
greg
876373c9fd Function calls work 2018-07-26 00:52:45 -07:00
greg
63f5f155ae Temporarily disable type-erroring
and tighten some code
2018-07-26 00:52:45 -07:00
greg
51cf8a4824 Handle variable lookups 2018-07-26 00:52:45 -07:00
greg
e0cc12276c Evaluate binding declarations 2018-07-26 00:52:45 -07:00