Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / FDsFromGivens2.stderr
1
2 FDsFromGivens2.hs:14: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:14: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:14:6-10
11     Relevant bindings include
12       bar :: KCC -> a -> a (bound at FDsFromGivens2.hs:14:1)
13     In the expression: f
14     In an equation for ‘bar’: bar (KCC _) = f