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

tcfail175.hs:11:1:
    Couldn't match expected type `a'
                with actual type `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