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

tcfail207.hs:5:7:
    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:
    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