[Git][ghc/ghc][wip/soulomoon/25647-allow-newtype-instance-in-gadt-syntax] update T23308

[Patrick (@soulomoon)]

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


Commits:
f4c6c17c by Patrick at 2025-01-12T19:38:25+08:00
update T23308

- - - - -


1 changed file:

- testsuite/tests/typecheck/should_fail/T23308.stderr


Changes:

=====================================
testsuite/tests/typecheck/should_fail/T23308.stderr
=====================================
@@ -24,24 +24,12 @@ T23308.hs:28:20: error: [GHC-45219]
     • In the definition of data constructor ‘B3’
       In the newtype declaration for ‘B3’
 
-T23308.hs:33:22: error: [GHC-89498]
-    • A newtype must not be a GADT
-      B4 :: C4 -> B4 Int
-    • In the definition of data constructor ‘B4’
-      In the newtype declaration for ‘B4’
-
 T23308.hs:38:22: error: [GHC-17440]
     • A newtype constructor must not have a context in its type
       B5 :: forall a. Num a => B5 (a, a)
     • In the definition of data constructor ‘B5’
       In the newtype declaration for ‘B5’
 
-T23308.hs:38:22: error: [GHC-89498]
-    • A newtype must not be a GADT
-      B5 :: forall a. Num a => B5 (a, a)
-    • In the definition of data constructor ‘B5’
-      In the newtype declaration for ‘B5’
-
 T23308.hs:38:22: error: [GHC-23517]
     • A newtype constructor must have exactly one field
         but ‘B5’ has none



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

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