blob: 712f732b06eb2718cc5afd9eed1e36552c1f0ce2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
T3208b.hs:15:10:
Could not deduce (STerm a0 ~ 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:15:1-22
NB: `STerm' is a type function, and may not be injective
Expected type: STerm a0
Actual type: OTerm a0
In the expression: fce (apply f)
In an equation for `fce'': fce' f = fce (apply f)
T3208b.hs:15:15:
Could not deduce (OTerm a0 ~ 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:15:1-22
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)
|