[GHC] #10828: TH could do a better job of representing GADTs

[GHC]

#10828: TH could do a better job of representing GADTs
-------------------------------------+-------------------------------------
        Reporter:  spinda            |                Owner:  jstolarek
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:  8.0.1
       Component:  Template Haskell  |              Version:  7.10.2
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 Replying to [comment:11 jstolarek]:
 > My intention was to nest `GadtC` inside `ForallC`. Is there any reason
 why this wouldn't work?
 Good point. That would work well.

 The documentation should make clear that, unlike other constructor forms,
 GADT constructors do ''not'' have the type variables from the declaration
 head in scope.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10828#comment:12>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler