Block a user
66fc1db606
Implemented Display for Form, then first sketch of MarkedForm, NeededIds, and unval, and Display for MarkedForm
ad3c251ba9
implement non-varidic and/or and start porting match. Need to make and/or varidac and continue match work
3df7d6e0ec
Finish converting into individual tests (mostly) - might need to split out and uncomment some should-fail tests
e9b8f636cf
Start splitting out the tests into multiples, with the library code at top level in once_cell's Lazy
5838cf0bdd
Added 'assert', and changed match_params to assert that when the param tree is nil so are the passed params, which should handle exact length for functions etc.
c028e975d4
Add wrap, vfoldl, zipd, concat, bvau, and lambda! Need to add varidac handling to bvau, but getting tired
3c2dfbf8a7
Add tail call recursion - works, but if a datastructure is too deep (say, because env keeps growing on the heap) Rc::drop will end up overflowing the stack when trying to deallocate
ba67b8c67b
Add "!" syntatic form - a bit like the single quote, but !(a b c) d => !(a b c d). Useful for like !(let a 1) (+ a 3) or w/e. Break out some of the infinate nesting"
02e359f42d
Finish out the basic primitives along with testing infra for both parsing and evalaution, with some slick Into<> impls to make Rust values Kraken values, which is esp useful for testing
3807381ceb
Sketch out call-info, realized it and function-analysis needs pectx and also err threaded through it, since it can fail (which must be recoverable) and needs env and pectx for partial_eval inside
bea48eb18b
Reviewing and making notes about analysises, looking to see if they can be implemented with a generic traversal or something