Some tidying up of type pretty-printing
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail175.stderr
1
2 tcfail175.hs:11:1: error:
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:
7           evalRHS :: forall a. Int -> a
8         at tcfail175.hs:10:1-19
9     • The equation(s) for ‘evalRHS’ have three arguments,
10       but its type ‘Int -> a’ has only one
11     • Relevant bindings include
12         evalRHS :: Int -> a (bound at tcfail175.hs:11:1)