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