Track error message changes
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 5 Dec 2011 04:52:58 +0000 (04:52 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 5 Dec 2011 04:52:58 +0000 (04:52 +0000)
testsuite/tests/typecheck/should_fail/tcfail174.stderr

index b9bdb0a..cf8c4cc 100644 (file)
@@ -7,16 +7,22 @@ tcfail174.hs:9:10:
     In an equation for `g': g = Base id\r
 \r
 tcfail174.hs:13:14:\r
-    Couldn't match expected type `forall x. x -> a0'\r
-                with actual type `forall a. a -> a'\r
-    Expected type: Capture (forall x. x -> a0)\r
+    Couldn't match type `a' with `a1'\r
+      `a' is a rigid type variable bound by\r
+          the inferred type of h1 :: Capture a at tcfail174.hs:13:1\r
+      `a1' is a rigid type variable bound by\r
+           the type forall a. a -> a at tcfail174.hs:13:14\r
+    Expected type: Capture (forall x. x -> a)\r
       Actual type: Capture (forall a. a -> a)\r
     In the first argument of `Capture', namely `g'\r
     In the expression: Capture g\r
 \r
 tcfail174.hs:16:14:\r
-    Couldn't match expected type `forall x. x -> b'\r
-                with actual type `forall a. a -> a'\r
+    Couldn't match type `a' with `b'\r
+      `a' is a rigid type variable bound by\r
+          the type forall a. a -> a at tcfail174.hs:16:14\r
+      `b' is a rigid type variable bound by\r
+          the type signature for h2 :: Capture b at tcfail174.hs:16:1\r
     Expected type: Capture (forall x. x -> b)\r
       Actual type: Capture (forall a. a -> a)\r
     In the first argument of `Capture', namely `g'\r