[Git][ghc/ghc][wip/soulomoon/suggest-UnliftedNewtypes-unlifted-data-family-25593] Fix T25593

[Patrick (@soulomoon)]

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


Commits:
578f5c56 by Patrick at 2025-01-04T13:33:56+08:00
Fix T25593

- - - - -


2 changed files:

- testsuite/tests/indexed-types/should_fail/T25593.hs
- testsuite/tests/indexed-types/should_fail/T25593.stderr


Changes:

=====================================
testsuite/tests/indexed-types/should_fail/T25593.hs
=====================================
@@ -4,3 +4,5 @@ import GHC.Exts
 
 data family A s a :: UnliftedType
 newtype instance A s Int = A_Int (MutVar# s Int)
+
+newtype B s = B (MutVar# s Int)


=====================================
testsuite/tests/indexed-types/should_fail/T25593.stderr
=====================================
@@ -1,5 +1,11 @@
-T25593.hs:6:1: [GHC-55233]
-     Newtype instance has non-* return kind ‘UnliftedType’
-     In the newtype instance declaration for ‘A’
-     Suggested fix:
+T25593.hs:6:1: error: [GHC-55233]
+    • Newtype instance has non-* return kind ‘UnliftedType’
+    • In the newtype instance declaration for ‘A’
+    Suggested fix:
+      Perhaps you intended to use the ‘UnliftedNewtypes’ extension
+
+T25593.hs:8:1: error: [GHC-55233]
+    • Newtype has non-* return kind ‘UnliftedType’
+    • In the newtype declaration for ‘B’
+    Suggested fix:
       Perhaps you intended to use the ‘UnliftedNewtypes’ extension
\ No newline at end of file



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

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