[Git][ghc/ghc][wip/soulomoon/suggest-UnliftedNewtypes-unlifted-data-family-25593] update Test `UnliftedNewtypesFamilyKindFail2`, `UnliftedNewtypesInstanceFail`...

[Patrick (@soulomoon)]

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


Commits:
ef44934c by Patrick at 2025-01-05T15:20:28+08:00
update Test `UnliftedNewtypesFamilyKindFail2`, `UnliftedNewtypesInstanceFail` for additional warning introduced by reintroduce datafam decls in kind check.

- - - - -


2 changed files:

- testsuite/tests/typecheck/should_fail/UnliftedNewtypesFamilyKindFail2.stderr
- testsuite/tests/typecheck/should_fail/UnliftedNewtypesInstanceFail.stderr


Changes:

=====================================
testsuite/tests/typecheck/should_fail/UnliftedNewtypesFamilyKindFail2.stderr
=====================================
@@ -5,3 +5,11 @@ UnliftedNewtypesFamilyKindFail2.hs:12:20: error: [GHC-83865]
     • In the first argument of ‘F’, namely ‘5’
       In the newtype instance declaration for ‘F’
 
+UnliftedNewtypesFamilyKindFail2.hs:12:31: [GHC-83865]
+     Expected a type,
+      but ‘5’ has kind
+      ‘GHC.Internal.Bignum.Natural.Natural’
+     In the first argument of ‘F’, namely ‘5’
+      In the type ‘(F 5)’
+      In the definition of data constructor ‘MkF’
+


=====================================
testsuite/tests/typecheck/should_fail/UnliftedNewtypesInstanceFail.stderr
=====================================
@@ -3,3 +3,9 @@ UnliftedNewtypesInstanceFail.hs:13:3: error: [GHC-83865]
     • Expected a WordRep type, but ‘Bar Bool’ is an IntRep type
     • In the newtype instance declaration for ‘Bar’
       In the instance declaration for ‘Foo Bool’
+
+UnliftedNewtypesInstanceFail.hs:14:17: [GHC-83865]
+     Expected an IntRep type, but ‘Word#’ is a WordRep type
+     In the type ‘Word#’
+      In the definition of data constructor ‘BarBoolC’
+      In the newtype instance declaration for ‘Bar’
\ No newline at end of file



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/ef44934cc8de1b5ff84e63e8eaa3085c8620463f
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/20250105/5c9da225/attachment-0001.html>