[Git][ghc/ghc][wip/T24978] Wibble

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T24978 at Glasgow Haskell Compiler / GHC


Commits:
252f2991 by Simon Peyton Jones at 2024-06-11T23:00:52+01:00
Wibble

- - - - -


1 changed file:

- compiler/GHC/Tc/Utils/TcMType.hs


Changes:

=====================================
compiler/GHC/Tc/Utils/TcMType.hs
=====================================
@@ -1564,9 +1564,10 @@ collect_cand_qtvs_co orig_ty cur_lvl bound = go_co
     go_co dv (FunCo _ _ _ w co1 co2) = foldlM go_co dv [w, co1, co2]
     go_co dv (AxiomInstCo _ _ cos)   = foldlM go_co dv cos
     go_co dv (AxiomRuleCo _ cos)     = foldlM go_co dv cos
-    go_co dv (UnivCo { uco_lty = t1, uco_rty = t2 })
+    go_co dv (UnivCo { uco_lty = t1, uco_rty = t2, uco_cvs = cvs })
                                      = do { dv1 <- collect_cand_qtvs orig_ty True cur_lvl bound dv t1
-                                          ; collect_cand_qtvs orig_ty True cur_lvl bound dv1 t2 }
+                                          ; dv2 <- collect_cand_qtvs orig_ty True cur_lvl bound dv1 t2
+                                          ; strictFoldDVarSet zt_cv (return dv2) cvs }
     go_co dv (SymCo co)              = go_co dv co
     go_co dv (TransCo co1 co2)       = foldlM go_co dv [co1, co2]
     go_co dv (SelCo _ co)            = go_co dv co



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/252f2991c2e031586bb6869129bd51f0300a344c

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/252f2991c2e031586bb6869129bd51f0300a344c
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/20240611/e7c5a136/attachment-0001.html>