Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / T7869.stderr
index dd3aabc..00ea8e7 100644 (file)
@@ -1,28 +1,14 @@
 
-T7869.hs:3:12:
-    Couldn't match type ‘a’ with ‘a1’
-      because type variable ‘a1’ would escape its scope
-    This (rigid, skolem) type variable is bound by
-      an expression type signature: [a1] -> b1
-      at T7869.hs:3:5-27
-    Expected type: [a1] -> b1
-      Actual type: [a] -> b
-    Relevant bindings include
-      x :: [a1] (bound at T7869.hs:3:7)
-      f :: [a] -> b (bound at T7869.hs:3:1)
-    In the expression: f x
-    In the expression: (\ x -> f x) :: [a] -> b
-    In an equation for ‘f’: f = (\ x -> f x) :: [a] -> b
-
-T7869.hs:3:12:
-    Couldn't match type ‘b’ with ‘b1’
-      because type variable ‘b1’ would escape its scope
-    This (rigid, skolem) type variable is bound by
-      an expression type signature: [a1] -> b1
-      at T7869.hs:3:5-27
-    Expected type: [a1] -> b1
-      Actual type: [a] -> b
-    Relevant bindings include f :: [a] -> b (bound at T7869.hs:3:1)
-    In the expression: f x
-    In the expression: (\ x -> f x) :: [a] -> b
-    In an equation for ‘f’: f = (\ x -> f x) :: [a] -> b
+T7869.hs:3:12: error:
+    • Couldn't match type ‘b’ with ‘b1’
+        because type variable ‘b1’ would escape its scope
+      This (rigid, skolem) type variable is bound by
+        an expression type signature:
+          [a1] -> b1
+        at T7869.hs:3:20-27
+      Expected type: [a1] -> b1
+        Actual type: [a] -> b
+    • In the expression: f x
+      In the expression: (\ x -> f x) :: [a] -> b
+      In an equation for ‘f’: f = (\ x -> f x) :: [a] -> b
+    • Relevant bindings include f :: [a] -> b (bound at T7869.hs:3:1)