Generate Typeable info at definition sites
[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 ‘r0’ arising from a use of ‘show’
7     prevents the constraint ‘(Show r0)’ from being solved.
8     Probable fix: use a type annotation to specify what ‘r0’ should be.
9     These potential instances exist:
10       instance Show Module -- Defined in ‘GHC.Show’
11       instance Show Ordering -- Defined in ‘GHC.Show’
12       instance Show TrName -- Defined in ‘GHC.Show’
13       ...plus 28 others
14       (use -fprint-potential-instances to see them all)
15     In the expression: show
16     In the expression: show $ add (One :@ Zero) (One :@ One)
17     In an equation for ‘foo’:
18         foo = show $ add (One :@ Zero) (One :@ One)
19
20 tcfail133.hs:68:14: error:
21     No instance for (AddDigit (Zero :@ (One :@ One)) One r0)
22       arising from a use of ‘add’
23     In the second argument of ‘($)’, namely
24       ‘add (One :@ Zero) (One :@ One)’
25     In the expression: show $ add (One :@ Zero) (One :@ One)
26     In an equation for ‘foo’:
27         foo = show $ add (One :@ Zero) (One :@ One)