Modified error output and new tests for PolyKinds commit
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail175.stderr
1
2 tcfail175.hs:11:1:
3     Couldn't match expected type `a'
4                 with actual type `String -> String -> String'
5       `a' is a rigid type variable bound by
6           the type signature for evalRHS :: Int -> a at tcfail175.hs:10:19
7     The equation(s) for `evalRHS' have three arguments,
8     but its type `Int -> a' has only one