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/Underspecified.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/Underspecified.dfy.expect')
| -rw-r--r-- | Test/hofs/Underspecified.dfy.expect | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Test/hofs/Underspecified.dfy.expect b/Test/hofs/Underspecified.dfy.expect new file mode 100644 index 00000000..dfb4e978 --- /dev/null +++ b/Test/hofs/Underspecified.dfy.expect @@ -0,0 +1,5 @@ +Underspecified.dfy(6,11): Error: type of bound variable '_v0' could not determined; please specify the type explicitly
+Underspecified.dfy(7,12): Error: type of bound variable '_v1' could not determined; please specify the type explicitly
+Underspecified.dfy(7,15): Error: type of bound variable '_v2' could not determined; please specify the type explicitly
+Underspecified.dfy(8,11): Error: type of bound variable 'a' could not determined; please specify the type explicitly
+4 resolution/type errors detected in Underspecified.dfy
|