[GHC] #11797: Template Haskell does not quantify over extra vars in class methods

[GHC]

#11797: Template Haskell does not quantify over extra vars in class methods
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:
            Type:  bug               |               Status:  merge
        Priority:  normal            |            Milestone:  8.0.1
       Component:  Template Haskell  |              Version:  8.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by goldfire):

 * status:  new => merge
 * milestone:   => 8.0.1


Comment:

 This has perhaps unfortunate user-facing consequences, in that kind vars
 in type signatures now appear in quotes. Specifically `foo :: Proxy (a ::
 k) -> ()` now gets quantified over `k` and `a` when being quoted. This
 could cause trouble for someone trying to quote and then splice, who
 suddenly needs `-XTypeInType` to succeed. The problem is that I don't know
 how to reliably (and uninvasively) tell the type vars from the kind vars.

 This patch is needed for `singletons`, but I can work around if it's too
 late to merge.

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