Module B00_conv.Memo

val pp_leveled_feedback : ?⁠sep:unit B0_std.Fmt.t -> ?⁠op_howto:B00.Op.t B0_std.Fmt.t -> show_op_ui:B0_std.Log.level -> show_op:B0_std.Log.level -> level:B0_std.Log.level -> [ B00.Memo.feedback | B00.File_cache.feedback | B00.Exec.feedback ] B0_std.Fmt.t

pp_leveled_feedback ~sep ~op_howto ~show_spawn_ui ~show_success ~level ppf formats memo feedback on ppf followed by sep iff something is printed (defaults to Fmt.flush_nl).

  • Log.Quiet formats nothing
  • Log.Error and Log.Warning only report build operation failures
  • Log.Debug report all operations with all the information.

besides for operations that execute without failure:

  • show_op_ui is the level at which any executed operation with a feedback UI is logged with B00_conv.Op.pp_short_and_ui
  • show_op is the level at which any executed operation gets logged with B00_conv.Op.pp_short_and_ui

The formatter op_howto should format a way to got more information about an operation, default to nop.

val pp_never_ready : op_howto:B0_std.Fpath.t B0_std.Fmt.t -> B0_std.Fpath.Set.t B0_std.Fmt.t

pp_never_reads ~op_howto formats a failure indicating the given set of files never became ready.

op_howto is prefixed before each file and should be a command fragment to get information about which operation needed the file.

val pp_stats : B00.Memo.t B0_std.Fmt.t

pp_stats formats statistics about the memoizer.