[commit: ghc] wip/rae: Make exactTyCoVarsOfTypes closed over kinds. (cccaccf)
git at git.haskell.org
git at git.haskell.org
Mon Feb 15 15:38:34 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/rae
Link : http://ghc.haskell.org/trac/ghc/changeset/cccaccf702fd704a4795546fbdfa66e61a761e74/ghc
>---------------------------------------------------------------
commit cccaccf702fd704a4795546fbdfa66e61a761e74
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date: Thu Jan 28 17:39:03 2016 -0500
Make exactTyCoVarsOfTypes closed over kinds.
>---------------------------------------------------------------
cccaccf702fd704a4795546fbdfa66e61a761e74
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