
29 Oct
2008
29 Oct
'08
2:56 p.m.
On Wed, Oct 29, 2008 at 4:17 AM, Mitchell, Neil
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