12 Aug
2006
12 Aug
'06
7:26 a.m.
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 situation. - Einar Karttunen