summaryrefslogtreecommitdiff
path: root/Test/test1/Lambda.bpl.expect
blob: a917f0fa21df41f0197ad90c8544fd2e6c2609a4 (plain)
1
2
3
4
5
6
Lambda.bpl(7,2): Error: mismatched types in assignment command (cannot assign [int]int to [int,int]int)
Lambda.bpl(8,2): Error: mismatched types in assignment command (cannot assign [int]int to [int]bool)
Lambda.bpl(14,8): Error: the type variable T does not occur in types of the lambda parameters
Lambda.bpl(14,2): Error: mismatched types in assignment command (cannot assign <T>[int]int to [int]int)
Lambda.bpl(20,27): Error: invalid argument types (bool and int) to binary operator +
5 type checking errors detected in Lambda.bpl