summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail175.stderr
blob: f181c00bcd2a8948e33b0a088a518be88eb138a0 (plain)
1
2
3
4
5
6
7

tcfail175.hs:11:1:
    Couldn't match type `a' with `String -> String -> String'
      `a' is a rigid type variable bound by
          the type signature for evalRHS :: Int -> a at tcfail175.hs:11:1
    The equation(s) for `evalRHS' have three arguments,
    but its type `Int -> a' has only one