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

T13902.hs:8:5: error:
    • Couldn't match expected type ‘Integer -> Int’
                  with actual type ‘Int’
    • The expression ‘f @Int’ is applied to two 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