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