[Git][ghc/ghc][wip/T24810] Wibble
Simon Peyton Jones (@simonpj)
gitlab at gitlab.haskell.org
Fri May 17 15:58:23 UTC 2024
Simon Peyton Jones pushed to branch wip/T24810 at Glasgow Haskell Compiler / GHC
Commits:
0e0672a4 by Simon Peyton Jones at 2024-05-17T16:58:09+01:00
Wibble
- - - - -
1 changed file:
- compiler/GHC/Tc/Utils/Unify.hs
Changes:
=====================================
compiler/GHC/Tc/Utils/Unify.hs
=====================================
@@ -828,7 +828,7 @@ matchExpectedFunTys herald ctx arity (Check top_ty) thing_inside
= assert (isVisibleFunArg af) $
do { let arg_pos = arity - n_req + 1 -- 1 for the first argument etc
; (arg_co, arg_ty) <- hasFixedRuntimeRep (FRRExpectedFunTy herald arg_pos) arg_ty
- ; (wrap_res, result) <- check arg_pos
+ ; (wrap_res, result) <- check (n_req - 1)
(mkCheckExpFunPatTy (Scaled mult arg_ty) : rev_pat_tys)
res_ty
; let wrap_arg = mkWpCastN arg_co
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/0e0672a4e2bbf2449228044e2fb7eb5017fb5ec5
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/0e0672a4e2bbf2449228044e2fb7eb5017fb5ec5
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/20240517/a3355f7a/attachment.html>
More information about the ghc-commits
mailing list