Skip to content

Many improvements to the "logging framework" use-case

Compare
Choose a tag to compare
@lukstafi lukstafi released this 28 Feb 12:21
· 102 commits to main since this release

Many improvements, see CHANGELOG.md for details. Highlights:

  • A new registered extension point prefix %diagn_ that restricts the log level to explicit logs.
  • Periodic snapshotting of un-closed log trees.
  • Make your logs nicer with %log_result (to be paired with values_first_mode) and %log_printbox.
  • Breaking: getting rid of Pp_format.

P.S. While waiting for a bug fix PrintBox 0.10.1 release and then ppx_minidebug 1.3.1, you can apply the fix to line breaks in the HTML output by installing printbox from sources.