Fix issue89. Copy the out param to a local before use it in an anonymous

method that is generated by LetExpr. Change the compiler so that each stmt
writes to its own buffer before add it to the program's buffer so that we can
insert the above mentioned copy instruction before the stmt.

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs
index 8282edc7..6cfbe7e1 100644
--- a/Source/DafnyDriver/DafnyDriver.cs
+++ b/Source/DafnyDriver/DafnyDriver.cs
@@ -300,14 +300,14 @@ namespace Microsoft.Dafny
 

       // Compile the Dafny program into a string that contains the C# program

       StringWriter sw = new StringWriter();

-      Dafny.Compiler compiler = new Dafny.Compiler(sw);

+      Dafny.Compiler compiler = new Dafny.Compiler();

       compiler.ErrorWriter = outputWriter;

       var hasMain = compiler.HasMain(dafnyProgram);

       if (DafnyOptions.O.RunAfterCompile && !hasMain) {

         // do no more

         return;

       }

-      compiler.Compile(dafnyProgram);

+      compiler.Compile(dafnyProgram, sw);

       var csharpProgram = sw.ToString();

       bool completeProgram = compiler.ErrorCount == 0;