[darcs-users] darcs patch: fix bug in checkpoint generation.

[Eric Kow]

On Wed, Dec 10, 2008 at 11:52:19 -0500, David Roundy wrote:
> Wed Dec 10 10:42:08 EST 2008  David Roundy <droundy at 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: Digital signature
Url : http://lists.osuosl.org/pipermail/darcs-users/attachments/20081212/c30b5935/attachment.pgp