[Git][ghc/ghc][wip/soulomoon/suggest-UnliftedNewtypes-unlifted-data-family-25593] update test InstanceConKindSpecializationDataFamily

[Patrick (@soulomoon)]

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


Commits:
09abb602 by Patrick at 2025-01-05T01:42:56+08:00
update test InstanceConKindSpecializationDataFamily

- - - - -


1 changed file:

- testsuite/tests/typecheck/should_compile/InstanceConKindSpecializationDataFamily.hs


Changes:

=====================================
testsuite/tests/typecheck/should_compile/InstanceConKindSpecializationDataFamily.hs
=====================================
@@ -10,8 +10,9 @@ import GHC.Prim (Int#)
 
 -- | A data family with a kind signature
 data family T :: forall k. (k->v) -> k -> v
--- ensure the kind specialization is correctly handled in the gadt style data instance
+-- ensure the kind specialization is correctly handled in the GADT-style data instance
 -- see Note [Kind inference for data family instances]
+-- p will specialize differently in the two constructors
 data instance T p q where
       MkkT :: forall r. r Int -> T r Int
       MkkV :: forall l. l Int# -> T l Int#



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/09abb6024c317f5c1994aeaac024d8ef7a275a73
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/20250104/7e91d608/attachment.html>