#3497: Template Haskell support for GADTs
-------------------------------+--------------------------------------------
Reporter: simonpj | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: 6.14 branch
Component: Compiler | Version: 6.10.4
Severity: normal | Keywords:
Difficulty: Unknown | Testcase:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
-------------------------------+--------------------------------------------
Andres Loh asks that Template Haskell supports GADTs.
Related tickets: #2399 (support view patterns), #1262 (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` 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).
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3497>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
