clean log

OCamlPro · Feb 17, 2024 · 03a8524 · 03a8524
1 parent 06a9765
commit 03a8524
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 54 deletions.
diff --git a/src/log.ml b/src/log.ml
@@ -12,23 +12,8 @@ let debug1 t a : unit = if !debug_on then Format.pp_err t a
 
 let debug2 t a b : unit = if !debug_on then Format.pp_err t a b
 
-let debug3 t a b c : unit = if !debug_on then Format.pp_err t a b c
-
-let debug4 t a b c d : unit = if !debug_on then Format.pp_err t a b c d
-
 let debug5 t a b c d e : unit = if !debug_on then Format.pp_err t a b c d e
 
-let profile0 t : unit = if !profiling_on then Format.pp_err t
-
-let profile1 t a : unit = if !profiling_on then Format.pp_err t a
-
-let profile2 t a b : unit = if !profiling_on then Format.pp_err t a b
-
 let profile3 t a b c : unit = if !profiling_on then Format.pp_err t a b c
 
-let profile4 t a b c d : unit = if !profiling_on then Format.pp_err t a b c d
-
-let profile5 t a b c d e : unit =
-  if !profiling_on then Format.pp_err t a b c d e
-
 let err f = Format.kasprintf failwith f
diff --git a/src/log.mli b/src/log.mli
@@ -14,21 +14,6 @@ val debug1 : ('a -> unit, Format.formatter, unit) format -> 'a -> unit
 val debug2 :
   ('a -> 'b -> unit, Format.formatter, unit) format -> 'a -> 'b -> unit
 
-val debug3 :
-     ('a -> 'b -> 'c -> unit, Format.formatter, unit) format
-  -> 'a
-  -> 'b
-  -> 'c
-  -> unit
-
-val debug4 :
-     ('a -> 'b -> 'c -> 'd -> unit, Format.formatter, unit) format
-  -> 'a
-  -> 'b
-  -> 'c
-  -> 'd
-  -> unit
-
 val debug5 :
      ('a -> 'b -> 'c -> 'd -> 'e -> unit, Format.formatter, unit) format
   -> 'a
@@ -39,36 +24,12 @@ val debug5 :
   -> unit
 
 (** print some profiling info *)
-val profile0 : (unit, Format.formatter, unit) format -> unit
-
-val profile1 : ('a -> unit, Format.formatter, unit) format -> 'a -> unit
-
-val profile2 :
-  ('a -> 'b -> unit, Format.formatter, unit) format -> 'a -> 'b -> unit
-
 val profile3 :
      ('a -> 'b -> 'c -> unit, Format.formatter, unit) format
   -> 'a
   -> 'b
   -> 'c
   -> unit
 
-val profile4 :
-     ('a -> 'b -> 'c -> 'd -> unit, Format.formatter, unit) format
-  -> 'a
-  -> 'b
-  -> 'c
-  -> 'd
-  -> unit
-
-val profile5 :
-     ('a -> 'b -> 'c -> 'd -> 'e -> unit, Format.formatter, unit) format
-  -> 'a
-  -> 'b
-  -> 'c
-  -> 'd
-  -> 'e
-  -> unit
-
 (** print some error and exit *)
 val err : ('a, Format.formatter, unit, 'b) format4 -> 'a