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
HsSyn
toTH.Syntax
(these are inhsSyn/Convert.lhs
anddeSugar/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 |