diff options
Diffstat (limited to 'testsuite/tests/annotations/should_fail')
-rw-r--r-- | testsuite/tests/annotations/should_fail/annfail11.stderr | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/testsuite/tests/annotations/should_fail/annfail11.stderr b/testsuite/tests/annotations/should_fail/annfail11.stderr index 384f6179aa..40bcebb904 100644 --- a/testsuite/tests/annotations/should_fail/annfail11.stderr +++ b/testsuite/tests/annotations/should_fail/annfail11.stderr @@ -1,10 +1,14 @@ -annfail11.hs:3:1: +annfail11.hs:3:1: error: Not in scope: ‘length’ + Perhaps you want to add ‘length’ to the import list + in the import of ‘Prelude’ (annfail11.hs:1:8-16). In the annotation: {-# ANN length "Cannot annotate other modules yet" #-} -annfail11.hs:4:1: +annfail11.hs:4:1: error: Not in scope: type constructor or class ‘Integer’ + Perhaps you want to add ‘Integer’ to the import list + in the import of ‘Prelude’ (annfail11.hs:1:8-16). In the annotation: {-# ANN type Integer "Cannot annotate other modules yet" #-} |