On Sun, Nov 23, 2008 at 1:26 AM, Eric Kow <[EMAIL PROTECTED]> wrote: > On Sun, Nov 23, 2008 at 01:02:20 -0800, Jason Dagit wrote: > > Here are the rest of the ghc-6.10 type witness fixes. If these are > > accepted then 'make witnesses' should "just work" on ghc versions 6.6 > > through 6.10. > > Looks good. Applied, thanks! > > > "Say yes to green buildbots!" > > oh boy! > > Appease ghc-6.10 on witness types. > ---------------------------------- > > + 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 > > haddock markup seems a tad excessive for an inner function, no?
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. Suggestions? on how to do this in the future? Thanks, Jason
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
