Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / ExpandSynsFail4.stderr
1 ExpandSynsFail4.hs:11:22: error:
2     Couldn't match type ‘Bool’ with ‘Int’
3     Expected type: T Int
4       Actual type: T Bool
5     In the first argument of ‘f’, namely ‘(undefined :: T Bool)’
6     In the second argument of ‘($)’, namely ‘f (undefined :: T Bool)’
7     In the expression: putStrLn $ f (undefined :: T Bool)