tim: Tim with short hair, smiling, wearing a black jacket over a white T-shirt (working)
[personal profile] tim
I'm still chugging along trying to get my code to eliminate match checks checked in, little by little. My list of examples of incomplete matches in the compiler is growing.

I'm trying to wait until all the match checks are gone to check in the code that removes support for the construct, rather than check it all in in one big patch, so that means a laborious process of checking out a new temporary branch that's a copy of my working branch; git reset --softing all the match-check-related changes, picking and committing the few files I want to keep this time, and doing git reset --hard to get rid of the other changes. And then running make check... and waiting... so... long... for it to finish. (And then, usually, having to pull changes and rebase because git tells me pushing wouldn't be a fast-forward.) But I don't want to break the build.

Not much to say about it, just wishing we had refinement types. Or that I could just go ahead and implement them. (It will likely be more character-building for me to rewrite metadata and rationalize the dependency situation, though.)

Profile

tim: Tim with short hair, smiling, wearing a black jacket over a white T-shirt (Default)
Tim Chevalier

March 2014

S M T W T F S
      1
2345678
9101112131415
16171819202122
23 24252627 2829
3031     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags