Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / typecheck / should_fail / FrozenErrorTests.stderr
index f6df417..ff39e7e 100644 (file)
@@ -1,70 +1,52 @@
-
-FrozenErrorTests.hs:10:8:
-    Couldn't match type `a' with `T a'
-      `a' is a rigid type variable bound by
-          the type signature for foo :: a ~ T a => a -> a
-          at FrozenErrorTests.hs:10:15
-    Inaccessible code in
-      the type signature for foo :: a ~ T a => a -> a
-
-FrozenErrorTests.hs:14:12:
-    Couldn't match type `b' with `T b'
-      `b' is a rigid type variable bound by
-          a pattern with constructor
-            MkT2 :: forall a b. b ~ T b => b -> T a,
-          in a case alternative
-          at FrozenErrorTests.hs:14:12
-    Inaccessible code in
-      a pattern with constructor
-        MkT2 :: forall a b. b ~ T b => b -> T a,
-      in a case alternative
-    In the pattern: MkT2 y
-    In a case alternative: MkT2 y -> ()
-    In the expression: case x of { MkT2 y -> () }
-
-FrozenErrorTests.hs:19:12:
-    Couldn't match type `Int' with `Bool'
-    Inaccessible code in
-      a pattern with constructor
-        MkT3 :: forall a. a ~ Bool => T a,
-      in a case alternative
-    In the pattern: MkT3
-    In a case alternative: MkT3 -> ()
-    In the expression: case x of { MkT3 -> () }
-
-FrozenErrorTests.hs:33:9:
-    Occurs check: cannot construct the infinite type: a0 = [a0]
-    Expected type: [a0]
-      Actual type: F a0 Bool
-    In the expression: goo1 False undefined
-    In an equation for `test1': test1 = goo1 False undefined
-
-FrozenErrorTests.hs:36:15:
-    Couldn't match type `[Int]' with `Int'
-    Expected type: [[Int]]
-      Actual type: F [Int] Bool
-    In the first argument of `goo2', namely `(goo1 False undefined)'
-    In the expression: goo2 (goo1 False undefined)
-    In an equation for `test2': test2 = goo2 (goo1 False undefined)
-
-FrozenErrorTests.hs:37:9:
-    Couldn't match type `Int' with `[Int]'
-    Expected type: [[Int]]
-      Actual type: F [Int] Bool
-    In the expression: goo1 False (goo2 undefined)
-    In an equation for `test3': test3 = goo1 False (goo2 undefined)
-
-FrozenErrorTests.hs:52:15:
-    Couldn't match type `T2 c0 c0' with `M (T2 (T2 c0 c0) c0)'
-    Expected type: T2 (M (T2 (T2 c0 c0) c0)) (T2 (T2 c0 c0) c0)
-      Actual type: F (T2 (T2 c0 c0) c0) Bool
-    In the first argument of `goo4', namely `(goo3 False undefined)'
-    In the expression: goo4 (goo3 False undefined)
-    In an equation for `test4': test4 = goo4 (goo3 False undefined)
-
-FrozenErrorTests.hs:53:9:
-    Couldn't match type `T2 c0 c0' with `M (T2 (T2 c0 c0) c0)'
-    Expected type: T2 (M (T2 (T2 c0 c0) c0)) (T2 (T2 c0 c0) c0)
-      Actual type: F (T2 (T2 c0 c0) c0) Bool
-    In the expression: goo3 False (goo4 undefined)
-    In an equation for `test5': test5 = goo3 False (goo4 undefined)
+\r
+FrozenErrorTests.hs:12:12:\r
+    Couldn't match type ‘Int’ with ‘Bool’\r
+    Inaccessible code in\r
+      a pattern with constructor: MkT3 :: forall a. (a ~ Bool) => T a,\r
+      in a case alternative\r
+    In the pattern: MkT3\r
+    In a case alternative: MkT3 -> ()\r
+    In the expression: case x of { MkT3 -> () }\r
+\r
+FrozenErrorTests.hs:26:9:\r
+    Occurs check: cannot construct the infinite type: a ~ [a]\r
+    Expected type: [a]\r
+      Actual type: F a Bool\r
+    Relevant bindings include\r
+      test1 :: a (bound at FrozenErrorTests.hs:26:1)\r
+    In the expression: goo1 False undefined\r
+    In an equation for ‘test1’: test1 = goo1 False undefined\r
+\r
+FrozenErrorTests.hs:29:15:\r
+    Couldn't match type ‘[Int]’ with ‘Int’\r
+    Expected type: [[Int]]\r
+      Actual type: F [Int] Bool\r
+    In the first argument of ‘goo2’, namely ‘(goo1 False undefined)’\r
+    In the expression: goo2 (goo1 False undefined)\r
+    In an equation for ‘test2’: test2 = goo2 (goo1 False undefined)\r
+\r
+FrozenErrorTests.hs:30:9:\r
+    Couldn't match type ‘[Int]’ with ‘Int’\r
+    Expected type: [[Int]]\r
+      Actual type: F [Int] Bool\r
+    In the expression: goo1 False (goo2 undefined)\r
+    In an equation for ‘test3’: test3 = goo1 False (goo2 undefined)\r
+\r
+FrozenErrorTests.hs:45:15:\r
+    Couldn't match type ‘T2 c c’ with ‘M (T2 (T2 c c) c)’\r
+    Expected type: T2 (M (T2 (T2 c c) c)) (T2 (T2 c c) c)\r
+      Actual type: F (T2 (T2 c c) c) Bool\r
+    Relevant bindings include\r
+      test4 :: T2 (T2 c c) c (bound at FrozenErrorTests.hs:45:1)\r
+    In the first argument of ‘goo4’, namely ‘(goo3 False undefined)’\r
+    In the expression: goo4 (goo3 False undefined)\r
+    In an equation for ‘test4’: test4 = goo4 (goo3 False undefined)\r
+\r
+FrozenErrorTests.hs:46:9:\r
+    Couldn't match type ‘T2 c c’ with ‘M (T2 (T2 c c) c)’\r
+    Expected type: T2 (M (T2 (T2 c c) c)) (T2 (T2 c c) c)\r
+      Actual type: F (T2 (T2 c c) c) Bool\r
+    Relevant bindings include\r
+      test5 :: T2 (T2 c c) c (bound at FrozenErrorTests.hs:46:1)\r
+    In the expression: goo3 False (goo4 undefined)\r
+    In an equation for ‘test5’: test5 = goo3 False (goo4 undefined)\r