[Git][ghc/ghc][wip/soulomoon/suggest-UnliftedNewtypes-unlifted-data-family-25593] cleanup

Patrick (@soulomoon) gitlab at gitlab.haskell.org
Sun Jan 5 09:10:38 UTC 2025



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


Commits:
1a850961 by Patrick at 2025-01-05T17:10:25+08:00
cleanup

- - - - -


1 changed file:

- − testsuite/tests/typecheck/should_fail/UnliftedNewtypesUnassociatedFamilyFail.stderr


Changes:

=====================================
testsuite/tests/typecheck/should_fail/UnliftedNewtypesUnassociatedFamilyFail.stderr deleted
=====================================
@@ -1,32 +0,0 @@
-
-UnliftedNewtypesUnassociatedFamilyFail.hs:21:30: error: [GHC-25897]
-    • Couldn't match kind ‘t’ with ‘IntRep’
-      Expected a type, but ‘Int#’ has kind ‘TYPE IntRep’
-      ‘t’ is a rigid type variable bound by
-        a family instance declaration
-        at UnliftedNewtypesUnassociatedFamilyFail.hs:21:1-33
-    • In the type ‘Int#’
-      In the definition of data constructor ‘MkDF1a’
-      In the newtype instance declaration for ‘DF’
-
-UnliftedNewtypesUnassociatedFamilyFail.hs:22:30: error: [GHC-25897]
-    • Couldn't match kind ‘t’ with ‘WordRep’
-      Expected a type, but ‘Word#’ has kind ‘TYPE WordRep’
-      ‘t’ is a rigid type variable bound by
-        a family instance declaration
-        at UnliftedNewtypesUnassociatedFamilyFail.hs:22:1-34
-    • In the type ‘Word#’
-      In the definition of data constructor ‘MkDF2a’
-      In the newtype instance declaration for ‘DF’
-
-UnliftedNewtypesUnassociatedFamilyFail.hs:23:30: error: [GHC-25897]
-    • Couldn't match kind ‘t’ with ‘TupleRep [IntRep, WordRep]’
-      Expected a type,
-        but ‘(# Int#, Word# #)’ has kind ‘TYPE
-                                            (TupleRep [IntRep, WordRep])’
-      ‘t’ is a rigid type variable bound by
-        a family instance declaration
-        at UnliftedNewtypesUnassociatedFamilyFail.hs:23:1-46
-    • In the type ‘(# Int#, Word# #)’
-      In the definition of data constructor ‘MkDF3a’
-      In the newtype instance declaration for ‘DF’



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1a8509615a9763a5a1169e069c09c94e07530c59
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/86408b3b/attachment-0001.html>


More information about the ghc-commits mailing list