Get rid of config log headers

lukstafi · Jan 22, 2024 · eeda2a6 · eeda2a6
1 parent 905fba9
commit eeda2a6
Show file tree

Hide file tree

Showing 4 changed files with 280 additions and 359 deletions.
diff --git a/minidebug_runtime.ml b/minidebug_runtime.ml
@@ -527,9 +527,6 @@ let debug_file ?(time_tagged = false) ?max_nesting_depth ?max_num_children
   Debug.config.values_first_mode <- values_first_mode;
   Debug.config.hyperlink <-
     (match hyperlink with None -> `No_hyperlinks | Some prefix -> `Prefix prefix);
-  CFormat.fprintf Debug.ppf "@.HTML CONFIG: values_first_mode=%b hyperlink=%s\n@."
-    values_first_mode
-    (Option.value hyperlink ~default:"<no-links>");
   (module Debug)
 
 let debug ?(debug_ch = stdout) ?(time_tagged = false) ?max_nesting_depth ?max_num_children
@@ -545,7 +542,6 @@ let debug ?(debug_ch = stdout) ?(time_tagged = false) ?max_nesting_depth ?max_nu
   Debug.config.highlighted_roots <- highlighted_roots;
   Debug.config.exclude_on_path <- Option.map Re.compile exclude_on_path;
   Debug.config.values_first_mode <- values_first_mode;
-  CFormat.fprintf Debug.ppf "@.TEXT CONFIG: values_first_mode=%b\n@." values_first_mode;
   (module Debug)
 
 let debug_flushing ?(debug_ch = stdout) ?(time_tagged = false) ?max_nesting_depth

diff --git a/test/debugger_sexp_html.expected.html b/test/debugger_sexp_html.expected.html
@@ -1,8 +1,5 @@
 
 BEGIN DEBUG SESSION
-
-HTML CONFIG: values_first_mode=false hyperlink=../
-
 <div><div><div><a href="../test/test_debug_html.ml#L8"><span class="">&quot;test/test_debug_html.ml&quot;:8:19-10:17: foo</span></a></div><ul><li><pre><span class="" style="font-family: monospace">x = 7</span></pre></li><li><div><div><a href="../test/test_debug_html.ml#L9"><span class="">&quot;test/test_debug_html.ml&quot;:9:6: y</span></a></div><ul><li><pre><span class="" style="font-family: monospace">y = 8</span></pre></li></ul></div></li><li><pre><span class="" style="font-family: monospace">foo = (7 8 16)</span></pre></li></ul></div></div>
 
 <div><div><div><a href="../test/test_debug_html.ml#L16"><span class="">&quot;test/test_debug_html.ml&quot;:16:19-18:14: bar</span></a></div><ul><li><pre><span class="" style="font-family: monospace">x = ((first 7) (second 42))</span></pre></li><li><div><div><a href="../test/test_debug_html.ml#L17"><span class="">&quot;test/test_debug_html.ml&quot;:17:6: y</span></a></div><ul><li><pre><span class="" style="font-family: monospace">y = 8</span></pre></li></ul></div></li><li><pre><span class="" style="font-family: monospace">bar = 336</span></pre></li></ul></div></div>

diff --git a/test/debugger_sexp_md.expected.md b/test/debugger_sexp_md.expected.md
@@ -1,8 +1,5 @@
 
 BEGIN DEBUG SESSION
-
-HTML CONFIG: values_first_mode=true hyperlink=../
-
 <details><summary><span style="font-family: monospace">foo = (7 8 16)</span></summary>
 
 - ["test/test_debug_md.ml":8:19-10:17](../test/test_debug_md.ml#L8)