This commit is contained in:
parent
9db9821ac0
commit
18d067746d
1 changed files with 3 additions and 3 deletions
|
|
@ -34,9 +34,9 @@ let reporter : Logs.reporter =
|
||||||
let pp = styled (`Fg color) Logs.pp_header in
|
let pp = styled (`Fg color) Logs.pp_header in
|
||||||
pf ppf "%a" pp v
|
pf ppf "%a" pp v
|
||||||
in
|
in
|
||||||
let pp_src_name ppf v =
|
let pp_src_name =
|
||||||
let pp = using Logs.Src.name (styled `Cyan string) in
|
let pp = using Logs.Src.name (styled `Cyan (fmt "%s: ")) in
|
||||||
if not @@ Logs.Src.equal Logs.default v then pp ppf v
|
fun ppf v -> if not @@ Logs.Src.equal Logs.default v then pp ppf v
|
||||||
in
|
in
|
||||||
let pp_detail = option (styled `Green (fmt " (%s)")) in
|
let pp_detail = option (styled `Green (fmt " (%s)")) in
|
||||||
let report src lvl ~over k msgf =
|
let report src lvl ~over k msgf =
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue