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 4cdd88399b..0d95bd72a5 100644 --- a/compiler/types/TyCoRep.hs +++ b/compiler/types/TyCoRep.hs @@ -1513,7 +1513,9 @@ coVarsOfCos cos = mapUnionVarSet coVarsOfCo cos -- | Add the kind variables free in the kinds of the tyvars in the given set. -- Returns a non-deterministic set. closeOverKinds :: TyVarSet -> TyVarSet -closeOverKinds = fvVarSet . closeOverKindsFV . varSetElems +closeOverKinds = fvVarSet . closeOverKindsFV . nonDetEltsUFM + -- It's OK to use nonDetEltsUFM here because we immediately forget + -- about the ordering by returning a set. -- | 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 |