Troels Henriksen
Troels Henriksen
Significantly reducing (but not totally eliminating) the use of parameterized productions seems to function as a workaround.
Yes, I think you are correct. Probably the implementation of typed holes was not written to cope with large quantities of holes.
This was fixed in #87.
The partiality is now documented.
Alright, I'll do it that way.
Hm, this seems to break the assembler for some other programs somehow.
Man is the assembler logic tangled. I made it work by having a specific field (only used for diagnostics) that contains the file name of the statement.
Great! I have taken the liberty of merging master into this branch. I suggest the next immediate step is to ensure that the entire test suite (including new automap test...
> What is automap? Is it that the compiler automagically insert `map` as necessary? Yes, essentially. I wrote very lightly about it here, but it has mostly been the subject...
> @athas Projections aside (which I suggest we leave until later), everything typechecks now. What is difficult about projections?