diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-01-28 17:39:03 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-02-17 13:16:00 -0500 |
| commit | b962bcc609cf3239d61ba281ca0eccc3cd89d99d (patch) | |
| tree | d06ac87ec650690200c29216504d231cbaacbd83 | |
| parent | 4c6e95e4f92516a925fd2a1bce0c0f8b5b9cbd17 (diff) | |
| download | haskell-b962bcc609cf3239d61ba281ca0eccc3cd89d99d.tar.gz | |
Make exactTyCoVarsOfTypes closed over kinds.
| -rw-r--r-- | compiler/typecheck/TcType.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcType.hs b/compiler/typecheck/TcType.hs index 285f7b7f5d..c542b56520 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 |