;lib: debug doc

This commit is contained in:
Simon Michael 2020-06-14 17:27:15 -07:00
parent 684cb45e1a
commit 562480efea

View File

@ -22,6 +22,11 @@ Debug level: What to show:
8 input file reading, more detail 8 input file reading, more detail
9 any other rarely needed / more in-depth info 9 any other rarely needed / more in-depth info
Tip: when debugging with GHCI, the first run after loading Debug.hs sets the
debug level. If you need to change it, you must touch Debug.hs, :reload in GHCI,
then run the command with a new --debug value. Or, often it's more convenient
to add a temporary dbg0 and :reload (dbg0 always prints).
-} -}
-- more: -- more: