summaryrefslogtreecommitdiff
path: root/Test/test1/Lambda.bpl
blob: d0ccd3a1afd83bc0ad4bfede7e7d92a71e7ba9d5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
procedure foo()
{
  var a: [int,int]int;
  var b: [int]bool;
  a := (lambda y:int :: y + 1);
  b := (lambda y:int :: y + 1);
}

procedure bar()
{
  var a: [int]int;
  a := (lambda<T> y:int :: y + 1);
}

procedure baz()
{
  var a: [bool]int;
  a := (lambda y:bool :: y + 1);
}