Lukasz Stafiniak

I wasted some time debugging, and only discovered the problem by switching to the flushing backend, where I got a nice stack trace.

Add the ones that are possible, in particular `Nonempty_entries` is not but most levels are possible.

They are standardized and error-case-specific. We could also print arbitrary exceptions but that might be too much noise.

Introduce a new log level `Exclude_prefixed`, or `Explicit_excluding_prefixed`

1

Use `Exclude_prefixed [||]` instead of `Prefixed [||]` for explicit-only logs.

[_Landmarks_](https://github.com/LexiFi/landmarks) is for profiling, so it aggregates passes through a code path (ppx_minidebug logs each pass separately). Maybe I can improve my ppx code quality. _Landmarks_ offers call graph visualization,...

That's what decides what goes into the header and what under the fold in the PrintBox backend. Sexps are already boxified at this point and not distinguishable from subtrees...

The example error, from the test suite: ```ocaml Error: This expression has type (module Minidebug_runtime.PrintBox_runtime) -> int list -> int but an expression was expected of type (module Minidebug_runtime.PrintBox_runtime) ->...

Therefore, removing `with-doc` from the `md2mld` dependency for the time being.

The derivation .tm source is not in the repo.

Instead of introducing category theory by itself, discuss the `Preface` library

1

[Preface](https://ocaml-preface.github.io/preface/Preface/index.html) It implements many algebraic / category-theoretic abstractions.