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
28
29
30


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 a, Data.Data.Data b) =>
               Data.Data.Data (Either a b)
        -- Defined in ‘Data.Data’
      instance Data.Data.Data Data.Monoid.All -- Defined in ‘Data.Data’
      instance (Data.Data.Data (f a), Data.Data.Data a,
                Data.Typeable.Internal.Typeable f) =>
               Data.Data.Data (Data.Monoid.Alt f a)
        -- Defined in ‘Data.Data’
      ...plus 39 others
    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 forall (k :: BOX) (f :: k -> *) (a :: k).
               Num (f a) =>
               Num (Data.Monoid.Alt f a)
        -- Defined in ‘Data.Monoid’
      instance Num a => Num (Data.Monoid.Product a)
        -- Defined in ‘Data.Monoid’
      instance Num a => Num (Data.Monoid.Sum a)
        -- Defined in ‘Data.Monoid’
      ...plus 14 others
    In the annotation: {-# ANN f 1 #-}