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

October 2014

S M T W T F S
    1234
56 7891011
1213 1415161718
19202122232425
262728293031 

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags