[GHC] #10828: TH can't represent all GADTs in its AST

2 Sep 2015

      #10828: TH can't represent all GADTs in its AST
-------------------------------------+-------------------------------------
              Reporter:  spinda      |             Owner:
                  Type:  feature     |            Status:  new
  request                            |
              Priority:  normal      |         Milestone:
             Component:  Template    |           Version:  7.10.2
  Haskell                            |
              Keywords:              |  Operating System:  Unknown/Multiple
          Architecture:              |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
             Test Case:              |        Blocked By:
              Blocking:              |   Related Tickets:
Differential Revisions:              |
-------------------------------------+-------------------------------------
 For example, it's impossible to add a kind signature on a data type with
 `DataD`.

 In {{{Con}}} I believe it's possible to encode GADT constructor signatures
 using {{{NormalC}}} (haven't tried this yet), but ideally there would be
 another constructor specific to GADTs to go along with {{{RecC}}},
 {{{InfixC}}}, and {{{ForallC}}}.

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10828
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler