diff options
Diffstat (limited to 'Test/test2/Lambda.bpl')
| -rw-r--r-- | Test/test2/Lambda.bpl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Test/test2/Lambda.bpl b/Test/test2/Lambda.bpl index 177900f4..477d0f36 100644 --- a/Test/test2/Lambda.bpl +++ b/Test/test2/Lambda.bpl @@ -55,3 +55,11 @@ procedure a() assert diff(a,b)[1]; assert !diff(a,b)[2]; } + +procedure nestedLambda() +{ + var a: [int][int]int; + + a := (lambda x: int :: (lambda y: int :: x+y)); +} + |