testsuite/tests/annotations/should_fail/annfail08.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19


annfail08.hs:9:1:
    No instance for (Data.Data.Data (a0 -> a0))
      arising from an annotation
    The type variable `a0' is ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    Possible fix:
      add an instance declaration for (Data.Data.Data (a0 -> a0))
    In the expression: (id + 1)
    In the annotation: {-# ANN f (id + 1) #-}

annfail08.hs:9:15:
    No instance for (Num (a0 -> a0))
      arising from a use of `+'
    The type variable `a0' is ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    Possible fix: add an instance declaration for (Num (a0 -> a0))
    In the expression: (id + 1)
    In the annotation: {-# ANN f (id + 1) #-}