[commit: ghc] master: In TcValidity.checkAmbiguity, skolemise kind vars that appear free in the kinds of type variables (2be99d2)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/2be99d2309471bc75ddb9cb47acda9ccbcb7ab63/ghc

>---------------------------------------------------------------

commit 2be99d2309471bc75ddb9cb47acda9ccbcb7ab63
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jun 24 22:23:29 2014 +0100

    In TcValidity.checkAmbiguity, skolemise kind vars that appear free in the kinds of type variables
    
    This was shown up by Trac #9222.


>---------------------------------------------------------------

2be99d2309471bc75ddb9cb47acda9ccbcb7ab63
 compiler/typecheck/TcValidity.lhs | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/compiler/typecheck/TcValidity.lhs b/compiler/typecheck/TcValidity.lhs
index 55498d8..8f6a773 100644
--- a/compiler/typecheck/TcValidity.lhs
+++ b/compiler/typecheck/TcValidity.lhs
@@ -74,11 +74,16 @@ checkAmbiguity ctxt ty
 
   | otherwise
   = do { traceTc "Ambiguity check for" (ppr ty)
-       ; (subst, _tvs) <- tcInstSkolTyVars (varSetElems (tyVarsOfType ty))
+       ; let free_tkvs = varSetElemsKvsFirst (closeOverKinds (tyVarsOfType ty))
+       ; (subst, _tvs) <- tcInstSkolTyVars free_tkvs
        ; let ty' = substTy subst ty
-              -- The type might have free TyVars,
-              -- so we skolemise them as TcTyVars
+              -- The type might have free TyVars, esp when the ambiguity check
+              -- happens during a call to checkValidType,
+              -- so we skolemise them as TcTyVars.
               -- Tiresome; but the type inference engine expects TcTyVars
+              -- NB: The free tyvar might be (a::k), so k is also free
+              --     and we must skolemise it as well. Hence closeOverKinds.
+              --     (Trac #9222)
 
          -- Solve the constraints eagerly because an ambiguous type
          -- can cause a cascade of further errors.  Since the free