summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail207.stderr
blob: eb6fb1db15d16917f475f9c8774d9589da8e9b9e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14

tcfail207.hs:5:7: error:
    • Couldn't match expected type: [Int] -> [Int]
                  with actual type: [a1]
    • Possible cause: ‘take’ is applied to too many arguments
      In the expression: take x []
      In an equation for ‘f’: f x = take x []

tcfail207.hs:9:5: error:
    • Couldn't match expected type: [Int]
                  with actual type: [a0] -> [a0]
    • Probable cause: ‘take’ is applied to too few arguments
      In the expression: take 3
      In an equation for ‘g’: g = take 3