blob: 042a87a082952b7026f99ee177fc3b64f06bf5b6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
tcfail133.hs:2:61: Warning:
-XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
tcfail133.hs:68:7:
No instance for (Show a0) arising from a use of `show'
The type variable `a0' is ambiguous
Possible fix: add a type signature that fixes these type variable(s)
Note: there are several potential instances:
instance Show Zero -- Defined at tcfail133.hs:8:29
instance Show One -- Defined at tcfail133.hs:9:28
instance (Show a, Show b, Number a, Digit b) => Show (a :@ b)
-- Defined at tcfail133.hs:11:54
...plus 29 others
In the expression: show
In the expression: show $ add (One :@ Zero) (One :@ One)
In an equation for `foo':
foo = show $ add (One :@ Zero) (One :@ One)
tcfail133.hs:68:14:
No instance for (AddDigit (Zero :@ (One :@ One)) One a0)
arising from a use of `add'
Possible fix:
add an instance declaration for
(AddDigit (Zero :@ (One :@ One)) One a0)
In the second argument of `($)', namely
`add (One :@ Zero) (One :@ One)'
In the expression: show $ add (One :@ Zero) (One :@ One)
In an equation for `foo':
foo = show $ add (One :@ Zero) (One :@ One)
|
