On Tue, Oct 07, 2008 at 03:47:50PM +0200, Florent Becker wrote: > hunk ./src/Darcs/SelectChanges.lhs 76 > +data WhichChanges = Last | LastReversed | First | FirstReversed deriving > (Eq, Show) > + > +type MatchCriterion p = FORALL(u v) WhichChanges -> [DarcsFlag] -> (p C(u > v)) -> Bool
I'd also strongly encourage you not to use type like this. It makes the code more non-local to read, as one has to keep looking up to find out what this means. Type synonymns aren't always wrong, but they usually are. David _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
