diff options
author | Tobias Dammers <tdammers@gmail.com> | 2018-09-13 08:50:41 +0200 |
---|---|---|
committer | Tobias Dammers <tdammers@gmail.com> | 2018-09-13 08:50:41 +0200 |
commit | f3dd2ff01cb2e5731cd5bcae00580754817508cd (patch) | |
tree | 45ed90b932a4d889c01bc9846d9f1a4330d6ecf5 | |
parent | 17732b472bebbe0341f6992dce6bd259e176725c (diff) | |
download | haskell-wip/T14880-2-step2.tar.gz |
Fix closeOverKinds to use unclosed sets internallywip/T14880-2-step2
-rw-r--r-- | compiler/types/TyCoRep.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs index 282328073a..1f33ca675d 100644 --- a/compiler/types/TyCoRep.hs +++ b/compiler/types/TyCoRep.hs @@ -1899,7 +1899,9 @@ coVarsOfCos = mapUnionVarSet coVarsOfCo -- Returns a non-deterministic set. closeOverKinds :: TyVarSet -> TyVarSet closeOverKinds tvs = - mapUnionVarSetSet (tyCoVarsOfType . tyVarKind) tvs `unionVarSet` tvs + mapUnionVarSetSet (tvs_of_type . tyVarKind) tvs `unionVarSet` tvs + where + tvs_of_type ts = ty_co_vars_of_type ts emptyVarSet emptyVarSet -- | Given a list of tyvars returns a deterministic FV computation that -- returns the given tyvars with the kind variables free in the kinds of the |