feat: Run Python byte-code compiler during /compile:1 (#4155)

Co-authored-by: Robin Salkeld <salkeldr@amazon.com>
dafny-lang · Jun 8, 2023 · a8bbb87 · a8bbb87
1 parent 8461d05
commit a8bbb87
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/Source/DafnyCore/Compilers/Python/PythonBackend.cs b/Source/DafnyCore/Compilers/Python/PythonBackend.cs
@@ -84,6 +84,11 @@ public override bool CompileTargetProgram(string dafnyProgramName, string target
         return false;
       }
     }
+    if (!runAfterCompile) {
+      var psi = PrepareProcessStartInfo("python3");
+      psi.Arguments = $"-m compileall -q {Path.GetDirectoryName(targetFilename)}";
+      return 0 == RunProcess(psi, outputWriter, outputWriter, "Error while compiling Python files.");
+    }
     return true;
   }
 

diff --git a/docs/dev/4155.feat b/docs/dev/4155.feat
@@ -0,0 +1 @@
+After generating Python code we run the byte-code compiler to surface possible issues earlier, if it's not subsequently run.
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		After generating Python code we run the byte-code compiler to surface possible issues earlier, if it's not subsequently run.