path: root/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraint.stderr

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