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

 
-SimpleFail2a.hs:11:3: error:
+SimpleFail2a.hs:11:3: error: [GHC-95424]
     • Type indexes must match class instance head
       Expected: Sd Int
         Actual: Sd a

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

 
-SimpleFail3a.hs:10:3: [GHC-52347]
-    Wrong category of family instance; declaration was for a data family
-    In the type instance declaration for ‘S1’
-    In the instance declaration for ‘C1 Int’
+SimpleFail3a.hs:10:3: error: [GHC-52347]
+    • Wrong category of family instance; declaration was for a data family.
+    • In the type instance declaration for ‘S1’
+      In the instance declaration for ‘C1 Int’

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

 
-SimpleFail4.hs:11:3: error:
+SimpleFail4.hs:11:3: error: [GHC-41522]
     • Illegal argument ‘Int’ in:
         ‘type S2 Int = ...’
-        The arguments to ‘S2’ must all be distinct type variables
+        The arguments to ‘S2’ must all be distinct type variables.
     • In the default type instance declaration for ‘S2’
       In the class declaration for ‘C2’

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

 
-SimpleFail9.hs:16:3: error:
+SimpleFail9.hs:16:3: error: [GHC-95424]
     • Type indexes must match class instance head
       Expected: S7 (a, Int)
         Actual: S7 (b, Int)

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

 
 T11136.hs:7:3: error: [GHC-12985]
-    • Number of parameters must match family declaration; expected 1
+    • Number of parameters must match family declaration; expected 1.
     • In the default type instance declaration for ‘D’
       In the class declaration for ‘C’

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

 
-T11450.hs:9:3: error:
+T11450.hs:9:3: error: [GHC-95424]
     • Type indexes must match class instance head
       Expected: T (Either a b)
         Actual: T (Either b a)

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

 
-T12041.hs:12:3: error:
+T12041.hs:12:3: error: [GHC-95424]
     • Type indexes must match class instance head
       Expected: Ob @i (I @{i} @{i})
         Actual: Ob @(*) (I @{*} @{*})

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

 
-T13971.hs:7:3: error:
+T13971.hs:7:3: error: [GHC-41522]
     • Illegal argument ‘*’ in:
         ‘type T @{k} @(*) a = ...’
-        The arguments to ‘T’ must all be distinct type variables
+        The arguments to ‘T’ must all be distinct type variables.
     • In the default type instance declaration for ‘T’
       In the class declaration for ‘C’

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

 
-T13971b.hs:9:3: error:
+T13971b.hs:9:3: error: [GHC-48178]
     • Illegal duplicate variable ‘k’ in:
         ‘type T @k @k a b = ...’
-        The arguments to ‘T’ must all be distinct type variables
+        The arguments to ‘T’ must all be distinct type variables.
     • In the default type instance declaration for ‘T’
       In the class declaration for ‘C’

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

 
-T14230.hs:11:3: error:
+T14230.hs:11:3: error: [GHC-95424]
     • Type indexes must match class instance head
       Expected: CD @(Maybe a)
         Actual: CD @(k -> *)

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

 
-T14230a.hs:14:3: error:
+T14230a.hs:14:3: error: [GHC-95424]
     • Type indexes must match class instance head
       Expected: CD (*) (Maybe a)
         Actual: CD k a

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

 
-T14887.hs:15:1: error:
+T14887.hs:15:1: error: [GHC-87279]
     • The kind of ‘Foo2’ is ill-scoped
         Inferred kind: Foo2 :: forall (a :: k). forall k -> (a :~: a) -> *
       NB: Specified variables (namely: (a :: k)) always come first

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

 
-T15764.hs:14:2: error:
+T15764.hs:14:2: error: [GHC-87279]
     • The kind of ‘T6’ is ill-scoped
         Inferred kind: T6 :: forall {a :: k} k (b :: Proxy a).
                              Proxy '(k, b) -> *

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

 
-T16110_Fail2.hs:9:3: error:
+T16110_Fail2.hs:9:3: error: [GHC-48178]
     • Illegal duplicate variable ‘b’ in:
         ‘type T a b b = ...’
-        The arguments to ‘T’ must all be distinct type variables
+        The arguments to ‘T’ must all be distinct type variables.
     • In the default type instance declaration for ‘T’
       In the class declaration for ‘C’

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

 
-T16110_Fail3.hs:11:3: error:
+T16110_Fail3.hs:11:3: error: [GHC-41522]
     • Illegal argument ‘Int’ in:
         ‘type T a Int = ...’
-        The arguments to ‘T’ must all be distinct type variables
+        The arguments to ‘T’ must all be distinct type variables.
     • In the default type instance declaration for ‘T’
       In the class declaration for ‘C’

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

 
-T16356_Fail1.hs:10:3: error:
+T16356_Fail1.hs:10:3: error: [GHC-41522]
     • Illegal argument ‘*’ in:
         ‘type T @(*) a = ...’
-        The arguments to ‘T’ must all be distinct type variables
+        The arguments to ‘T’ must all be distinct type variables.
     • In the default type instance declaration for ‘T’
       In the class declaration for ‘C’

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

 
-T16356_Fail2.hs:8:3: error:
+T16356_Fail2.hs:8:3: error: [GHC-48178]
     • Illegal duplicate variable ‘k’ in:
         ‘type T @k @k a b = ...’
-        The arguments to ‘T’ must all be distinct type variables
+        The arguments to ‘T’ must all be distinct type variables.
     • In the default type instance declaration for ‘T’
       In the class declaration for ‘C’

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

 
-T17008a.hs:12:5: error:
-    • Type variable ‘a2’ is mentioned in the RHS,
-        but not bound on the LHS of the family instance
-        The real LHS (expanding synonyms) is: F @a1 x
+T17008a.hs:12:5: error: [GHC-53634]
+    • Out of scope type variable ‘a2’ in the RHS of a family instance.
+        All such variables must be bound on the LHS.
+      The real LHS (expanding synonyms) is: F @a1 x
     • In the equations for closed type family ‘F’
       In the type family declaration for ‘F’

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

 
-T18648.hs:7:4: error:
+T18648.hs:7:4: error: [GHC-41522]
     • Illegal argument ‘f a’ in:
         ‘type Bar1 (f a) = ...’
-        The arguments to ‘Bar1’ must all be distinct type variables
+        The arguments to ‘Bar1’ must all be distinct type variables.
     • In the default type instance declaration for ‘Bar1’
       In the class declaration for ‘Foo1’
 
-T18648.hs:11:4: error:
+T18648.hs:11:4: error: [GHC-41522]
     • Illegal argument ‘Bar2 a’ in:
         ‘type Bar2 (Bar2 a) = ...’
-        The arguments to ‘Bar2’ must all be distinct type variables
+        The arguments to ‘Bar2’ must all be distinct type variables.
     • In the default type instance declaration for ‘Bar2’
       In the class declaration for ‘Foo2’

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

 
-T2203a.hs:13:19: error:
+T2203a.hs:13:19: error: [GHC-73138]
     • Illegal type synonym family application ‘TheFoo a’ in instance:
         Bar (Either a (TheFoo a))
     • In the instance declaration for ‘Bar (Either a (TheFoo a))’