1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
Compiling program test031a
Compiling program test031f
Adding 3 and 2
5
Adding 10 and 1
Adding 10 and 2
Adding 10 and 3
Adding 10 and 4
Adding 10 and 5
Adding 10 and 6
Adding 10 and 7
11,12,13,14,15,16,17,
3
Compiling program test031b
test031b.k:10:Too many arguments in partial application
Compiling program test031c
test031c.k:10:Type error in partial application of 'plus'; has type Int(),
expected t6(Int) (possible reason: too many arguments in function call)
Compiling program test031d
test031d.k:10:Type error in partial application of 'plus'; has type Int(Int,
Int), expected Int(Bool, Int)
Compiling program test031e
test031e.k:4:Type error in identifier 'x'; has type Int, expected Bool
test031e.k:14:Type error in partial application of 'plus'; has type Int(Int),
expected Int(Bool)
|
