Wibbles to error messages following fixing Trac #7696 and #7697

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

-
-T3330c.hs:23:43:
-    Couldn't match kind ‛*’ with ‛* -> *’
-    When matching types
-      Der ((->) x) :: * -> *
-      R :: (* -> *) -> *
-    Expected type: Der ((->) x) (f1 x)
-      Actual type: R f1
-    In the first argument of ‛plug’, namely ‛rf’
-    In the first argument of ‛Inl’, namely ‛(plug rf df x)’
-    In the expression: Inl (plug rf df x)
+
+T3330c.hs:23:43:
+    Couldn't match kind ‛* -> *’ with ‛*’
+    When matching types
+      R :: (* -> *) -> *
+      Der ((->) x) :: * -> *
+    Expected type: Der ((->) x) (f1 x)
+      Actual type: R f1
+    In the first argument of ‛plug’, namely ‛rf’
+    In the first argument of ‛Inl’, namely ‛(plug rf df x)’
+    In the expression: Inl (plug rf df x)

testsuite/tests/polykinds/T6068.stdout

 exists Nothing
-  :: Floop * (KProxy (Maybe *)) a mp => Existential (Maybe *) mp
+  :: Floop * (KProxy (Maybe *)) a kp => Existential (Maybe *) kp

testsuite/tests/typecheck/should_fail/T3950.stderr

-
-T3950.hs:15:13:
-    Couldn't match kind ‛* -> *’ with ‛*’
-    When matching types
-      w :: (* -> * -> *) -> *
-      Sealed :: (* -> *) -> *
-    Expected type: w (Id p)
-      Actual type: Sealed (Id p0 x0)
-    In the first argument of ‛Just’, namely ‛rp'’
-    In the expression: Just rp'
-    In an equation for ‛rp’:
-        rp _
-          = Just rp'
-          where
-              rp' :: Sealed (Id p x)
-              rp' = undefined
+
+T3950.hs:15:13:
+    Couldn't match kind ‛*’ with ‛* -> *’
+    When matching types
+      Sealed :: (* -> *) -> *
+      w :: (* -> * -> *) -> *
+    Expected type: w (Id p)
+      Actual type: Sealed (Id p0 x0)
+    In the first argument of ‛Just’, namely ‛rp'’
+    In the expression: Just rp'
+    In an equation for ‛rp’:
+        rp _
+          = Just rp'
+          where
+              rp' :: Sealed (Id p x)
+              rp' = undefined

testsuite/tests/typecheck/should_fail/T5570.stderr

-
-T5570.hs:7:16:
-    Couldn't match kind ‛*’ with ‛#’
-    When matching types
-      s0 :: *
-      Double# :: #
-    In the second argument of ‛($)’, namely ‛D# $ 3.0##’
-    In the expression: print $ D# $ 3.0##
-    In an equation for ‛main’: main = print $ D# $ 3.0##
+
+T5570.hs:7:16:
+    Couldn't match kind ‛#’ with ‛*’
+    When matching types
+      Double# :: #
+      s0 :: *
+    In the second argument of ‛($)’, namely ‛D# $ 3.0##’
+    In the expression: print $ D# $ 3.0##
+    In an equation for ‛main’: main = print $ D# $ 3.0##

testsuite/tests/typecheck/should_fail/T7368.stderr

-
-T7368.hs:3:10:
-    Couldn't match kind ‛* -> *’ with ‛*’
-    When matching types
-      c0 :: (* -> *) -> *
-      (->) a0 :: * -> *
-    Expected type: a0 -> b0
-      Actual type: c0 b1
-    In the return type of a call of ‛l’
-    Probable cause: ‛l’ is applied to too many arguments
-    In the first argument of ‛b’, namely ‛(l ())’
-    In the expression: b (l ())
-
-T7368.hs:3:13:
-    Couldn't match type ‛()’ with ‛b0 a1’
-    Expected type: b1 a1
-      Actual type: ()
-    In the first argument of ‛l’, namely ‛()’
-    In the first argument of ‛b’, namely ‛(l ())’
-    In the expression: b (l ())
+
+T7368.hs:3:10:
+    Couldn't match kind ‛* -> *’ with ‛*’
+    When matching types
+      b1 :: * -> *
+      b0 :: *
+    Expected type: a0 -> b0
+      Actual type: c0 b1
+    In the return type of a call of ‛l’
+    Probable cause: ‛l’ is applied to too many arguments
+    In the first argument of ‛b’, namely ‛(l ())’
+    In the expression: b (l ())
+
+T7368.hs:3:13:
+    Couldn't match expected type ‛b1 a1’ with actual type ‛()’
+    In the first argument of ‛l’, namely ‛()’
+    In the first argument of ‛b’, namely ‛(l ())’
+    In the expression: b (l ())

testsuite/tests/typecheck/should_fail/T7368a.stderr

-
-T7368a.hs:8:6:
-    Couldn't match kind ‛*’ with ‛* -> *’
-    When matching types
-      f :: * -> *
-      Bad :: (* -> *) -> *
-    Expected type: f (Bad f)
-      Actual type: Bad t0
-    In the pattern: Bad x
-    In an equation for ‛fun’: fun (Bad x) = True
+
+T7368a.hs:8:6:
+    Couldn't match kind ‛* -> *’ with ‛*’
+    When matching types
+      Bad :: (* -> *) -> *
+      f :: * -> *
+    Expected type: f (Bad f)
+      Actual type: Bad t0
+    In the pattern: Bad x
+    In an equation for ‛fun’: fun (Bad x) = True

testsuite/tests/typecheck/should_fail/T7609.stderr

-
-T7609.hs:7:16:
-    Expecting one more argument to ‛Maybe’
-    The second argument of a tuple should have kind ‛*’,
-      but ‛Maybe’ has kind ‛* -> *’
-    In the type signature for ‛f’: f :: (a `X` a, Maybe)
-
-T7609.hs:10:19:
-    Expecting one more argument to ‛Maybe’
-    Expected a type, but ‛Maybe’ has kind ‛* -> *’
-    In the type signature for ‛g’: g :: a `X` a => Maybe
+
+T7609.hs:7:16:
+    Expecting one more argument to ‛Maybe’
+    The second argument of a tuple should have kind ‛*’,
+      but ‛Maybe’ has kind ‛* -> *’
+    In the type signature for ‛f’: f :: (a `X` a, Maybe)
+
+T7609.hs:10:7:
+    Expected a constraint, but ‛a `X` a’ has kind ‛*’
+    In the type signature for ‛g’: g :: a `X` a => Maybe

testsuite/tests/typecheck/should_fail/tcfail123.stderr

-
-tcfail123.hs:11:9:
-    Couldn't match kind ‛*’ with ‛#’
-    When matching types
-      t0 :: *
-      GHC.Prim.Int# :: #
-    In the first argument of ‛f’, namely ‛3#’
-    In the expression: f 3#
-    In an equation for ‛h’: h v = f 3#
+
+tcfail123.hs:11:9:
+    Couldn't match kind ‛#’ with ‛*’
+    When matching types
+      GHC.Prim.Int# :: #
+      t0 :: *
+    In the first argument of ‛f’, namely ‛3#’
+    In the expression: f 3#
+    In an equation for ‛h’: h v = f 3#

testsuite/tests/typecheck/should_fail/tcfail159.stderr

-
-tcfail159.hs:9:11:
-    Couldn't match kind ‛*’ with ‛#’
-    When matching types
-      t0 :: *
-      (# Int, Int #) :: #
-    In the pattern: ~(# p, q #)
-    In a case alternative: ~(# p, q #) -> p
-    In the expression: case h x of { ~(# p, q #) -> p }
+
+tcfail159.hs:9:11:
+    Couldn't match kind ‛#’ with ‛*’
+    When matching types
+      (# Int, Int #) :: #
+      t0 :: *
+    In the pattern: ~(# p, q #)
+    In a case alternative: ~(# p, q #) -> p
+    In the expression: case h x of { ~(# p, q #) -> p }

testsuite/tests/typecheck/should_fail/tcfail200.stderr

-
-tcfail200.hs:5:15:
-    Couldn't match kind ‛*’ with ‛#’
-    When matching types
-      t1 :: *
-      GHC.Prim.Int# :: #
-    In the expression: 1#
-    In the expression: (1#, 'c')
-    In an equation for ‛x’: x = (1#, 'c')
+
+tcfail200.hs:5:15:
+    Couldn't match kind ‛#’ with ‛*’
+    When matching types
+      GHC.Prim.Int# :: #
+      t1 :: *
+    In the expression: 1#
+    In the expression: (1#, 'c')
+    In an equation for ‛x’: x = (1#, 'c')