Template Haskell does not quantify over extra vars in class methods

If I say

[d| class Foo a where
      meth :: a -> b -> a |]

I would expect that the type signature for meth would quantify over b. It does not.

Trac metadata

Trac field	Value
Version	8.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Template Haskell
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

changed weight to 5

added Tbug TemplateHaskell Trac import labels

mentioned in commit dd99f2ec

changed milestone to %8.0.1

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.

added 1 deleted label

Trac metadata

Trac field	Value
Test case	- → th/T11797

closed

Merged as 3f7832bc.

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedFixed

removed 1 deleted label

added Pnormal label