[Git][ghc/ghc][wip/T25647] fix

[Patrick (@soulomoon)]

Patrick pushed to branch wip/T25647 at Glasgow Haskell Compiler / GHC


Commits:
7dca599f by Patrick at 2025-03-14T07:46:02+08:00
fix

- - - - -


1 changed file:

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


Changes:

=====================================
compiler/GHC/Tc/Utils/TcMType.hs
=====================================
@@ -1786,7 +1786,7 @@ quantifyTyVarsWithBinders skol_info dvs outer_wcs_imp_tvs
        ; undefaulted <- defaultTyVars $ dvs `delCandidates` outer_wcs_imp_tvs
        ; final_qtvs  <- liftZonkM $ do
             -- resume order and then skolemise
-            qtvs <- mapMaybeM zonk_quant $ dvs `intersectCandidates` (undefaulted ++ outer_wcs_imp_tvs)
+            qtvs <- mapMaybeM zonk_quant $ undefaulted ++ outer_wcs_imp_tvs
             return qtvs
 
        ; traceTc "quantifyTyVars }"



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7dca599f89be578ba5d4db44437930e3637d928a
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/20250313/be1c685d/attachment.html>