[Git][ghc/ghc][wip/T25647] update ExplicitForAllFams4b

[Patrick (@soulomoon)]

Patrick pushed to branch wip/T25647 at Glasgow Haskell Compiler / GHC


Commits:
90a28582 by Patrick at 2025-02-17T16:15:28+08:00
update ExplicitForAllFams4b

- - - - -


1 changed file:

- testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.stderr


Changes:

=====================================
testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.stderr
=====================================
@@ -56,6 +56,11 @@ ExplicitForAllFams4b.hs:24:17: error: [GHC-30337]
     • In the associated type family instance declaration for ‘CT’
       In the instance declaration for ‘C Int’
 
+ExplicitForAllFams4b.hs:24:20: error: [GHC-34447]
+    Conflicting family instance declarations:
+      CT [a] (a, a) = Float -- Defined at ExplicitForAllFams4b.hs:24:20
+      CT _ _ = Bool -- Defined at ExplicitForAllFams4b.hs:32:18
+
 ExplicitForAllFams4b.hs:25:3: error: [GHC-95424]
     • Type indexes must match class instance head
       Expected: CD Int _
@@ -69,24 +74,67 @@ ExplicitForAllFams4b.hs:25:17: error: [GHC-30337]
     • In the associated data family instance declaration for ‘CD’
       In the instance declaration for ‘C Int’
 
+ExplicitForAllFams4b.hs:25:20: error: [GHC-34447]
+    Conflicting family instance declarations:
+      CD [a] (a, a) -- Defined at ExplicitForAllFams4b.hs:25:20
+      CD _ _ -- Defined at ExplicitForAllFams4b.hs:33:18
+
+ExplicitForAllFams4b.hs:28:3: error: [GHC-95424]
+    • Type indexes must match class instance head
+      Expected: CT Bool _
+        Actual: CT _ _
+    • In the associated type family instance declaration for ‘CT’
+      In the instance declaration for ‘C Bool’
+
 ExplicitForAllFams4b.hs:28:15: error: [GHC-30337]
     • The type variable ‘b’ is bound by a forall,
       but does not appear in any of the LHS patterns of the family instance.
     • In the associated type family instance declaration for ‘CT’
       In the instance declaration for ‘C Bool’
 
+ExplicitForAllFams4b.hs:28:20: error: [GHC-34447]
+    Conflicting family instance declarations:
+      CT _ _ = Maybe b -- Defined at ExplicitForAllFams4b.hs:28:20
+      CT _ _ = Bool -- Defined at ExplicitForAllFams4b.hs:32:18
+
+ExplicitForAllFams4b.hs:29:3: error: [GHC-95424]
+    • Type indexes must match class instance head
+      Expected: CD Bool _
+        Actual: CD _ _
+    • In the associated data family instance declaration for ‘CD’
+      In the instance declaration for ‘C Bool’
+
 ExplicitForAllFams4b.hs:29:15: error: [GHC-30337]
     • The type variable ‘b’ is bound by a forall,
       but does not appear in any of the LHS patterns of the family instance.
     • In the associated data family instance declaration for ‘CD’
       In the instance declaration for ‘C Bool’
 
+ExplicitForAllFams4b.hs:29:20: error: [GHC-34447]
+    Conflicting family instance declarations:
+      CD _ _ -- Defined at ExplicitForAllFams4b.hs:29:20
+      CD _ _ -- Defined at ExplicitForAllFams4b.hs:33:18
+
+ExplicitForAllFams4b.hs:32:3: error: [GHC-95424]
+    • Type indexes must match class instance head
+      Expected: CT Double _
+        Actual: CT _ _
+    • In the associated type family instance declaration for ‘CT’
+      In the instance declaration for ‘C Double’
+
 ExplicitForAllFams4b.hs:32:15: error: [GHC-30337]
     • The type variable ‘b’ is bound by a forall,
       but it isn't used in the family instance.
     • In the associated type family instance declaration for ‘CT’
       In the instance declaration for ‘C Double’
 
+ExplicitForAllFams4b.hs:33:3: error: [GHC-95424]
+    • Type indexes must match class instance head
+      Expected: CD Double _
+        Actual: CD _ _
+    • In the associated data family instance declaration for ‘CD’
+      In the instance declaration for ‘C Double’
+
 ExplicitForAllFams4b.hs:33:15: error: [GHC-30337]
     • The type variable ‘b’ is bound by a forall,
       but does not appear in any of the LHS patterns of the family instance.



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/90a2858278668bc6ad66ef43a5651808d8f24a0f
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/20250217/cf7b6f8d/attachment-0001.html>