diff options
Diffstat (limited to 'Test/hofs/LambdaParsefail.dfy')
-rw-r--r-- | Test/hofs/LambdaParsefail.dfy | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/Test/hofs/LambdaParsefail.dfy b/Test/hofs/LambdaParsefail.dfy index a9da4c5e..3dc30100 100644 --- a/Test/hofs/LambdaParsefail.dfy +++ b/Test/hofs/LambdaParsefail.dfy @@ -1,16 +1,15 @@ // RUN: %dafny /print:"%t.print" "%s" > "%t" // RUN: %diff "%s.expect" "%t" -method Fails() { - var g1 := x.x => x; // fail - var g2 := x() => x; // fail - var g3 := ((x)) => x; // fail - +method Fails() { // all these fail + var g1 := x.x => x; + var g2 := x() => x; + var g3 := ((x)) => x; + var g4 := _a => 5; + var g5 := x : int => x; } -method Fail() { - var g8 := x : int => x; // not ok! -} +// the rest of these are OK: function f():() { a.b(x); a.b(x) |