ppx_minidebug
ppx_minidebug copied to clipboard
Introduce a new log level `Exclude_prefixed`, or `Explicit_excluding_prefixed`
Use Exclude_prefixed [||] instead of Prefixed [||] for explicit-only logs.
Maybe Explicit_excluding_prefixed is better overall -- especially for the current semantics of Prefixed [||].
Obsolete now that we plan to get rid of prefix filtering.