diff options
| author |  Rustan Leino <unknown> | 2014-01-08 18:47:33 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-01-08 18:47:33 -0800 |
| commit | 041a1a226a96ba55ff22251eb98666241a1d769a (patch) | |
| tree | 88a3d00b32dcb02883fb85293d27f73ae9c3cfec /Source/Dafny/Makefile | |
| parent | 621178a0da1fee756dcf6dd713c8ef5b14530800 (diff) | |
Allow left-hand sides of a let expression to be patterns (like in the case of a match expression).
Moved the implementation of CondApplyBox, BoxIfNecessary, CondApplyUnbox, and ModeledAsBoxType from class ExpressionTranslator to class Translator.
Fixed compilation of match expressions, to allow them anywhere.
Diffstat (limited to 'Source/Dafny/Makefile')
0 files changed, 0 insertions, 0 deletions