Jason (jcreed) wrote,

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".
Tags: work

  • (no subject)

    Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…

  • (no subject)

    Did some personal archaeology. Helped a little with laundry. Threw some chicken, onions, tomato, stock, peppers in the slow cooker and hopefully…

  • (no subject)

    Dinner with akiva and dannel at nuevo portal in carroll gardens. Ate a pile of chicken stew and rice and beans and maduros, good times. I do miss…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded