ppx_minidebug icon indicating copy to clipboard operation
ppx_minidebug copied to clipboard
verified publisher icon lukstafi

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

Open lukstafi opened this issue 1 year ago • 1 comments

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

lukstafi avatar Feb 22 '24 08:02 lukstafi

Maybe Explicit_excluding_prefixed is better overall -- especially for the current semantics of Prefixed [||].

lukstafi avatar Feb 22 '24 08:02 lukstafi

Obsolete now that we plan to get rid of prefix filtering.

lukstafi avatar Aug 02 '24 07:08 lukstafi