Currently the traces are printed with hardcoded escape codes which makes it hard to show in brick UI (example). We should update showTrace to return a Doc structure and use ANSI terminal renderer to restore the current behavior. This will also make formatting traces a lot more flexible so we don't have to rewrite showTrace for each use case.
There are many pretty printing libraries in Haskell, here is some rationale for using prettyprinter.
Currently the traces are printed with hardcoded escape codes which makes it hard to show in brick UI (example). We should update showTrace to return a
Doc
structure and use ANSI terminal renderer to restore the current behavior. This will also make formatting traces a lot more flexible so we don't have to rewriteshowTrace
for each use case.There are many pretty printing libraries in Haskell, here is some rationale for using prettyprinter.