diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2019-11-28 16:01:51 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-05-14 03:31:58 -0400 |
| commit | 477f13bb4c5c2ba969d2c90890c51d7de01c5312 (patch) | |
| tree | 925e736323bfa0504b169d3f49291b15f6b828d8 /compiler/GHC/Tc/Solver.hs | |
| parent | c05c06596bd1b2852454af6243fc15ee852d2f45 (diff) | |
| download | haskell-477f13bb4c5c2ba969d2c90890c51d7de01c5312.tar.gz | |
Use Data.IntMap.disjoint
Data.IntMap gained a dedicated `disjoint` function in containers-0.6.2.1.
This patch applies this function where appropriate in hopes of modest
compiler performance improvements.
Closes #16806.
Diffstat (limited to 'compiler/GHC/Tc/Solver.hs')
| -rw-r--r-- | compiler/GHC/Tc/Solver.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Solver.hs b/compiler/GHC/Tc/Solver.hs index f790d4e98c..134b230c06 100644 --- a/compiler/GHC/Tc/Solver.hs +++ b/compiler/GHC/Tc/Solver.hs @@ -2407,7 +2407,7 @@ floatEqualities skols given_ids ev_binds_var no_given_eqs is_floatable :: VarSet -> Ct -> Bool is_floatable skols ct - | isDerivedCt ct = not (tyCoVarsOfCt ct `intersectsVarSet` skols) + | isDerivedCt ct = tyCoVarsOfCt ct `disjointVarSet` skols | otherwise = not (ctEvId ct `elemVarSet` skols) add_captured_ev_ids :: Cts -> VarSet -> VarSet |