[Git][ghc/ghc][wip/T24676] Wibble

[Simon Peyton Jones (@simonpj)]

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


Commits:
41d4ce53 by Simon Peyton Jones at 2024-05-29T08:27:27+01:00
Wibble

- - - - -


1 changed file:

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


Changes:

=====================================
compiler/GHC/Tc/Gen/App.hs
=====================================
@@ -357,9 +357,9 @@ tcApp rn_expr exp_res_ty
 
            DoQL -> case exp_res_ty of
                      Check res_ty ->
-                       do { res_wrap <- unifyResTy rn_expr fun_ctxt tc_fun inst_args app_res_rho res_ty
+                       do { qlUnify app_res_rho res_ty
                           ; monomorphiseQLInstVars inst_args app_res_rho
-                          ; return res_wrap }
+                          ; unifyResTy rn_expr fun_ctxt tc_fun inst_args app_res_rho res_ty }
                      Infer inf_res ->
                        do { monomorphiseQLInstVars inst_args app_res_rho
                           ; co <- fillInferResult app_res_rho inf_res



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/41d4ce53d4be572ce70b683752d1ac03940037c7
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/20240529/b87208d3/attachment.html>