blob: 52e8d8a4eb7b8dfe405936b9dd7e38ad153f9bb1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
FDsFromGivens.hs:21:15:
Couldn't match type ‘Char’ with ‘[a]’
arising from a functional dependency between constraints:
‘C Char [a]’ arising from a use of ‘f’ at FDsFromGivens.hs:21:15
‘C Char Char’
arising from a pattern with constructor:
KCC :: C Char Char => () -> KCC,
in an equation for ‘bar’
at FDsFromGivens.hs:21:6-10
Relevant bindings include
bar :: KCC -> a -> a (bound at FDsFromGivens.hs:21:1)
In the expression: f
In an equation for ‘bar’: bar (KCC _) = f
|