[GHC] #11145: Template Haskell quotes of data instance GADTs is totally broken

[GHC]

#11145: Template Haskell quotes of data instance GADTs is totally broken
-------------------------------------+-------------------------------------
           Reporter:  goldfire       |             Owner:
               Type:  bug            |            Status:  new
           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 Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 When I say

 {{{
 data family Fuggle x y
 [d| data instance Fuggle Int (Maybe (a,b)) where
       MkFuggle :: Fuggle Int (Maybe Bool) |]
 }}}

 I get (with `-ddump-splices`)

 {{{
     [d| data instance Fuggle Int (Maybe (a_ajz6, b_ajz7))
           where MkFuggle_ajz5 :: Fuggle Int (Maybe Bool) |]
   ======>
     data instance Fuggle Int (Maybe (a_ajAf, b_ajAg))
       = (b_ajAg ~ Maybe Bool, a_ajAf ~ Int) => MkFuggle_ajAe
 }}}

 But that's not at all what I said! Admittedly, what I said was garbage,
 but it should fail outright.

 Is this addressed by Phab:D1465?

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