blob: 62385ea1df423ee84c84a969e7591d9b6b9401b4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
T5853.hs:15:46: error:
• Could not deduce: Subst (Subst t2 t) t1 ~ Subst t2 t1
arising from a use of ‘<$>’
from the context: (F t2,
Elem t2 ~ Elem t2,
Elem (Subst t2 t1) ~ t1,
Subst t2 t1 ~ Subst t2 t1,
Subst (Subst t2 t1) (Elem t2) ~ t2,
F (Subst t2 t),
Elem (Subst t2 t) ~ t,
Elem t2 ~ Elem t2,
Subst (Subst t2 t) (Elem t2) ~ t2,
Subst t2 t ~ Subst t2 t)
bound by the RULE "map/map" at T5853.hs:15:2-57
NB: ‘Subst’ is a type function, and may not be injective
• In the expression: (f . g) <$> xs
When checking the transformation rule "map/map"
• Relevant bindings include
f :: Elem t2 -> t1 (bound at T5853.hs:15:19)
g :: t -> Elem t2 (bound at T5853.hs:15:21)
xs :: Subst t2 t (bound at T5853.hs:15:23)
|
