summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/too-many.stderr
blob: 01e50050ff6bc7593b03a52101086b267d384377 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

too-many.hs:9:11: error:
    • Couldn't match type ‘Bool’ with ‘Int -> Bool’
      Expected: Int -> Int -> Bool
        Actual: Int -> Bool
    • Possible cause: ‘f1’ is applied to too many arguments
      In the first argument of ‘foo’, namely ‘(f1 2 3)’
      In the expression: foo (f1 2 3)
      In an equation for ‘g1’: g1 = foo (f1 2 3)

too-many.hs:16:11: error:
    • Couldn't match expected type ‘Int -> Int -> Bool’
                  with actual type ‘Bool’
    • In the first argument of ‘foo’, namely ‘(f2 2)’
      In the expression: foo (f2 2)
      In an equation for ‘g2’: g2 = foo (f2 2)