[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.