On Sun, Dec 28, 2008 at 12:28:39 +0100, Petr Rockai wrote: > I would propose to switch over buildbots to cabal just after the 2.2 release > is > out of the door. We are only missing the unit tests, and that shouldn't be > hard > to sort out.
Fine by me > Sun Dec 28 12:12:29 CET 2008 Petr Rockai <[email protected]> > * Check GADT witnesses when doing Cabal-based builds. Applied thanks! Check GADT witnesses when doing Cabal-based builds. --------------------------------------------------- > addfile ./src/witnesses.hs > hunk ./src/witnesses.hs 1 > +import Darcs.Patch.Real ... > +import Darcs.Commands.TransferMode > + > +main = return () Heh -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9
pgpkF1ETYTDQ2.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
