[Git][ghc/ghc][wip/soulomoon/suggest-UnliftedNewtypes-unlifted-data-family-25593] update note [Data family/instance return kinds]

[Patrick (@soulomoon)]

Patrick pushed to branch wip/soulomoon/suggest-UnliftedNewtypes-unlifted-data-family-25593 at Glasgow Haskell Compiler / GHC


Commits:
d7fa624d by Patrick at 2025-01-10T12:35:53+08:00
update note [Data family/instance return kinds]

- - - - -


1 changed file:

- compiler/GHC/Tc/TyCl.hs


Changes:

=====================================
compiler/GHC/Tc/TyCl.hs
=====================================
@@ -2220,10 +2220,10 @@ DF0 Where these kinds come from:
 
     Instances: There are potentially *two* return kinds:
      * Master kind:
-       The data family already has a known kind. The return kind
-       of an instance is then calculated by applying the data family tycon
-       to the patterns provided, as computed by the `tcInstInvisibleTyBinders
-       lhs_ty lhs_kind` in the tcDataFamInstHeader.
+       The data family already has a known kind. The return kind of an instance
+       is then calculated by applying the data family tycon to the patterns
+       provided, as computed by the `tcFamTyPats fam_tc hs_pats` in the
+       tcDataFamInstHeader.
      * Instance kind:
        The kind specified by the user in GADT syntax. If H98 syntax is used,
        with UnliftedNewtypes/UnliftedDatatypes, it defaults to newOpenTypeKind



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/d7fa624dc5cdc4a6e20838943f84bbb0301e7a74
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/20250109/985a09f0/attachment.html>