[Git][ghc/ghc][wip/soulomoon/suggest-UnliftedNewtypes-unlifted-data-family-25593] Refine the note

[Patrick (@soulomoon)]

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


Commits:
39515181 by Patrick at 2025-01-10T01:44:55+08:00
Refine the note

- - - - -


1 changed file:

- compiler/GHC/Tc/TyCl.hs


Changes:

=====================================
compiler/GHC/Tc/TyCl.hs
=====================================
@@ -2229,9 +2229,9 @@ DF0 Where these kinds come from:
        with UnliftedNewtypes/UnliftedDatatypes, it defaults to newOpenTypeKind
        for newtypes/datatypes, otherwise it defaults to liftedTypeKind.
        This is checked or defaulted by the tc_kind_sig function within
-       tcDataFamInstHeader. Defaulting can be tricky since it is guiding
-       instantiation (Note [Defaulting result kind of newtype/data family instance]).
-       See also DF3, below.
+       tcDataFamInstHeader. Defaulting can be tricky for some cases,
+       See Note [Defaulting result kind of newtype/data family instance].
+     See also DF3, below.
 
 DF1 In a data/newtype instance, we treat the kind of the /data family/,
     once instantiated, as the "master kind" for the representation



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/39515181ddeca204f32724eacb04ac822fdf0153
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/586fc1ba/attachment.html>