[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