On Sat, Dec 09, 2006 at 11:35:20PM +0100, Eric Y. Kow wrote: > > Sat Dec 9 14:19:30 PST 2006 David Roundy <[EMAIL PROTECTED]> > > * change Maybe Patch to Hopefully Patch. > > This rather pervasive change move us to using a new Hopefully type, which > > is similar to Either String for storing patches that may or may not exist. > > This should improve error reporting. At a minimum it'll making easier to > > improve error reporting. > > Will look at this next week.
Okay. And I'll see about that fix we talked about for the test Tommy sent in, which triggered a buggy pending. Yuck. I wish we had those GADT type witnesses to prevent this sort of bug. It's just *way* too easy to get sloppy. :( -- David Roundy Department of Physics Oregon State University
signature.asc
Description: Digital signature
_______________________________________________ darcs-devel mailing list [email protected] http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
