On Sun, Nov 23, 2008 at 01:32:52 -0800, Jason Dagit wrote: > > > + f :: FORALL(z x y) PatchSet p C(z) -- ^ @common@ > > > + -> RL (PatchInfoAnd p) C(z x) -- ^ @a@ > > > + -> RL (PatchInfoAnd p) C(z y) -- ^ @b@ > > > + -> SealedPatchSet p > > I had that same quandary. I felt like I was losing information by by > removing, common, a, and b so I wanted to add it back some how.
Well, in that particular case, you had it in f common a b = ... So I think it would have just left it alone. Same formatting (one line per arrow, just without the markup). No big deal of course... -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9
signature.asc
Description: Digital signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
