Wibbles to error messages following fixing Trac #7696 and #7697
authorSimon Peyton Jones <simonpj@microsoft.com>
Sun, 3 Mar 2013 23:07:43 +0000 (23:07 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Sun, 3 Mar 2013 23:14:15 +0000 (23:14 +0000)
testsuite/tests/indexed-types/should_fail/T3330c.stderr
testsuite/tests/polykinds/T6068.stdout
testsuite/tests/typecheck/should_fail/T3950.stderr
testsuite/tests/typecheck/should_fail/T5570.stderr
testsuite/tests/typecheck/should_fail/T7368.stderr
testsuite/tests/typecheck/should_fail/T7368a.stderr
testsuite/tests/typecheck/should_fail/T7609.stderr
testsuite/tests/typecheck/should_fail/tcfail123.stderr
testsuite/tests/typecheck/should_fail/tcfail159.stderr
testsuite/tests/typecheck/should_fail/tcfail200.stderr

index 52d6afe..3d387b5 100644 (file)
@@ -1,11 +1,11 @@
-
-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)
+\r
+T3330c.hs:23:43:\r
+    Couldn't match kind ‛* -> *’ with ‛*’\r
+    When matching types\r
+      R :: (* -> *) -> *\r
+      Der ((->) x) :: * -> *\r
+    Expected type: Der ((->) x) (f1 x)\r
+      Actual type: R f1\r
+    In the first argument of ‛plug’, namely ‛rf’\r
+    In the first argument of ‛Inl’, namely ‛(plug rf df x)’\r
+    In the expression: Inl (plug rf df x)\r
index bf9528b..e0d81eb 100644 (file)
@@ -1,2 +1,2 @@
 exists Nothing\r
-  :: Floop * (KProxy (Maybe *)) a mp => Existential (Maybe *) mp\r
+  :: Floop * (KProxy (Maybe *)) a kp => Existential (Maybe *) kp\r
index b95b4f8..d318978 100644 (file)
@@ -1,16 +1,16 @@
-
-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
+\r
+T3950.hs:15:13:\r
+    Couldn't match kind ‛*’ with ‛* -> *’\r
+    When matching types\r
+      Sealed :: (* -> *) -> *\r
+      w :: (* -> * -> *) -> *\r
+    Expected type: w (Id p)\r
+      Actual type: Sealed (Id p0 x0)\r
+    In the first argument of ‛Just’, namely ‛rp'’\r
+    In the expression: Just rp'\r
+    In an equation for ‛rp’:\r
+        rp _\r
+          = Just rp'\r
+          where\r
+              rp' :: Sealed (Id p x)\r
+              rp' = undefined\r
index 90f9155..d9ffbed 100644 (file)
@@ -1,9 +1,9 @@
-
-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##
+\r
+T5570.hs:7:16:\r
+    Couldn't match kind ‛#’ with ‛*’\r
+    When matching types\r
+      Double# :: #\r
+      s0 :: *\r
+    In the second argument of ‛($)’, namely ‛D# $ 3.0##’\r
+    In the expression: print $ D# $ 3.0##\r
+    In an equation for ‛main’: main = print $ D# $ 3.0##\r
index 8f1f478..cdb043c 100644 (file)
@@ -1,20 +1,18 @@
-
-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 ())
+\r
+T7368.hs:3:10:\r
+    Couldn't match kind ‛* -> *’ with ‛*’\r
+    When matching types\r
+      b1 :: * -> *\r
+      b0 :: *\r
+    Expected type: a0 -> b0\r
+      Actual type: c0 b1\r
+    In the return type of a call of ‛l’\r
+    Probable cause: ‛l’ is applied to too many arguments\r
+    In the first argument of ‛b’, namely ‛(l ())’\r
+    In the expression: b (l ())\r
+\r
+T7368.hs:3:13:\r
+    Couldn't match expected type ‛b1 a1’ with actual type ‛()’\r
+    In the first argument of ‛l’, namely ‛()’\r
+    In the first argument of ‛b’, namely ‛(l ())’\r
+    In the expression: b (l ())\r
index bc193ca..e9a9344 100644 (file)
@@ -1,10 +1,10 @@
-
-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
+\r
+T7368a.hs:8:6:\r
+    Couldn't match kind ‛* -> *’ with ‛*’\r
+    When matching types\r
+      Bad :: (* -> *) -> *\r
+      f :: * -> *\r
+    Expected type: f (Bad f)\r
+      Actual type: Bad t0\r
+    In the pattern: Bad x\r
+    In an equation for ‛fun’: fun (Bad x) = True\r
index 650329a..2027c3b 100644 (file)
@@ -1,11 +1,10 @@
-
-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
+\r
+T7609.hs:7:16:\r
+    Expecting one more argument to ‛Maybe’\r
+    The second argument of a tuple should have kind ‛*’,\r
+      but ‛Maybe’ has kind ‛* -> *’\r
+    In the type signature for ‛f’: f :: (a `X` a, Maybe)\r
+\r
+T7609.hs:10:7:\r
+    Expected a constraint, but ‛a `X` a’ has kind ‛*’\r
+    In the type signature for ‛g’: g :: a `X` a => Maybe\r
index 2a70414..2f18b19 100644 (file)
@@ -1,9 +1,9 @@
-
-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#
+\r
+tcfail123.hs:11:9:\r
+    Couldn't match kind ‛#’ with ‛*’\r
+    When matching types\r
+      GHC.Prim.Int# :: #\r
+      t0 :: *\r
+    In the first argument of ‛f’, namely ‛3#’\r
+    In the expression: f 3#\r
+    In an equation for ‛h’: h v = f 3#\r
index 3ff73d8..ab79887 100644 (file)
@@ -1,9 +1,9 @@
-
-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 }
+\r
+tcfail159.hs:9:11:\r
+    Couldn't match kind ‛#’ with ‛*’\r
+    When matching types\r
+      (# Int, Int #) :: #\r
+      t0 :: *\r
+    In the pattern: ~(# p, q #)\r
+    In a case alternative: ~(# p, q #) -> p\r
+    In the expression: case h x of { ~(# p, q #) -> p }\r
index 57c174d..8bc2259 100644 (file)
@@ -1,9 +1,9 @@
-
-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')
+\r
+tcfail200.hs:5:15:\r
+    Couldn't match kind ‛#’ with ‛*’\r
+    When matching types\r
+      GHC.Prim.Int# :: #\r
+      t1 :: *\r
+    In the expression: 1#\r
+    In the expression: (1#, 'c')\r
+    In an equation for ‛x’: x = (1#, 'c')\r