Ganesh Sittampalam <[email protected]> added the comment: I've pushed most of this. The only one I'm not quite sure about is this:
> Wed Aug 25 01:02:44 PDT 2010 Jason Dagit <[email protected]> > * Depends.hs: add back catch all case to silence warning because I remember that there were some GADT-related errors with that case, though it's possible that the way you added it back solves those. Have you tried the witnesses build with GHC 6.10? (I've now tried 6.12 and it's ok there). If you've checked that too then it's fine to push yourself if you want. __________________________________ Darcs bug tracker <[email protected]> <http://bugs.darcs.net/patch364> __________________________________ _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
