blob: b40942a5a93b6f4aad6045f306a6587f2dd6caad (
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
|
T3208b.hs:15:10: error:
• Could not deduce: OTerm o0 ~ STerm o0
from the context: (OTerm a ~ STerm a, OBJECT a, SUBST a)
bound by the type signature for:
fce' :: (OTerm a ~ STerm a, OBJECT a, SUBST a) => a -> c
at T3208b.hs:14:1-56
The type variable ‘o0’ is ambiguous
• In the expression: fce (apply f)
In an equation for ‘fce'’: fce' f = fce (apply f)
T3208b.hs:15:15: error:
• Could not deduce: OTerm o0 ~ STerm a
from the context: (OTerm a ~ STerm a, OBJECT a, SUBST a)
bound by the type signature for:
fce' :: (OTerm a ~ STerm a, OBJECT a, SUBST a) => a -> c
at T3208b.hs:14:1-56
The type variable ‘o0’ is ambiguous
• In the first argument of ‘fce’, namely ‘(apply f)’
In the expression: fce (apply f)
In an equation for ‘fce'’: fce' f = fce (apply f)
• Relevant bindings include
f :: a (bound at T3208b.hs:15:6)
fce' :: a -> c (bound at T3208b.hs:15:1)
|