testsuite: tweak error messages for new Show instance
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail133.stderr
1
2 tcfail133.hs:2:61: warning:
3     -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
4
5 tcfail133.hs:68:7: error:
6     • Ambiguous type variable ‘a0’ arising from a use of ‘show’
7       prevents the constraint ‘(Show a0)’ from being solved.
8       Probable fix: use a type annotation to specify what ‘a0’ should be.
9       These potential instances exist:
10         instance Show Ordering -- Defined in ‘GHC.Show’
11         instance Show Integer -- Defined in ‘GHC.Show’
12         instance (Show a, Show b, Number a, Digit b) => Show (a :@ b)
13           -- Defined at tcfail133.hs:11:54
14         ...plus 25 others
15         ...plus five instances involving out-of-scope types
16         (use -fprint-potential-instances to see them all)
17     • In the expression: show $ add (One :@ Zero) (One :@ One)
18       In an equation for ‘foo’:
19           foo = show $ add (One :@ Zero) (One :@ One)
20
21 tcfail133.hs:68:14: error:
22     • No instance for (AddDigit (Zero :@ (One :@ One)) One a0)
23         arising from a use of ‘add’
24     • In the second argument of ‘($)’, namely
25         ‘add (One :@ Zero) (One :@ One)’
26       In the expression: show $ add (One :@ Zero) (One :@ One)
27       In an equation for ‘foo’:
28           foo = show $ add (One :@ Zero) (One :@ One)