[darcs-devel] darcs patch: start gadt stuff (and 29 more)

Eric Y. Kow eric.kow at gmail.com
Thu Jul 12 21:19:38 PDT 2007


On Fri, Jul 13, 2007 at 01:05:46 +0200, Tommy Pettersson wrote:
> > > 1) This does not compile with GHC 6.4.1, even without type witnesses.
> > I think that's okay with me.  Particularly if Tommy doesn't pull these
> > patches straight in, so if a bugfix release is needed that could be done
> > without requiring 6.6.
> 
> Yes, that's my current plan, to shortly have a darcs 1.1.0
> release that compiles with ghc 6.4.

I haven't tested it yet, but apparantly, 6.4.2 has some GADT fixes, so
maybe it also compiles with that... (I think it was Ganesh that pointed
this out, thanks!)

-- 
Eric Kow                     http://www.loria.fr/~kow
PGP Key ID: 08AC04F9         Merci de corriger mon français.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 186 bytes
Desc: not available
Url : http://lists.osuosl.org/pipermail/darcs-devel/attachments/20070713/08498347/attachment.pgp


More information about the darcs-devel mailing list