Add kind equalities to GHC.
[ghc.git] / testsuite / tests / annotations / should_fail / annfail10.stderr
1
2 annfail10.hs:9:1: error:
3     Ambiguous type variable ‘a0’ arising from an annotation
4     prevents the constraint ‘(Data a0)’ from being solved.
5     Probable fix: use a type annotation to specify what ‘a0’ should be.
6     These potential instances exist:
7       instance (Data a, Data b) => Data (Either a b)
8         -- Defined in ‘Data.Data’
9       instance Data All -- Defined in ‘Data.Data’
10       instance (Data (f a), Data a, Typeable f) => Data (Alt f a)
11         -- Defined in ‘Data.Data’
12       ...plus 39 others
13       (use -fprint-potential-instances to see them all)
14     In the annotation: {-# ANN f 1 #-}
15
16 annfail10.hs:9:11: error:
17     Ambiguous type variable ‘a0’ arising from the literal ‘1’
18     prevents the constraint ‘(Num a0)’ from being solved.
19     Probable fix: use a type annotation to specify what ‘a0’ should be.
20     These potential instances exist:
21       instance forall k (f :: k -> *) (a :: k).
22                Num (f a) =>
23                Num (Alt f a)
24         -- Defined in ‘Data.Monoid’
25       instance Num a => Num (Product a) -- Defined in ‘Data.Monoid’
26       instance Num a => Num (Sum a) -- Defined in ‘Data.Monoid’
27       ...plus 14 others
28       (use -fprint-potential-instances to see them all)
29     In the annotation: {-# ANN f 1 #-}