Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / overloadedlists / should_fail / overloadedlistsfail01.stderr
1
2 overloadedlistsfail01.hs:5:8: error:
3     Ambiguous type variable ‘a0’ arising from a use of ‘print’
4     prevents the constraint ‘(Show a0)’ from being solved.
5     Probable fix: use a type annotation to specify what ‘a0’ should be.
6     These potential instances exist:
7       instance [safe] Show Version -- Defined in ‘Data.Version’
8       instance Show Module -- Defined in ‘GHC.Show’
9       instance Show Ordering -- Defined in ‘GHC.Show’
10       ...plus 26 others
11       (use -fprint-potential-instances to see them all)
12     In the expression: print [1]
13     In an equation for ‘main’: main = print [1]
14
15 overloadedlistsfail01.hs:5:14: error:
16     Ambiguous type variable ‘a0’ arising from an overloaded list
17     prevents the constraint ‘(IsList a0)’ from being solved.
18     Probable fix: use a type annotation to specify what ‘a0’ should be.
19     These potential instances exist:
20       instance IsList Version -- Defined in ‘GHC.Exts’
21       instance IsList [a] -- Defined in ‘GHC.Exts’
22     In the first argument of ‘print’, namely ‘[1]’
23     In the expression: print [1]
24     In an equation for ‘main’: main = print [1]
25
26 overloadedlistsfail01.hs:5:15: error:
27     Ambiguous type variable ‘a0’ arising from the literal ‘1’
28     prevents the constraint ‘(Num (Item a0))’ from being solved.
29     Probable fix: use a type annotation to specify what ‘a0’ should be.
30     These potential instances exist:
31       instance Num Integer -- Defined in ‘GHC.Num’
32       instance Num Double -- Defined in ‘GHC.Float’
33       instance Num Float -- Defined in ‘GHC.Float’
34       ...plus two others
35       (use -fprint-potential-instances to see them all)
36     In the expression: 1
37     In the first argument of ‘print’, namely ‘[1]’
38     In the expression: print [1]