DafnyExtension: Made it display the compilation output in the VS output pane.

2 files changed, 6 insertions, 4 deletions

diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs
index 5a71164e..0f16242c 100644
--- a/Source/DafnyExtension/DafnyDriver.cs
+++ b/Source/DafnyExtension/DafnyDriver.cs
@@ -170,10 +170,10 @@ namespace DafnyLanguage
 

     #region Compilation

 

-    public static void Compile(Dafny.Program dafnyProgram)

+    public static void Compile(Dafny.Program dafnyProgram, TextWriter outputWriter)

     {

       Microsoft.Dafny.DafnyOptions.O.SpillTargetCode = true;

-      Microsoft.Dafny.DafnyDriver.CompileDafnyProgram(dafnyProgram, dafnyProgram.Name);

+      Microsoft.Dafny.DafnyDriver.CompileDafnyProgram(dafnyProgram, dafnyProgram.Name, outputWriter);

     }

 

     #endregion

diff --git a/Source/DafnyExtension/MenuProxy.cs b/Source/DafnyExtension/MenuProxy.cs
index 59afc448..a67ba602 100644
--- a/Source/DafnyExtension/MenuProxy.cs
+++ b/Source/DafnyExtension/MenuProxy.cs
@@ -1,5 +1,6 @@
-using System;

+using System;

 using System.Collections.Generic;

+using System.IO;

 using System.Linq;

 using System.Text;

 using System.Threading.Tasks;

@@ -75,7 +76,8 @@ namespace DafnyLanguage
           && DafnyLanguage.ResolverTagger.ResolverTaggers.TryGetValue(activeTextView.TextBuffer, out resolver)

           && resolver.Program != null)

       {

-        DafnyMenuPackage.ExecuteAsCompiling(() => { DafnyDriver.Compile(resolver.Program); });

+        var outputWriter = new StringWriter();

+        DafnyMenuPackage.ExecuteAsCompiling(() => { DafnyDriver.Compile(resolver.Program, outputWriter); }, outputWriter);

       }

     }