diff options
author | 2014-01-08 18:47:33 -0800 | |
---|---|---|
committer | 2014-01-08 18:47:33 -0800 | |
commit | 041a1a226a96ba55ff22251eb98666241a1d769a (patch) | |
tree | 88a3d00b32dcb02883fb85293d27f73ae9c3cfec /Source/DafnyExtension | |
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/DafnyExtension')
0 files changed, 0 insertions, 0 deletions