Make exactTyCoVarsOfTypes closed over kinds.
authorRichard Eisenberg <eir@cis.upenn.edu>
Thu, 28 Jan 2016 22:39:03 +0000 (17:39 -0500)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 17 Feb 2016 18:16:00 +0000 (13:16 -0500)
compiler/typecheck/TcType.hs

index 285f7b7..c542b56 100644 (file)
@@ -750,7 +750,7 @@ exactTyCoVarsOfType ty
   = go ty
   where
     go ty | Just ty' <- coreView ty = go ty'  -- This is the key line
-    go (TyVarTy tv)         = unitVarSet tv
+    go (TyVarTy tv)         = unitVarSet tv `unionVarSet` go (tyVarKind tv)
     go (TyConApp _ tys)     = exactTyCoVarsOfTypes tys
     go (LitTy {})           = emptyVarSet
     go (AppTy fun arg)      = go fun `unionVarSet` go arg