diff options
Diffstat (limited to 'Test/hofs/LambdaParsefail.dfy.expect')
| -rw-r--r-- | Test/hofs/LambdaParsefail.dfy.expect | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Test/hofs/LambdaParsefail.dfy.expect b/Test/hofs/LambdaParsefail.dfy.expect index b1334b85..d7ee9510 100644 --- a/Test/hofs/LambdaParsefail.dfy.expect +++ b/Test/hofs/LambdaParsefail.dfy.expect @@ -1,5 +1,6 @@ LambdaParsefail.dfy(5,17): error: Invalid variable binding in lambda.
LambdaParsefail.dfy(6,16): error: Expected variable binding.
LambdaParsefail.dfy(7,16): error: Expected variable binding.
-LambdaParsefail.dfy(12,17): error: semi expected
-4 parse errors detected in LambdaParsefail.dfy
+LambdaParsefail.dfy(8,21): error: cannot declare identifier beginning with underscore
+LambdaParsefail.dfy(9,17): error: semi expected
+5 parse errors detected in LambdaParsefail.dfy
|