[Git][ghc/ghc][wip/T24810] Wibble notes

Simon Peyton Jones (@simonpj) gitlab at gitlab.haskell.org
Fri May 17 16:34:46 UTC 2024



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


Commits:
7f7f070d by Simon Peyton Jones at 2024-05-17T17:34:25+01:00
Wibble notes

- - - - -


1 changed file:

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


Changes:

=====================================
compiler/GHC/Tc/Utils/Instantiate.hs
=====================================
@@ -209,7 +209,7 @@ topSkolemise skolem_info ty
   where
     init_subst = mkEmptySubst (mkInScopeSet (tyCoVarsOfType ty))
 
-    -- Why recursive?  See Note [Skolemisation en bloc]
+    -- Why recursive?  See Note [Skolemisation en-bloc]
     go subst wrap tv_prs ev_vars ty
       | (bndrs, theta, inner_ty) <- tcSplitSigmaTyBndrs ty
       , let tvs = binderVars bndrs
@@ -241,7 +241,7 @@ skolemiseRequired skolem_info n_req sigma
   where
     init_subst = mkEmptySubst (mkInScopeSet (tyCoVarsOfType sigma))
 
-    -- Why recursive?  See Note [Skolemisation en bloc]
+    -- Why recursive?  See Note [Skolemisation en-bloc]
     go n_req subst wrap acc_nms acc_bndrs ev_vars ty
       | (n_req', bndrs, inner_ty) <- tcSplitForAllTyVarsReqTVBindersN n_req ty
       , not (null bndrs)



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

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


More information about the ghc-commits mailing list