blob: 38c8cf6b2f209ee6e0d3c1dd0c8ff5130e02441d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
NoMatchErr.hs:20:12:
Could not deduce (Memo d0 ~ Memo d)
from the context (Fun d)
bound by the type signature for f :: Fun d => Memo d a -> Memo d a
at NoMatchErr.hs:20:1-15
NB: `Memo' is a type function, and may not be injective
Expected type: Memo d a
Actual type: Memo d0 a
Expected type: Memo d a -> d0 -> a
Actual type: Memo d0 a -> d0 -> a
In the second argument of `(.)', namely `appl'
In the expression: abst . appl
|