blob: 0ba65872731bd3b5eb6dbcbb565728cfa69c5c3e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
FD3.hs:15:15:
Couldn't match type ‘a’ with ‘(String, a)’
‘a’ is a rigid type variable bound by
the type signature for translate :: (String, a) -> A a
at FD3.hs:14:14
arising from a functional dependency between:
constraint ‘MkA (String, a) a’ arising from a use of ‘mkA’
instance ‘MkA a1 a1’ at FD3.hs:12:10-16
Relevant bindings include
a :: (String, a) (bound at FD3.hs:15:11)
translate :: (String, a) -> A a (bound at FD3.hs:15:1)
In the expression: mkA a
In an equation for ‘translate’: translate a = mkA a
|