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

Patrick (@soulomoon) gitlab at gitlab.haskell.org
Wed Mar 5 00:35:26 UTC 2025



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


Commits:
779e90e3 by Patrick at 2025-03-05T08:35:08+08:00
Revert "update ExplicitForAllFams4b"

This reverts commit 90a2858278668bc6ad66ef43a5651808d8f24a0f.

- - - - -


1 changed file:

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


Changes:

=====================================
testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.stderr
=====================================
@@ -56,11 +56,6 @@ 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 _
@@ -74,67 +69,24 @@ 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/779e90e30c580f56a296eb23a983a10a8ead463d

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/779e90e30c580f56a296eb23a983a10a8ead463d
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/20250304/dea45214/attachment-0001.html>


More information about the ghc-commits mailing list