Opened 19 years ago

Closed 19 years ago

#4404 closed defect (fixed)

OCaml Unix library gives incorrect process times

Reported by: schneck@… Owned by: pguyot (Paul Guyot)
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 (1)

comment:1 Changed 19 years ago by pguyot (Paul Guyot)

Resolution: → fixed
Status: new → closed

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.