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

[Simon Peyton Jones (@simonpj)]

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


Commits:
1b2e63f7 by Simon Peyton Jones at 2024-01-30T00:03:57+00:00
Wibbles

- - - - -


2 changed files:

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


Changes:

=====================================
compiler/GHC/Tc/Gen/Match.hs
=====================================
@@ -272,7 +272,7 @@ tcMatch tc_body pat_tys rhs_ty match
              -- Tricky point: ctxt  :: HsMatchContext (LIdP (NoGhcTc GhcRn))
              -- and we need   ctxt' :: HsMatchContext (LIdP (NoGhcTc GhcTc))
              -- but GhcNoTc GhcRn = GhcNoTc GhcTc, so all is well
-             -- See Note [mc-fun field of FunRhs] in Language.Haskell.Syntax.Expr
+             -- See Note [mc_fun field of FunRhs] in Language.Haskell.Syntax.Expr
            ; let ctxt' = ctxt
 
            ; return (wrapper, Match { m_ext   = noAnn


=====================================
compiler/GHC/Tc/Utils/Unify.hs
=====================================
@@ -383,8 +383,8 @@ tcSkolemiseGeneral
   :: DeepSubsumptionFlag
   -> UserTypeCtxt
   -> TcType -> TcType   -- top_ty and expected_ty
-        -- * top_ty is the type we started to skolemise; it is used only in SigSkol
-        -- * expected_ty is the type we are actually  skolemising
+        -- Here, top_ty      is the type we started to skolemise; used only in SigSkol
+        -- -     expected_ty is the type we are actually skolemising
         -- matchExpectedFunTys walks down the type, skolemising as it goes,
         -- keeping the same top_ty, but successively smaller expected_tys
   -> ([(Name, TcInvisTVBinder)] -> TcType -> TcM result)



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1b2e63f72e4fd5fa4cecd9a9cca22baff1a033e9
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/20240129/db035419/attachment-0001.html>