New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #4404 (closed defect: fixed)

Opened 8 years ago

Last modified 8 years ago

OCaml Unix library gives incorrect process times

Reported by: schneck@… Owned by: pguyot@…
Priority: Normal Milestone:
Component: ports Version: 1.0
Keywords: Cc:
Port:

Description

At least on my machine, the Ocaml function Unix.times returns incorrect times. In the OCaml source file otherlibs/unix/times.c, it defines CLK_TCK to be 60; in fact (at least on my machine) CLK_TCK should be 100, as specified in the files included by <machine/limits.h>. Probably, otherlibs/unix/times.c should #include <machine/limits.h>.

Change History

comment:1 Changed 8 years ago by pguyot@…

  • Status changed from new to closed
  • Resolution set to fixed

That's actually a bug in MacOS X, I just have reported it (radr://4215384).

I also reported the workaround to caml team (bug id 3756). ​http://pauillac.inria.fr/bin/caml-bugs/incoming?user=guest;selectid=3756

I did commit a fix.

Thanks!

Note: See TracTickets for help on using tickets.