On Wed, Dec 10, 2008 at 11:52:19 -0500, David Roundy wrote: > Wed Dec 10 10:42:08 EST 2008 David Roundy <drou...@darcs.net> > * fix bug in checkpoint generation.
Applied, thanks! fix bug in checkpoint generation. --------------------------------- > is_setprefFL :: Prim C(x y) -> EqCheck C(x y) > -is_setprefFL p | is_setpref p = unsafeCoerceP IsEq > - | otherwise = NotEq > +is_setprefFL p | is_setpref p = NotEq > + | otherwise = unsafeCoerceP IsEq Argh :-) -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9
signature.asc
Description: Digital signature
_______________________________________________ darcs-users mailing list darcs-users@darcs.net http://lists.osuosl.org/mailman/listinfo/darcs-users
