Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail167.stderr
1
2 tcfail167.hs:14:14: error:
3     • Couldn't match type ‘Char’ with ‘Float’
4       Inaccessible code in
5         a pattern with constructor: C2 :: T Float,
6         in an equation for ‘inaccessible’
7     • In the pattern: C2
8       In an equation for ‘inaccessible’: inaccessible C2 = ' '