[Git][ghc/ghc][wip/soulomoon/25647-allow-newtype-instance-in-gadt-syntax] Move T21447 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:
98985731 by Patrick at 2025-01-12T22:17:54+08:00
Move T21447 from should_fail to should_compile

- - - - -


4 changed files:

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


Changes:

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


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


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


=====================================
testsuite/tests/typecheck/should_fail/all.T
=====================================
@@ -661,7 +661,6 @@ test('T21338', normal, compile_fail, [''])
 test('T21158', normal, compile_fail, [''])
 test('DataToTagFails', normal, compile_fail, [''])
 test('MissingDefaultMethodBinding', normal, compile_fail, [''])
-test('T21447', normal, compile_fail, [''])
 test('T21530a', normal, compile_fail, [''])
 test('T21530b', normal, compile_fail, [''])
 test('Or4', normal, compile_fail, [''])



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9898573198562d1a50697ea77520629fc4d15a8f
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/6ebbcb2e/attachment-0001.html>