Fix issue 94. Allow tuple-based assignment in statement contexts.

1 files changed, 22 insertions, 0 deletions

diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs
index 9ed3b7e0..847617aa 100644
--- a/Source/Dafny/DafnyAst.cs
+++ b/Source/Dafny/DafnyAst.cs
@@ -4084,6 +4084,28 @@ namespace Microsoft.Dafny {
     }

   }

 

+  public class LetStmt : Statement 

+  {

+    public readonly List<CasePattern> LHSs;

+    public readonly List<Expression> RHSs;

+

+    public LetStmt(IToken tok, IToken endTok, List<CasePattern> lhss, List<Expression> rhss)

+      : base(tok, endTok) {

+      LHSs = lhss;

+      RHSs = rhss;

+    }

+

+   public IEnumerable<BoundVar> BoundVars {

+      get {

+        foreach (var lhs in LHSs) {

+          foreach (var bv in lhs.Vars) {

+           yield return bv;

+          }

+        }

+      }

+    }

+  }

+

   /// <summary>

   /// Common superclass of UpdateStmt and AssignSuchThatStmt.

   /// </summary>