mbarbin / pplumbing / 30

Committed 12 May 2025 08:09AM UTC coverage: 95.775% (+0.005%) from 95.77%

Build # 30

Build Type

push

github

Committed by

mbarbin

Commit Message

Add unused annotations in migrate expr

- This has no impact on the rewrite itself but I find it more readable that way.

Run Details

816 of 852 relevant lines covered (95.77%)

8.81 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

0.0

/lib/log/src/log.ml

(*********************************************************************************)
(*  pplumbing - Utility libraries to use with [pp]                               *)
(*  SPDX-FileCopyrightText: 2024-2025 Mathieu Barbin <mathieu.barbin@gmail.com>  *)
(*  SPDX-License-Identifier: MIT                                                 *)
(*********************************************************************************)

type level = Logs.level
type src = Logs.src

let render fmt pps =
  let pp = Pp.vbox (Pp.concat_map pps ~sep:Pp.cut ~f:Pp.box) in
  if fmt == Format.std_formatter
  then Pp_tty.Ansi_color.print (Pp.map_tags pp ~f:Pp_tty.Print_config.default)
  else if fmt == Format.err_formatter
  then Pp_tty.Ansi_color.prerr (Pp.map_tags pp ~f:Pp_tty.Print_config.default)
  else Pp.to_fmt fmt pp
;;

type log =
  ?header:string -> ?tags:(unit -> Logs.Tag.set) -> (unit -> Pp_tty.t list) -> unit

let msg ?src level ?header ?tags f =
  Logs.msg ?src level (fun m ->
    m ?header ?tags:(Option.map (fun tags -> tags ()) tags) "%a" render (f ()))
;;

let app ?src ?header ?tags f = msg ?src App ?header ?tags f
let err ?src ?header ?tags f = msg ?src Error ?header ?tags f
let warn ?src ?header ?tags f = msg ?src Warning ?header ?tags f
let info ?src ?header ?tags f = msg ?src Info ?header ?tags f
let debug ?src ?header ?tags f = msg ?src Debug ?header ?tags f

module Logs = struct
  type msgf = ?header:string -> ?tags:Logs.Tag.set -> Pp_tty.t list -> unit
  type log = (msgf -> unit) -> unit

  let msg ?src level f =
    Logs.msg ?src level (fun m ->
      f (fun ?header ?tags pp -> m ?header ?tags "%a" render pp))
  ;;

  let app ?src f = msg ?src App f
  let err ?src f = msg ?src Error f
  let warn ?src f = msg ?src Warning f
  let info ?src f = msg ?src Info f
  let debug ?src f = msg ?src Debug f
end

1	(*********************************************************************************)
2	(* pplumbing - Utility libraries to use with [pp] *)
3	(* SPDX-FileCopyrightText: 2024-2025 Mathieu Barbin <mathieu.barbin@gmail.com> *)
4	(* SPDX-License-Identifier: MIT *)
5	(*********************************************************************************)
6
7	type level = Logs.level
8	type src = Logs.src
9
10	let render fmt pps =
11	let pp = Pp.vbox (Pp.concat_map pps ~sep:Pp.cut ~f:Pp.box) in	×
12	if fmt == Format.std_formatter	×
13	then Pp_tty.Ansi_color.print (Pp.map_tags pp ~f:Pp_tty.Print_config.default)	×
14	else if fmt == Format.err_formatter	×
15	then Pp_tty.Ansi_color.prerr (Pp.map_tags pp ~f:Pp_tty.Print_config.default)	×
16	else Pp.to_fmt fmt pp	×
17	;;
18
19	type log =
20	?header:string -> ?tags:(unit -> Logs.Tag.set) -> (unit -> Pp_tty.t list) -> unit
21
22	let msg ?src level ?header ?tags f =
23	Logs.msg ?src level (fun m ->	×
24	m ?header ?tags:(Option.map (fun tags -> tags ()) tags) "%a" render (f ()))	×
25	;;
26
27	let app ?src ?header ?tags f = msg ?src App ?header ?tags f	×
28	let err ?src ?header ?tags f = msg ?src Error ?header ?tags f	×
29	let warn ?src ?header ?tags f = msg ?src Warning ?header ?tags f	×
30	let info ?src ?header ?tags f = msg ?src Info ?header ?tags f	×
31	let debug ?src ?header ?tags f = msg ?src Debug ?header ?tags f	×
32
33	module Logs = struct
34	type msgf = ?header:string -> ?tags:Logs.Tag.set -> Pp_tty.t list -> unit
35	type log = (msgf -> unit) -> unit
36
37	let msg ?src level f =
38	Logs.msg ?src level (fun m ->	×
39	f (fun ?header ?tags pp -> m ?header ?tags "%a" render pp))	×
40	;;
41
42	let app ?src f = msg ?src App f	×
43	let err ?src f = msg ?src Error f	×
44	let warn ?src f = msg ?src Warning f	×
45	let info ?src f = msg ?src Info f	×
46	let debug ?src f = msg ?src Debug f	×
47	end

mbarbin / pplumbing / 30

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous