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

T13902.hs:8:5: error:
    • Couldn't match expected type ‘t0 -> Int’ with actual type ‘Int’
    • The function ‘f’ is applied to two value arguments,
        but its type ‘Int -> Int’ has only one
      In the expression: f @Int 42 5
      In an equation for ‘g’: g = f @Int 42 5