diff options
| author |  Dan Rosén <danr@chalmers.se> | 2014-08-19 11:25:59 -0700 |
|---|---|---|
| committer | Dan Rosén <danr@chalmers.se> | 2014-08-19 11:25:59 -0700 |
| commit | 3b51d9251d78bd3de763c951102677eecd764984 (patch) | |
| tree | c265e9a99caaf201c3e43f4384000ba6256158ba /Test/hofs/LambdaParsefail.dfy.expect | |
| parent | 78e74bf9fa5ad7175cafd171427f58f556256e4a (diff) | |
Handle underscores in lambda bound variable lists properly
+ add a test case with lambdas that don't get their types fully specified
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
|