[Git][ghc/ghc][wip/soulomoon/25647-allow-newtype-instance-in-gadt-syntax] move T18891a from should_fail to should_compile

[Patrick (@soulomoon)]

Patrick pushed to branch wip/soulomoon/25647-allow-newtype-instance-in-gadt-syntax at Glasgow Haskell Compiler / GHC


Commits:
7cf6d7a0 by Patrick at 2025-01-12T22:13:44+08:00
move T18891a from should_fail to should_compile

- - - - -


4 changed files:

- testsuite/tests/typecheck/should_fail/T18891a.hs → testsuite/tests/typecheck/should_compile/T18891a.hs
- testsuite/tests/typecheck/should_compile/all.T
- − testsuite/tests/typecheck/should_fail/T18891a.stderr
- testsuite/tests/typecheck/should_fail/all.T


Changes:

=====================================
testsuite/tests/typecheck/should_fail/T18891a.hs → testsuite/tests/typecheck/should_compile/T18891a.hs
=====================================


=====================================
testsuite/tests/typecheck/should_compile/all.T
=====================================
@@ -931,4 +931,5 @@ test('T23501b', normal, compile, [''])
 test('T25266', normal, compile, [''])
 test('T25266a', normal, compile_fail, [''])
 test('T25266b', normal, compile, [''])
-test('T25597', normal, compile, [''])
\ No newline at end of file
+test('T25597', normal, compile, [''])
+test('T18891a', normal, compile, [''])
\ No newline at end of file


=====================================
testsuite/tests/typecheck/should_fail/T18891a.stderr deleted
=====================================
@@ -1,12 +0,0 @@
-
-T18891a.hs:8:4: error: [GHC-89498]
-    • A newtype must not be a GADT
-      MkN1 :: N1 @GHC.Types.LiftedRep -> N1 @GHC.Types.LiftedRep
-    • In the definition of data constructor ‘MkN1’
-      In the newtype declaration for ‘N1’
-
-T18891a.hs:12:3: error: [GHC-89498]
-    • A newtype must not be a GADT
-      MkN2 :: N2 @GHC.Types.LiftedRep -> N2 @GHC.Types.LiftedRep
-    • In the definition of data constructor ‘MkN2’
-      In the newtype declaration for ‘N2’


=====================================
testsuite/tests/typecheck/should_fail/all.T
=====================================
@@ -604,7 +604,6 @@ test('T18640c', normal, compile_fail, [''])
 test('T10709', normal, compile_fail, [''])
 test('T10709b', normal, compile_fail, [''])
 test('GivenForallLoop', normal, compile_fail, [''])
-test('T18891a', normal, compile_fail, [''])
 test('T19109', normal, compile_fail, [''])
 test('T17139', [extra_files(['T17139a.hs'])], multimod_compile_fail, ['T17139', '-v0'])
 test('TyAppPat_ExistentialEscape', normal, compile_fail, [''])



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

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