1. camlspotter
  2. spotlib

Commits

camlspotter  committed f00cdae

the label of time is removed

  • Participants
  • Parent commits 3bc371d
  • Branches default

Comments (0)

Files changed (2)

File lib/base.ml

View file
 
 let try_ignore ~f v = try f v with _ -> ();;
 
-let time ~f v =
+let time f v =
   let start = Unix.gettimeofday () in
   let res = f v in
   let end_ = Unix.gettimeofday () in

File lib/base.mli

View file
 val catch      : f:('a -> 'b) -> 'a -> ('b, exn) result
 val try_ignore : f:('a -> unit) -> 'a -> unit
 
-val time : f:('a -> 'b) -> 'a -> 'b * float
+val time : ('a -> 'b) -> 'a -> 'b * float
   (** simple profiling *)
  
 val imp : 'a -> ('a ref -> 'b) -> ('a * 'b)