Fix incorrect ambiguity error on identically-named data constructors
[ghc.git] / testsuite / tests / typecheck / should_fail / FDsFromGivens2.stderr
1
2 FDsFromGivens2.hs:15:15: error:
3     • Couldn't match type ‘Char’ with ‘[a]’
4         arising from a functional dependency between constraints:
5           ‘C Char [a]’ arising from a use of ‘f’ at FDsFromGivens2.hs:15:15
6           ‘C Char Char’
7             arising from a pattern with constructor:
8                            KCC :: C Char Char => () -> KCC,
9                          in an equation for ‘bar’
10             at FDsFromGivens2.hs:15:6-10
11     • In the expression: f
12       In an equation for ‘bar’: bar (KCC _) = f
13     • Relevant bindings include
14         bar :: KCC -> a -> a (bound at FDsFromGivens2.hs:15:1)