Template Haskell support for GADTs
Andres Loh asks that Template Haskell supports GADTs.
Related tickets: #2399 (closed) (support view patterns), #1262 (closed) (support mdo/do rec).
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
HsSyntoTH.Syntax(these are inhsSyn/Convert.lhsanddeSugar/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).
Trac metadata
| Trac field | Value |
|---|---|
| Version | 6.10.4 |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | MartijnVanSteenbergen, andres@cs.uu.nl, philip.weaver@gmail.com |
| Operating system | |
| Architecture |