[Git][ghc/ghc][wip/sand-witch/lazy-skol-exp-pat-tys] fixup! Lazy skolemisation for @a-binders (17594)

[Andrei Borzenkov (@sand-witch)]

Andrei Borzenkov pushed to branch wip/sand-witch/lazy-skol-exp-pat-tys at Glasgow Haskell Compiler / GHC


Commits:
a612141e by Andrei Borzenkov at 2023-12-14T22:47:42+04:00
fixup! Lazy skolemisation for @a-binders (17594)

- - - - -


1 changed file:

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


Changes:

=====================================
compiler/GHC/Tc/Utils/Unify.hs
=====================================
@@ -401,7 +401,7 @@ match_expected_fun_tys herald ctx arity imp_pat_tys orig_ty thing_inside
       | (tvs, theta, _) <- tcSplitSigmaTy ty  -- Invisible binders only!
       , not (null tvs && null theta)          -- Visible ones handled below
       = do { (wrap_gen, (wrap_res, result)) <- tcTopSkolemise ctx ty $ \imp_ty_pats ty' ->
-                      go (acc_arg_tys ++ reverse (map mkInvisExpPatType imp_ty_pats)) n ty'
+                      go (reverse (map mkInvisExpPatType imp_ty_pats) ++ acc_arg_tys) n ty'
            ; return (wrap_gen <.> wrap_res, result) }
 
     -- No more args; do this /before/ coreView, so



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a612141e7858ac7024c73b21c3466aad738f7081
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/20231214/e35439c2/attachment.html>