testsuite: tweak error messages for new Show instance
[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 Show Ordering -- Defined in ‘GHC.Show’
8         instance Show Integer -- Defined in ‘GHC.Show’
9         instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
10         ...plus 22 others
11         ...plus six instances involving out-of-scope types
12         (use -fprint-potential-instances to see them all)
13     • In the expression: print [1]
14       In an equation for ‘main’: main = print [1]
15
16 overloadedlistsfail01.hs:5:14: error:
17     • Ambiguous type variable ‘a0’ arising from an overloaded list
18       prevents the constraint ‘(GHC.Exts.IsList a0)’ from being solved.
19       Probable fix: use a type annotation to specify what ‘a0’ should be.
20       These potential instances exist:
21         instance GHC.Exts.IsList [a] -- Defined in ‘GHC.Exts’
22         ...plus two instances involving out-of-scope types
23         (use -fprint-potential-instances to see them all)
24     • In the first argument of ‘print’, namely ‘[1]’
25       In the expression: print [1]
26       In an equation for ‘main’: main = print [1]
27
28 overloadedlistsfail01.hs:5:15: error:
29     • Ambiguous type variable ‘a0’ arising from the literal ‘1’
30       prevents the constraint ‘(Num
31                                   (GHC.Exts.Item a0))’ from being solved.
32       Probable fix: use a type annotation to specify what ‘a0’ should be.
33       These potential instances exist:
34         instance Num Integer -- Defined in ‘GHC.Num’
35         instance Num Double -- Defined in ‘GHC.Float’
36         instance Num Float -- Defined in ‘GHC.Float’
37         ...plus two others
38         (use -fprint-potential-instances to see them all)
39     • In the expression: 1
40       In the first argument of ‘print’, namely ‘[1]’
41       In the expression: print [1]