On Wed, Oct 29, 2008 at 4:17 AM, Mitchell, Neil <[EMAIL PROTECTED]> wrote: > Duncan, > > I believe the major darcs issue is the changed GADT implementation > between 6.6, so that neither 6.6 or 6.8 is a superset/subset of the > other - leading to a situation where they have to use a common subset of > both.
Actually, when our GADTs type check under 6.8 they also type check on 6.10 and 6.6. It took us a while to resolve that issue but it's no longer bothering us :) Thanks, Jason _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
