Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / T7869.stderr
index f906a95..00ea8e7 100644 (file)
@@ -1,16 +1,14 @@
 
 T7869.hs:3:12: error:
-    • Couldn't match type ‘a’ with ‘a1’
-        because type variable ‘a1’ would escape its scope
+    • 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
+        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
-        x :: [a1] (bound at T7869.hs:3:7)
-        f :: [a] -> b (bound at T7869.hs:3:1)
+    • Relevant bindings include f :: [a] -> b (bound at T7869.hs:3:1)