[commit: ghc] wip/rae: Make exactTyCoVarsOfTypes closed over kinds. (b962bcc)

git at git.haskell.org git at git.haskell.org
Wed Feb 17 18:16:07 UTC 2016


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

On branch  : wip/rae
Link       : http://ghc.haskell.org/trac/ghc/changeset/b962bcc609cf3239d61ba281ca0eccc3cd89d99d/ghc

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

commit b962bcc609cf3239d61ba281ca0eccc3cd89d99d
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Thu Jan 28 17:39:03 2016 -0500

    Make exactTyCoVarsOfTypes closed over kinds.


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

b962bcc609cf3239d61ba281ca0eccc3cd89d99d
 compiler/typecheck/TcType.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcType.hs b/compiler/typecheck/TcType.hs
index 285f7b7..c542b56 100644
--- a/compiler/typecheck/TcType.hs
+++ b/compiler/typecheck/TcType.hs
@@ -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



More information about the ghc-commits mailing list