[GHC] #8577: Polymorphism and typed TH

[GHC]

#8577: Polymorphism and typed TH
------------------------------------+-------------------------------------
       Reporter:  monoidal          |             Owner:
           Type:  bug               |            Status:  new
       Priority:  normal            |         Milestone:
      Component:  Template Haskell  |           Version:  7.6.3
       Keywords:                    |  Operating System:  Unknown/Multiple
   Architecture:  Unknown/Multiple  |   Type of failure:  None/Unknown
     Difficulty:  Unknown           |         Test Case:
     Blocked By:                    |          Blocking:
Related Tickets:                    |
------------------------------------+-------------------------------------
 Consider

 {{{
 data A a = A
 x = [||A||]
 y = x :: Q (TExp (A Int))
 }}}

 `$$x` is given type `A a`, as expected. However, `$$y` is also given type
 `A a`. I would expect it to be `A Int`. In other words, given `p :: Q
 (TExp T1), $$p :: T2` I think GHC should verify the equation `T1 ~ T2`.

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