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

1 files changed, 13 insertions, 0 deletions

diff --git a/Source/Dafny/Printer.cs b/Source/Dafny/Printer.cs
index 54de4905..145e82e7 100644
--- a/Source/Dafny/Printer.cs
+++ b/Source/Dafny/Printer.cs
@@ -963,6 +963,19 @@ namespace Microsoft.Dafny {
         }
         wr.Write(";");
 
+      } else if (stmt is LetStmt) {

+        var s = (LetStmt)stmt;

+        wr.Write("var");

+        string sep = "";

+        foreach (var lhs in s.LHSs) {

+          wr.Write(sep);

+          PrintCasePattern(lhs);

+          sep = ", ";

+        }

+        wr.Write(" := ");

+        PrintExpressionList(s.RHSs, true);

+        wr.WriteLine(";");
+
       } else if (stmt is SkeletonStatement) {
         var s = (SkeletonStatement)stmt;
         if (s.S == null) {