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

tcfail207.hs:5:7:
    Couldn't match expected type `[Int] -> [Int]'
                with actual type `[a1]'
    In the return type of a call of `take'
    Probable 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]'
    In the return type of a call of `take'
    Probable cause: `take' is applied to too few arguments
    In the expression: take 3
    In an equation for `g': g = take 3