path: root/testsuite/tests/annotations/should_fail/annfail11.stderr

annfail11.hs:3:1: Not in scope: `length'

annfail11.hs:4:1: Not in scope: type constructor or class `Integer'