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