#4188: Template Haskell support for reifying non-vanilla data constructors
---------------------------------+------------------------------------------
Reporter: illissius | Owner: illissius
Type: feature request | Status: patch
Priority: normal | Milestone:
Component: Template Haskell | Version:
Keywords: | Difficulty:
Os: Unknown/Multiple | Testcase:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by simonpj):
You are right that the existing TH data type can represent any data
constructor that doesn't use equality predicates. I have a variant of
your patch that reflects this constraint directly, and is slightly tidier
than yours (no complaints -- the internal APIs are large). Will commit
shortly. Thanks for doing the homework.
(There's still an open task on someone to design the extensions to the TH
data type to support full GADTs, and to get consensus from the community.)
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4188#comment:4>
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
