only output .debug.nockma file with the --debug flag

anoma · Sep 9, 2024 · 2dac769 · 2dac769
1 parent ab2d31a
commit 2dac769
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/app/Commands/Compile/Anoma.hs b/app/Commands/Compile/Anoma.hs
@@ -23,11 +23,11 @@ runCommand opts = do
       $ coreRes
         ^. coreResultModule
   res <- getRight r
-  outputAnomaResult nockmaFile res
+  outputAnomaResult (opts' ^. compileDebug) nockmaFile res
 
-outputAnomaResult :: (Members '[EmbedIO, App] r) => Path Abs File -> Nockma.AnomaResult -> Sem r ()
-outputAnomaResult nockmaFile Nockma.AnomaResult {..} = do
+outputAnomaResult :: (Members '[EmbedIO, App] r) => Bool -> Path Abs File -> Nockma.AnomaResult -> Sem r ()
+outputAnomaResult debugOutput nockmaFile Nockma.AnomaResult {..} = do
   let code = Nockma.ppSerialize _anomaClosure
-      prettyNockmaFile = replaceExtensions' [".pretty", ".nockma"] nockmaFile
+      prettyNockmaFile = replaceExtensions' [".debug", ".nockma"] nockmaFile
   writeFileEnsureLn nockmaFile code
-  writeFileEnsureLn prettyNockmaFile (Nockma.ppPrint _anomaClosure)
+  when debugOutput (writeFileEnsureLn prettyNockmaFile (Nockma.ppPrint _anomaClosure))