diff options
| -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 |