Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

PR#4023 and GPR#68: add Unix.sleepf and improve Unix.sleep 

Follow-up to commit 50648ed: update otherlibs/threads.
master
Xavier Leroy 2015-11-16 10:48:14 +01:00
parent ce552ccf20
commit ef8bc511ce
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
otherlibs/threads/unix.ml
View File

@ -472,6 +472,7 @@ external localtime : float -> tm = "unix_localtime"
external mktime : tm -> float * tm = "unix_mktime"
external alarm : int -> int = "unix_alarm"
let sleepf = delay
let sleep secs = delay (float secs)
external times : unit -> process_times = "unix_times"