* implementazione del comando SORTEDBY
*)
let sortedby_ex alist order afunc =
- let before = Unix.time () in
+ let before = Sys.time () in
let res =
let module S = Mathql_semantics in
(Sort.list
)
)
in
- let after = Unix.time ()
+ let after = Sys.time ()
and ll1 = string_of_int (List.length alist) in
let diff = string_of_float (after -. before) in
- prerr_endline
+ print_endline
("SORTEDBY(" ^ ll1 ^ ") = " ^ string_of_int (List.length res) ^
": " ^ diff ^ "s") ;
- flush stderr ;
+ flush stdout ;
res
;;