Merge branch 'master' of https://github.com/ghc/testsuite
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail175.stderr
1
2 tcfail175.hs:11:1:
3     Couldn't match expected type `String -> String -> String'
4                 with actual type `a'
5       `a' is a rigid type variable bound by
6           the type signature for evalRHS :: Int -> a at tcfail175.hs:10:12
7     Relevant bindings include
8       evalRHS :: Int -> a (bound at tcfail175.hs:11:1)
9     The equation(s) for `evalRHS' have three arguments,
10     but its type `Int -> a' has only one