map should have a unary arity
Done!, same with filter. But it requires partial function application to work, which is not yet working. Adding #15 as a dependency.
Partial function application is indeed in Prelude, so adding #15 as a dependency.
Fixed a few errors, and it's looking like at least we parse and validate prelude reasonably correctly.
Next step: start testing against the Prelude. Found one bug already.
Looks like it works now! Same commit as before to have gotten them right.
Forward declarations were not working. They are now, with 273267f61d. The long and short of it is that we need to update…
273267f61d
a slow and brute-force approach to the problem of re-binding closed-over forward declarations
Moving to minimal replacement, because, uh, I need to debug Prelude, and having at all reasonable errors including locations is deeply necessary for debugging Ludus code.
This is working fine in a Ludus script, as of 6a01089973. Pulling from a simplified Prelude also works.
There's some…