#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