fix html output
build / build (push) Successful in 1m21s

This commit is contained in:
2026-08-27 02:16:52 -06:00
parent 8048573cd8
commit 679cc076ad
2 changed files with 13 additions and 4 deletions
+2 -1
View File
@@ -8,4 +8,5 @@ dist-newstyle
*.tix
.direnv
result
play/
play/
trace.html
+11 -3
View File
@@ -228,6 +228,9 @@ ppDoc p t =
.syn-procedure {
color: teal;
}
td pre {
display: inline
}
.syn-paren-0 { color: maroon; }
.syn-paren-1 { color: olive; }
.syn-paren-2 { color: green; }
@@ -254,9 +257,14 @@ ppTrace trace =
go = \case
Step vm next -> ppVM vm >> go next
StepToSuccess vm rs -> do
ppVM vm
tr_ [colspan_ "3",class_ "trace-result"] do
sequence_ . intersperse " | " $ code_ . ppDatum <$> rs
tr_ [class_ "trace-result"] do
td_ do
details_ do
summary_ "result"
pre_ do
code_ . toHtml . pShowNoColor $ vm
td_ [colspan_ "2"] do
sequence_ . intersperse " | " $ code_ . ppDatum <$> rs
StepToFailure vm err -> do
ppVM vm
tr_ [class_ "trace-failure"] do