[MLton] overflow vs. SysErr on time functions
Matthew Fluet
fluet@cs.cornell.edu
Wed, 7 Jul 2004 13:53:21 -0400 (EDT)
> As I alluded to on the Basis Library discussion list, I'm planning to
> change the following functions so that they raise SysErr inval, not
> overflow on time values that are too large.
>
> OS.FileSys.setTime
> OS.IO.poll
> OS.Process.sleep
> Posix.FileSys.utime
> Posix.Process.{alarm,sleep}
> Socket.select
>
> Any objections/support?
I don't object, but I think there is a small hole that no Basis Library
function fills. In particular, there is no way to check the validity of a
time value for these system calls.