#4188: Template Haskell support for reifying non-vanilla data constructors
---------------------------------+------------------------------------------
Reporter: illissius | Owner: illissius
Type: feature request | Status: new
Priority: normal | Component: Template Haskell
Version: | Keywords:
Os: Unknown/Multiple | Testcase:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by illissius):
Patches above. Current approach is that declarations with GADT syntax are
accepted if they are vanilla, because the existing code (which only
supports vanilla declarations) does the same, in order to keep backwards
compatibility; for non-vanilla decs they are rejected, and only the normal
syntax is accepted. Comments are welcome on this: I don't know how
important total backwards compatibility is, and I don't imagine too many
people declare their vanilla ADTs using GADT syntax, but that's just a
guess.
*However*, it doesn't currently work: I think I'm running into a bug
elsewhere in the code. Namely, isGadtSyntaxTyCon seems to very
consistently return the opposite result from what one would expect: False
for GADTs and True for normal ADTs (syntax-wise). I'm trying to track it
down, but if someone else with more knowledge of the code could look into
it that would be much appreciated.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4188#comment:2>
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
