[Git][ghc/ghc][wip/T24676] Do a qlUnify when resuming

[Simon Peyton Jones (@simonpj)]

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


Commits:
bb5e111d by Simon Peyton Jones at 2024-04-25T10:05:58+02:00
Do a qlUnify when resuming

...tricky!

- - - - -


1 changed file:

- compiler/GHC/Tc/Gen/App.hs


Changes:

=====================================
compiler/GHC/Tc/Gen/App.hs
=====================================
@@ -519,7 +519,9 @@ tcValArg do_ql (EValArgQL { eaql_ctxt    = ctxt
                  -- type ActionM a = forall m . (..) => ActionT (Draw m) a
                do { case mb_delta of
                        Nothing              -> return ()
-                       Just (delta, wanted) -> do { demoteQLDelta delta
+                       Just (delta, wanted) -> do { qlUnify delta arg_rho res_rho
+                                                    -- ToDo: tricky point, needs documentation
+                                                  ; demoteQLDelta delta
                                                   ; emitConstraints wanted }
                   ; finishApp do_ql rn_expr rn_head tc_fun inst_args res_rho
                               (Check arg_rho) }



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/bb5e111d2980c930201a3df83158d1323e089b60
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/20240425/531d19cf/attachment.html>