Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / mc22.stderr
index d15dd7b..ec82baf 100644 (file)
@@ -4,7 +4,7 @@ mc22.hs:10:26: error:
       ‘a’ is a rigid type variable bound by
         a type expected by the context:
           forall a. [a] -> [t a]
-        at mc22.hs:9:9
+        at mc22.hs:(9,9)-(10,31)
       Expected type: [a] -> [t a]
         Actual type: [t a] -> [t a]
     • In the expression: take 5