diff options
author | 2014-08-19 11:25:59 -0700 | |
---|---|---|
committer | 2014-08-19 11:25:59 -0700 | |
commit | 3b51d9251d78bd3de763c951102677eecd764984 (patch) | |
tree | c265e9a99caaf201c3e43f4384000ba6256158ba /Source/Dafny/Resolver.cs | |
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 'Source/Dafny/Resolver.cs')
0 files changed, 0 insertions, 0 deletions