[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:  #4188, #5217      |  Differential Rev(s):  Phab:D1465
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Jan Stolarek <jan.stolarek@…>):

 In [changeset:"eeecb8647585ad9eea0554b2f97a3645d2c59f88/ghc" eeecb86/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="eeecb8647585ad9eea0554b2f97a3645d2c59f88"
 Add proper GADTs support to Template Haskell

 Until now GADTs were supported in Template Haskell by encoding them using
 normal data types.  This patch adds proper support for representing GADTs
 in TH.

 Test Plan: T10828

 Reviewers: goldfire, austin, bgamari

 Subscribers: thomie, mpickering

 Differential Revision: https://phabricator.haskell.org/D1465

 GHC Trac Issues: #10828
 }}}

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