[Git][ghc/ghc][wip/sand-witch/lazy-skol] Wibble

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/sand-witch/lazy-skol at Glasgow Haskell Compiler / GHC


Commits:
21b6915b by Simon Peyton Jones at 2024-01-09T14:52:57+00:00
Wibble

- - - - -


1 changed file:

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


Changes:

=====================================
compiler/GHC/Tc/Utils/Unify.hs
=====================================
@@ -418,7 +418,7 @@ tcSkolemise :: DeepSubsumptionFlag -> UserTypeCtxt -> TcSigmaType
             -> TcM (HsWrapper, result)
 tcSkolemise ds_flag ctxt expected_ty thing_inside
   = tcSkolemiseGeneral ds_flag ctxt expected_ty $ \_ rho_ty ->
-    thing_inside rho_ty)
+    thing_inside rho_ty
 
 checkConstraints :: SkolemInfoAnon
                  -> [TcTyVar]           -- Skolems



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/21b6915b1307d8c9b3a17fe1f5960dc3f6d3f399
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/20240109/ea21f365/attachment.html>