Commit Graph

616 Commits

Author SHA1 Message Date
greg 6e188976f9 Quotes 2018-07-26 00:52:45 -07:00
greg d235b47bc5 Change Symbol -> Word for token 2018-07-26 00:52:45 -07:00
greg 3fcb840ce5 Fix bug 2018-07-26 00:52:45 -07:00
greg 523bd179a4 Tighten code 2018-07-26 00:52:45 -07:00
greg 35e715dfd6 Intersperse 2018-07-26 00:52:45 -07:00
greg 6eb0fc8834 Parsing correctly yay 2018-07-26 00:52:45 -07:00
greg c0a5418c27 Tokens 2018-07-26 00:52:45 -07:00
greg 42749c1ff6 Sexp parsing 2018-07-26 00:52:45 -07:00
greg 42b9507af0 Parses ( 2018-07-26 00:52:45 -07:00
greg 38e85e2c78 Some halfwritten stuff 2018-07-26 00:52:45 -07:00
greg 7c5fef49f8 List datatype 2018-07-26 00:52:45 -07:00
greg c1e214c701 Add a new language - Rukka
This is a (simple) lisp, partially for fun, partially for testing the
generic interfaces
2018-07-26 00:52:45 -07:00
greg 66e3de41dd Make schala-lib::language private and reexport 2018-07-26 00:52:45 -07:00
greg 9545130fd3 Take TokenError type out of schala-lib 2018-07-26 00:52:45 -07:00
greg ef7412dcd5 I don't need this syntax 2018-07-26 00:52:45 -07:00
greg dee470cb8b Kill some packages from schala bin 2018-07-26 00:52:45 -07:00
greg c057f068ef Get rid of unused imports 2018-07-26 00:52:45 -07:00
greg c4dbdf1fe7 Refactor into libs part II
woo it compiles
2018-07-26 00:52:45 -07:00
greg 4c7174e4c4 Halfway done to library-ifying schala 2018-07-26 00:52:45 -07:00
greg d0538faef3 PLIGenerators can be authoritative, not the instances themselves 2018-07-26 00:52:45 -07:00
greg b97da01370 Some simplification 2018-07-26 00:52:45 -07:00
greg b09efd3660 Passing things along as generators 2018-07-26 00:52:45 -07:00
greg a42a58b155 Don't need mutex, kill it 2018-07-26 00:52:45 -07:00
greg 708c0ab103 Finally removed schala dependency
Now need to clena up everything
2018-07-26 00:52:45 -07:00
greg 1d9d0c4395 Okay this compiles
The secret (from #rust) appeared to be that Fn() needed to have + Send
explicitly annotated on it
2018-07-26 00:52:45 -07:00
greg ffb87ebb82 Working on solution to Rocket state problem 2018-07-26 00:52:45 -07:00
greg 30c741f459 Some linker bullshit
I don't know why I needed to do this
2018-07-26 00:52:45 -07:00
greg d19541b3e1 Splitting up some code
In preparation for splitting schala into crates
2018-07-26 00:52:45 -07:00
greg 3651461bbc Some more structure in evaluator 2018-07-26 00:52:45 -07:00
greg 7730457878 Revert "Starting to split project into multiple crates"
This reverts commit e3b0f4a51e.
Bah, this was a bad idea, wrong way to do it
2018-07-26 00:52:45 -07:00
greg 46dbac7f69 Starting to split project into multiple crates 2018-07-26 00:52:45 -07:00
greg f68167f3a2 Halfway done with evaluating tuples 2018-07-26 00:52:45 -07:00
greg c9625ffa77 Add module keyword 2018-07-26 00:52:45 -07:00
greg cc3833754d Switch from request to superagent
For doing HTTP requests. Makes the js bundle a lot smaller.

Also I should do something about the fact that I now have to change the
js and also rebuild the rust binary to change code
2018-07-26 00:52:45 -07:00
greg 9afbd2305f Literal non-primitive values 2018-07-26 00:52:45 -07:00
greg d7564f81c9 Starting work on literal non-primitve values 2018-07-26 00:52:45 -07:00
greg 2fbb8f2b2f Can eval custom data constructors now 2018-07-26 00:52:45 -07:00
greg 1884eae191 Float literals, kill old code 2018-07-26 00:52:45 -07:00
greg bb880d44fa Some more primitive types + binop-checking 2018-07-26 00:52:45 -07:00
greg 22b4738726 Add required imports 2018-07-26 00:52:45 -07:00
greg 0202aab181 Some partial work on refactoring type infer fn 2018-07-26 00:52:45 -07:00
greg f9c9ed6b29 Add colored output to non-interactive 2018-07-26 00:52:45 -07:00
greg 04cb1616f7 Convert webapp to using included files 2018-07-26 00:52:45 -07:00
greg 5f1c46cb87 Fix type check macro to add symbol table 2018-07-26 00:52:45 -07:00
greg 0ea9bd3d95 More work with unification 2018-07-26 00:52:45 -07:00
greg 0cf56eea4f the evar table
TODO find a better way to represent this
2018-07-26 00:52:45 -07:00
greg ab53c5394e Unify work 2018-07-26 00:52:45 -07:00
greg f6c85951fe Move type-level func up 2018-07-26 00:52:45 -07:00
greg c530715671 Okay I am figuring things out about hindley-milner again 2018-07-26 00:52:45 -07:00
greg 617a30b967 rename type_var to ty 2018-07-26 00:52:45 -07:00