Some tidying up of type pretty-printing

[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail177.stderr

diff --git a/testsuite/tests/typecheck/should_fail/tcfail177.stderr b/testsuite/tests/typecheck/should_fail/tcfail177.stderr
index 5ef31f8..206f9ce 100644 (file)
--- a/testsuite/tests/typecheck/should_fail/tcfail177.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail177.stderr
@@ -1,171 +1,24 @@
 
-tcfail177.hs:10:12:
-    Couldn't match expected type ‛Bool’ with actual type ‛Int’
-    In the return type of a call of ‛foo’
+tcfail177.hs:38:12: error:
+    Couldn't match expected type ‘Bool’ with actual type ‘Int’
     In the expression:
       foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-    In an equation for ‛allTests’:
-        allTests = foo [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", ....]
+        ["One........" ~?= "1", "Two" ~?= "2", "Thre........." ~?= "3",
+         "Four" ~?= "4", ....]
+    In an equation for ‘allTest1’:
+        allTest1
+          = foo
+              ["One........" ~?= "1", "Two" ~?= "2", "Thre........." ~?= "3",
+               ....]
 
-tcfail177.hs:20:13:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
+tcfail177.hs:47:12: error:
+    Couldn't match expected type ‘Bool’ with actual type ‘Int’
     In the expression:
       foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:20:20:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:20:27:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:21:13:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:21:20:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:21:27:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:22:13:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:22:20:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:22:27:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:23:13:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:23:20:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:23:27:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:24:13:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:24:20:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:24:27:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:25:13:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:25:20:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
-
-tcfail177.hs:25:27:
-    Couldn't match expected type ‛Bool’ with actual type ‛[Char]’
-    In the expression: "Two"
-    In the first argument of ‛foo’, namely
-      ‛[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]’
-    In the expression:
-      foo
-        [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
+        ["One........" ~?= "1", "Two.................." ~?= "2",
+         "Thre........." ~?= "3", "Four" ~?= "4", ....]
+    In an equation for ‘allTest2’:
+        allTest2
+          = foo
+              ["One........" ~?= "1", "Two.................." ~?= "2",
+               "Thre........." ~?= "3", ....]