diff --git a/.gitignore b/.gitignore index aa09459..abee88b 100644 --- a/.gitignore +++ b/.gitignore @@ -8,4 +8,5 @@ dist-newstyle *.tix .direnv result -play/ \ No newline at end of file +play/ +trace.html \ No newline at end of file diff --git a/src/Gyehoek/Stack/VM.hs b/src/Gyehoek/Stack/VM.hs index 3ac953c..5aae450 100644 --- a/src/Gyehoek/Stack/VM.hs +++ b/src/Gyehoek/Stack/VM.hs @@ -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