Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / typecheck / should_compile / tc141.stderr
index ab778a0..cf206a1 100644 (file)
@@ -1,54 +1,54 @@
-\r
-tc141.hs:11:12: error:\r
-    • You cannot bind scoped type variable ‘a’\r
-        in a pattern binding signature\r
-    • In the pattern: p :: a\r
-      In the pattern: (p :: a, q :: a)\r
-      In a pattern binding: (p :: a, q :: a) = x\r
-\r
-tc141.hs:11:31: error:\r
-    • Couldn't match expected type ‘a1’ with actual type ‘a’\r
-        because type variable ‘a1’ would escape its scope\r
-      This (rigid, skolem) type variable is bound by\r
-        an expression type signature:\r
-          a1\r
-        at tc141.hs:11:34\r
-    • In the expression: q :: a\r
-      In the expression: (q :: a, p)\r
-      In the expression: let (p :: a, q :: a) = x in (q :: a, p)\r
-    • Relevant bindings include\r
-        p :: a (bound at tc141.hs:11:12)\r
-        q :: a (bound at tc141.hs:11:17)\r
-        x :: (a, a) (bound at tc141.hs:11:3)\r
-        f :: (a, a) -> (t, a) (bound at tc141.hs:11:1)\r
-\r
-tc141.hs:13:13: error:\r
-    • You cannot bind scoped type variable ‘a’\r
-        in a pattern binding signature\r
-    • In the pattern: y :: a\r
-      In a pattern binding: y :: a = a\r
-      In the expression:\r
-        let y :: a = a in\r
-        let\r
-          v :: a\r
-          v = b\r
-        in v\r
-\r
-tc141.hs:15:18: error:\r
-    • Couldn't match expected type ‘a1’ with actual type ‘t’\r
-        because type variable ‘a1’ would escape its scope\r
-      This (rigid, skolem) type variable is bound by\r
-        the type signature for:\r
-          v :: a1\r
-        at tc141.hs:14:14-19\r
-    • In the expression: b\r
-      In an equation for ‘v’: v = b\r
-      In the expression:\r
-        let\r
-          v :: a\r
-          v = b\r
-        in v\r
-    • Relevant bindings include\r
-        v :: a1 (bound at tc141.hs:15:14)\r
-        b :: t (bound at tc141.hs:13:5)\r
-        g :: t1 -> t -> forall a. a (bound at tc141.hs:13:1)\r
+
+tc141.hs:11:12: error:
+    • You cannot bind scoped type variable ‘a’
+        in a pattern binding signature
+    • In the pattern: p :: a
+      In the pattern: (p :: a, q :: a)
+      In a pattern binding: (p :: a, q :: a) = x
+
+tc141.hs:11:31: error:
+    • Couldn't match expected type ‘a2’ with actual type ‘a1’
+        because type variable ‘a2’ would escape its scope
+      This (rigid, skolem) type variable is bound by
+        an expression type signature:
+          a2
+        at tc141.hs:11:34
+    • In the expression: q :: a
+      In the expression: (q :: a, p)
+      In the expression: let (p :: a, q :: a) = x in (q :: a, p)
+    • Relevant bindings include
+        p :: a1 (bound at tc141.hs:11:12)
+        q :: a1 (bound at tc141.hs:11:17)
+        x :: (a1, a1) (bound at tc141.hs:11:3)
+        f :: (a1, a1) -> (a, a1) (bound at tc141.hs:11:1)
+
+tc141.hs:13:13: error:
+    • You cannot bind scoped type variable ‘a’
+        in a pattern binding signature
+    • In the pattern: y :: a
+      In a pattern binding: y :: a = a
+      In the expression:
+        let y :: a = a in
+        let
+          v :: a
+          v = b
+        in v
+
+tc141.hs:15:18: error:
+    • Couldn't match expected type ‘a1’ with actual type ‘t’
+        because type variable ‘a1’ would escape its scope
+      This (rigid, skolem) type variable is bound by
+        the type signature for:
+          v :: a1
+        at tc141.hs:14:14-19
+    • In the expression: b
+      In an equation for ‘v’: v = b
+      In the expression:
+        let
+          v :: a
+          v = b
+        in v
+    • Relevant bindings include
+        v :: a1 (bound at tc141.hs:15:14)
+        b :: t (bound at tc141.hs:13:5)
+        g :: t1 -> t -> forall a. a (bound at tc141.hs:13:1)