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

git at git.haskell.org git at git.haskell.org
Sun Feb 7 19:06:49 UTC 2016


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

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

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

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

    Make exactTyCoVarsOfTypes closed over kinds.


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

ee0ff94c82ba39a627cb3dea894a25f391dce647
 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 63c06af..7395257 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