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 Rev(s):|
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
- Get a consensus that the design is a good one
- Update pretty printers etc
- Add conversions to and from from
TH.Syntax(these are in
For the first two steps, the best plan might be to use the libraries process (ie make a proposal, give a discussion period etc).