blob: 9144b5fdb368d6e3ec15cb926733c7e6663e6865 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
FD3.hs:15:15:
Couldn't match type `a' with `([Char], a)'
`a' is a rigid type variable bound by
the type signature for translate :: (String, a) -> A a
at FD3.hs:14:23
When using functional dependencies to combine
MkA a a,
arising from the dependency `a -> b'
in the instance declaration at FD3.hs:12:10
MkA ([Char], a) a, arising from a use of `mkA' at FD3.hs:15:15-17
In the expression: mkA a
In an equation for `translate': translate a = mkA a
|