[Template-haskell] GADTs

Bulat Ziganshin bulat.ziganshin at gmail.com
Mon Aug 14 11:22:06 EDT 2006

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:Bulat.Ziganshin at gmail.com

More information about the template-haskell mailing list