[Template-haskell] GADTs

Einar Karttunen ekarttun at cs.helsinki.fi
Sat Aug 12 03:26:06 EDT 2006

On 11.08 23:25, Ian Lynagh wrote:
> If you have any objections or comments then please let me know;
> otherwise I think it would be great to get this into GHC 6.6.

Why not simple represent all data declarations as GADT to the user?
Generally TH code should not care between:

data Foo = Foo Int and 
data Foo where Foo :: Int -> Foo

data B = forall Show x. B x and 
data B where B :: Show a => a -> B

But any way to support GADTs would be better than the current

- Einar Karttunen

More information about the template-haskell mailing list