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