Tons of error message wibbles
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail198.stderr
index ab040a1..22a09f5 100644 (file)
@@ -1,10 +1,10 @@
 
 tcfail198.hs:6:36:
     Couldn't match expected type `a1' with actual type `a'
-      `a1' is a rigid type variable bound by
-           an expression type signature: a1 at tcfail198.hs:6:36
-      `a' is a rigid type variable bound by
-          the inferred type of f3 :: [a] -> [a] at tcfail198.hs:6:1
+      because type variable `a1' would escape its scope
+    This (rigid, skolem) type variable is bound by
+      an expression type signature: a1
+      at tcfail198.hs:6:36-41
     Relevant bindings include
       f3 :: [a] -> [a] (bound at tcfail198.hs:6:6)
       x :: a (bound at tcfail198.hs:6:19)