[Git][ghc/ghc][wip/T23923-mikolaj-take-2] Try out a variant of Simon's fix to the second perf problem

[Mikolaj Konarski (@Mikolaj)]

Mikolaj Konarski pushed to branch wip/T23923-mikolaj-take-2 at Glasgow Haskell Compiler / GHC


Commits:
7e0adeab by Mikolaj Konarski at 2024-04-06T17:36:43+02:00
Try out a variant of Simon's fix to the second perf problem

- - - - -


1 changed file:

- compiler/GHC/Core/TyCo/FVs.hs


Changes:

=====================================
compiler/GHC/Core/TyCo/FVs.hs
=====================================
@@ -668,7 +668,8 @@ tyCoFVsOfCoVar v fv_cand in_scope acc
 tyCoFVsOfProv :: UnivCoProvenance -> FV
 tyCoFVsOfProv (PhantomProv co)    fv_cand in_scope acc = tyCoFVsOfCo co fv_cand in_scope acc
 tyCoFVsOfProv (ProofIrrelProv co) fv_cand in_scope acc = tyCoFVsOfCo co fv_cand in_scope acc
-tyCoFVsOfProv (PluginProv _ cvs)  fv_cand in_scope acc = mkFVs (dVarSetElems cvs) fv_cand in_scope acc
+tyCoFVsOfProv (PluginProv _ cvs)  _ _ (have, haveSet) =
+  (dVarSetElems cvs ++ have, dVarSetToVarSet cvs `unionVarSet` haveSet)
 
 tyCoFVsOfCos :: [Coercion] -> FV
 tyCoFVsOfCos []       fv_cand in_scope acc = emptyFV fv_cand in_scope acc



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7e0adeab973de7cafb24770875d59c7befa2582b

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7e0adeab973de7cafb24770875d59c7befa2582b
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20240406/c9f9ea19/attachment.html>