Grr, the HOT end-of-semester situation is not as beautiful as I had hoped it would be. On projects 4 and 5 (phase-splitting and cps conversion) for some reason I made an inordinate number of stupid mistakes which took me a good chunk of today to fix. The rest of today was spend trying to cobble together the pattern compilation code I had previously written into a more realistic demo for tomorrow.
Turns out 90% of that work was in a category I am fond of calling "stupid bullshit". I mean, it's neither stupid nor bullshit really, but it's stuff that's not really the point: parsing, unparsing, writing more clauses for silly little substitution and whnf and map functions and so on. Inventing stupid syntax so that I can write injections into sum times, write down arbitrary patterns, case analyze over them in concrete syntax --- all that nonsense. So I finally got back to debugging the pattern compilation code itself about midnight and found a stupid bug that I had introduced while simplifying it down from arbitrary tuple patterns to just pairs since that's what the rest of the support code we already have handles.
Anyway it mostly seems to work now for "unambitious naive pattern compilation without a coherent notion of matrix column because I don't have the time to do it right" values of "work".
Turns out 90% of that work was in a category I am fond of calling "stupid bullshit". I mean, it's neither stupid nor bullshit really, but it's stuff that's not really the point: parsing, unparsing, writing more clauses for silly little substitution and whnf and map functions and so on. Inventing stupid syntax so that I can write injections into sum times, write down arbitrary patterns, case analyze over them in concrete syntax --- all that nonsense. So I finally got back to debugging the pattern compilation code itself about midnight and found a stupid bug that I had introduced while simplifying it down from arbitrary tuple patterns to just pairs since that's what the rest of the support code we already have handles.
Anyway it mostly seems to work now for "unambitious naive pattern compilation without a coherent notion of matrix column because I don't have the time to do it right" values of "work".