[Git][ghc/ghc][wip/soulomoon/suggest-UnliftedNewtypes-unlifted-data-family-25593] arrange the fix to 25593 to another branch

[Patrick (@soulomoon)]

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


Commits:
db9d9ee3 by Patrick at 2025-01-08T15:13:22+08:00
arrange the fix to 25593 to another branch

- - - - -


3 changed files:

- − testsuite/tests/indexed-types/should_fail/T25593.hs
- − testsuite/tests/indexed-types/should_fail/T25593.stderr
- testsuite/tests/indexed-types/should_fail/all.T


Changes:

=====================================
testsuite/tests/indexed-types/should_fail/T25593.hs deleted
=====================================
@@ -1,8 +0,0 @@
-{-# LANGUAGE MagicHash #-}
-{-# LANGUAGE TypeFamilies #-}
-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 deleted
=====================================
@@ -1,11 +0,0 @@
-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


=====================================
testsuite/tests/indexed-types/should_fail/all.T
=====================================
@@ -171,5 +171,4 @@ test('T20521', normal, compile_fail, [''])
 test('T21896', normal, compile_fail, [''])
 test('HsBootFam', [extra_files(['HsBootFam_aux.hs','HsBootFam_aux.hs-boot'])], multimod_compile_fail, ['HsBootFam', ''])
 test('BadFamInstDecl', [extra_files(['BadFamInstDecl_aux.hs'])], multimod_compile_fail, ['BadFamInstDecl', ''])
-test('T19773', [], multimod_compile_fail, ['T19773', '-Wall'])
-test('T25593', normal, compile_fail, [''])
\ No newline at end of file
+test('T19773', [], multimod_compile_fail, ['T19773', '-Wall'])
\ No newline at end of file



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/db9d9ee3ddc2ecd3053fac6c4f7bd132f082a54c
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/20250108/147a48c4/attachment-0001.html>