On Mon, Jun 01, 2009 at 13:23:00 +0200, Petr Rockai wrote: > Mon Jun 1 13:20:12 CEST 2009 Petr Rockai <[email protected]> > * Fix witnesses in Darcs.Gorsvet.
Applied, thanks! Fix witnesses in Darcs.Gorsvet. ------------------------------- > -treeDiff :: (FilePath -> FileType) -> Tree -> Tree -> IO (FL Prim) > +treeDiff :: (FilePath -> FileType) -> Tree -> Tree -> IO (FL Prim C(x y)) > +#ifdef GADT_WITNESSES > +treeDiff = undefined -- Sigh. > +#else Anybody who wants to finish the type witness work should probably note this :-) > -unrecordedChanges :: (RepoPatch p) => [DarcsFlag] -> Repository p > - -> [SubPath] -> IO (FL Prim) > +unrecordedChanges :: (RepoPatch p) => [DarcsFlag] -> Repository p C(r u t) > + -> [SubPath] -> IO (FL Prim C(r y)) OK by me. We start from the same place. And since we are selecting a subset of patches, it makes sense that we have this whole new variable y. > -applyToWorking :: (RepoPatch p) => Repository p -> Sealed (FL Prim) -> IO > Tree > +applyToWorking :: (RepoPatch p) => Repository p C(r u t) > + -> Sealed (FL Prim C(u)) -> IO Tree OK. These are patches that must apply to the unrecorded state. -- 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
