summaryrefslogtreecommitdiff
path: root/testsuite/tests/annotations/should_fail
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/annotations/should_fail')
-rw-r--r--testsuite/tests/annotations/should_fail/annfail11.stderr8
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" #-}