Jason (jcreed) wrote,
Jason
jcreed

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
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments