testsuite/tests/annotations/should_fail/annfail10.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27


annfail10.hs:9:1:
    No instance for (Data.Data.Data a0) arising from an annotation
    The type variable ‛a0’ is ambiguous
    Note: there are several potential instances:
      instance Data.Data.Data () -- Defined in ‛Data.Data’
      instance (Data.Data.Data a, Data.Data.Data b) =>
               Data.Data.Data (a, b)
        -- Defined in ‛Data.Data’
      instance (Data.Data.Data a, Data.Data.Data b, Data.Data.Data c) =>
               Data.Data.Data (a, b, c)
        -- Defined in ‛Data.Data’
      ...plus 27 others
    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
    Note: there are several potential instances:
      instance Num Double -- Defined in ‛GHC.Float’
      instance Num Float -- Defined in ‛GHC.Float’
      instance Integral a => Num (GHC.Real.Ratio a)
        -- Defined in ‛GHC.Real’
      ...plus 11 others
    In the expression: 1
    In the annotation: {-# ANN f 1 #-}