Improve error message for Typeable k (T k)
[ghc.git] / testsuite / tests / partial-sigs / should_fail / AnnotatedConstraint.stderr
index 5211cda..979651b 100644 (file)
@@ -1,7 +1,6 @@
 
-AnnotatedConstraint.hs:7:8:
-    No instance for (Eq (a0 -> a0))
-      (maybe you haven't applied enough arguments to a function?)
-      arising from a use of ‘foo’
+AnnotatedConstraint.hs:7:8: error:
+    No instance for (Eq (a0 -> a0)) arising from a use of ‘foo’
+      (maybe you haven't applied a function to enough arguments?)
     In the expression: foo id
     In an equation for ‘test’: test = foo id