author Simon Peyton Jones Mon, 5 Dec 2011 04:52:58 +0000 (04:52 +0000) committer Simon Peyton Jones Mon, 5 Dec 2011 04:52:58 +0000 (04:52 +0000)

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