Re[4]: GADTs

Hello Simon,

Monday, August 14, 2006, 6:43:25 PM, you wrote:

> | and, i think that adding TH constructs for all new language features
> | in 6.6 is really important for all TH developers. otherwise, we will
> | be like one-armed invalid. if SPJ don't want to change TH datatypes
> | after 6.6 release, it should be done just now

> Quite the reverse.  I think it's dangerous to fiddle just now, because
> there is only a matter of days before 6.6 is fixed.  But after 6.6 we
> can review the data types and change them if there's a consensus.  The
> exact design isn't something about which I feel strongly, apart from the
> principle in my previous message (avoiding gratuitous sugar)

i hope that you will include this in 6.6.1 despite the fact that it
backward incompatible change? otherwise, postponing using of GADTs
with TH until 6.8 will be not so great..



-- 
Best regards,
 Bulat                            mailto:[email protected]