Use ppOutDefault in output so colours are shown

Co-authored-by: Jan Mas Rovira <[email protected]>
anoma · Nov 25, 2024 · 24a796b · 24a796b
1 parent 442ca5b
commit 24a796b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/app/Commands/Dev/Anoma/Prove.hs b/app/Commands/Dev/Anoma/Prove.hs
@@ -12,7 +12,7 @@ runCommand :: forall r. (Members (Anoma ': Error SimpleError ': AppEffects) r) =
 runCommand opts = do
   res <- runNock (opts ^. proveFile) (opts ^. proveArgs)
   let traces = res ^. runNockmaTraces
-  forM_ traces (renderStdOutLn . ppPrint)
+  forM_ traces (renderStdOutLn . ppOutDefault)
   let provedCode = Encoding.jamToByteString (res ^. runNockmaResult)
   outputFile <- getOutputFile (opts ^. proveOutputFile)
   writeFileBS outputFile provedCode

diff --git a/app/Commands/Dev/Nockma/Run/Anoma.hs b/app/Commands/Dev/Nockma/Run/Anoma.hs
@@ -18,6 +18,6 @@ runInAnoma runArgs = do
   let traces = res ^. runNockmaTraces
   renderStdOutLn (annotate AnnImportant $ "Traces (" <> show (length traces) <> "):")
   forM_ traces $ \tr ->
-    renderStdOutLn (ppPrint tr)
+    renderStdOutLn (ppOutDefault tr)
   renderStdOutLn (annotate AnnImportant "Result:")
-  renderStdOutLn (ppPrint (res ^. runNockmaResult))
+  renderStdOutLn (ppOutDefault (res ^. runNockmaResult))