Template Haskell support for GADTs
|Reported by:||simonpj||Owned by:|
|Keywords:||Cc:||andres@…, philip.weaver@…, MartijnVanSteenbergen, ariep@…, tora@…, illissius@…|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Revisions:|
Andres Loh asks that Template Haskell supports GADTs.
Really all that is needed here is for some motivated person to
- Design the data types in Language.Haskell.TH.Syntax
- Get a consensus that the design is a good one
- Update pretty printers etc
- Add conversions to and from from HsSyn to TH.Syntax (these are in hsSyn/Convert.lhs and deSugar/DsMeta.lhs).
For the first two steps, the best plan might be to use the libraries process (ie make a proposal, give a discussion period etc).