summaryrefslogtreecommitdiff
path: root/testsuite/tests/annotations/should_fail/annfail10.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/annotations/should_fail/annfail10.stderr')
-rw-r--r--testsuite/tests/annotations/should_fail/annfail10.stderr17
1 files changed, 12 insertions, 5 deletions
diff --git a/testsuite/tests/annotations/should_fail/annfail10.stderr b/testsuite/tests/annotations/should_fail/annfail10.stderr
index eac3002efa..33a4c16a9b 100644
--- a/testsuite/tests/annotations/should_fail/annfail10.stderr
+++ b/testsuite/tests/annotations/should_fail/annfail10.stderr
@@ -1,9 +1,16 @@
annfail10.hs:9:1:
- Ambiguous type variable `a0' in the constraints:
- (Data.Data.Data a0) arising from an annotation
- at annfail10.hs:9:1-15
- (Num a0) arising from the literal `1' at annfail10.hs:9:11
- Probable fix: add a type signature that fixes these type variable(s)
+ No instance for (Data.Data.Data a0)
+ arising from an annotation
+ The type variable `a0' is ambiguous
+ Possible fix: add a type signature that fixes these type variable(s)
+ In the expression: 1
+ In the annotation: {-# ANN f 1 #-}
+
+annfail10.hs:9:11:
+ No instance for (Num a0)
+ arising from the literal `1'
+ The type variable `a0' is ambiguous
+ Possible fix: add a type signature that fixes these type variable(s)
In the expression: 1
In the annotation: {-# ANN f 1 #-}