![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
TMI: Slow progress
Aug. 22nd, 2012 08:10 pmI'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.)
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.)