Re: [darcs-devel] darcs patch: start gadt stuff (and 29 more)

[Eric Kow]

>    Sealed :: !(px C(,y)) -> Sealed p

you mean

   Sealed :: !(px C(,y)) -> Sealed px

right?

yup!

--
Eric Kow                     http://www.loria.fr/~kow
PGP Key ID: 08AC04F9         Merci de corriger mon français.

_______________________________________________
darcs-devel mailing list
darcs-devel@darcs.net
http://lists.osuosl.org/mailman/listinfo/darcs-devel