[Git][ghc/ghc][wip/T25657] Wibble comments [skip ci]

[Simon Peyton Jones (@simonpj)]

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


Commits:
b4758f0b by Simon Peyton Jones at 2025-03-05T22:48:56+00:00
Wibble comments [skip ci]

- - - - -


1 changed file:

- compiler/GHC/Core/Unify.hs


Changes:

=====================================
compiler/GHC/Core/Unify.hs
=====================================
@@ -422,16 +422,14 @@ tcUnifyTys bind_fn tys1 tys2
       Unifiable result -> Just result
       _                -> Nothing
 
--- | @tcUnifyTysFG bind_tv tys1 tys2@ attempts to find a substitution @s@ (whose
--- domain elements all respond 'BindMe' to @bind_tv@) such that
--- @s(tys1)@ and that of @s(tys2)@ are equal, as witnessed by the returned
--- Coercions. This version requires that the kinds of the types are the same,
--- if you unify left-to-right.
+-- | `tcUnifyTysFG` does "fine-grained" unification of `tys1` and `tys2`
+-- See Note [Fine-grained unification].
+-- This version requires that the kinds of the types are the same,
+-- provided you unify them left-to-right.
 tcUnifyTysFG :: BindFamFun -> BindTvFun
              -> [Type] -> [Type]
              -> UnifyResult
-tcUnifyTysFG bind_fam bind_tv tys1 tys2
-  = tc_unify_tys_fg False bind_fam bind_tv tys1 tys2
+tcUnifyTysFG = tc_unify_tys_fg False  -- False: don't match kinds
 
 tc_unify_tys_fg :: Bool
                 -> BindFamFun -> BindTvFun



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

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