1 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/tests/annotations/should_fail/annfail10.stderr b/testsuite/tests/annotations/should_fail/annfail10.stderr
new file mode 100644
index 0000000000..eac3002efa
--- /dev/null
+++ b/testsuite/tests/annotations/should_fail/annfail10.stderr
@@ -0,0 +1,9 @@
+
+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)
+    In the expression: 1
+    In the annotation: {-# ANN f 1 #-}