A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / annotations / should_fail / annfail10.stderr
1
2 annfail10.hs:9:1: error:
3     • Ambiguous type variable ‘p0’ arising from an annotation
4       prevents the constraint ‘(Data.Data.Data p0)’ from being solved.
5       Probable fix: use a type annotation to specify what ‘p0’ should be.
6       These potential instances exist:
7         instance (Data.Data.Data a, Data.Data.Data b) =>
8                  Data.Data.Data (Either a b)
9           -- Defined in ‘Data.Data’
10         instance Data.Data.Data Ordering -- Defined in ‘Data.Data’
11         instance Data.Data.Data Integer -- Defined in ‘Data.Data’
12         ...plus 15 others
13         ...plus 39 instances involving out-of-scope types
14         (use -fprint-potential-instances to see them all)
15     • In the annotation: {-# ANN f 1 #-}
16
17 annfail10.hs:9:11: error:
18     • Ambiguous type variable ‘p0’ arising from the literal ‘1’
19       prevents the constraint ‘(Num p0)’ from being solved.
20       Probable fix: use a type annotation to specify what ‘p0’ should be.
21       These potential instances exist:
22         instance Num Integer -- Defined in ‘GHC.Num’
23         instance Num Double -- Defined in ‘GHC.Float’
24         instance Num Float -- Defined in ‘GHC.Float’
25         ...plus two others
26         ...plus 13 instances involving out-of-scope types
27         (use -fprint-potential-instances to see them all)
28     • In the annotation: {-# ANN f 1 #-}