blob: a2a992818162603a40f5cc017c9de983bf3ed827 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
FDsFromGivens.hs:9:7: error:
Couldn't match type ‘[a]’ with ‘Bool’
arising from a functional dependency between constraints:
‘C Char Bool’
arising from the type signature for:
g1 :: (C Char [a], C Char Bool) => a -> ()
at FDsFromGivens.hs:9:7-42
‘C Char [a]’
arising from the type signature for:
g1 :: (C Char [a], C Char Bool) => a -> ()
at FDsFromGivens.hs:9:7-42
In the ambiguity check for the type signature for ‘g1’:
g1 :: forall a. (C Char [a], C Char Bool) => a -> ()
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature for ‘g1’:
g1 :: (C Char [a], C Char Bool) => a -> ()
|