Re: GADTs

Ian Lynagh <[email protected]> Sat, 12 Aug 2006 10:26:12 +0100

Newsgroups	gmane.comp.lang.haskell.template
Message-ID	<[email protected]>

On Sat, Aug 12, 2006 at 10:26:06AM +0300, Einar Karttunen wrote:
> 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?

Because GADTs cannot represent record constructors. I didn't make GadtC
a constructor for Con as I don't think you could pretty-print a
datatype with both GADT and record constructors.

Also, TH tries to present the completely sugared language to the user;
otherwise it would probably work on something more like core.

Thanks
Ian