[m-dev.] sleep

[Ben Mellor]

> On Mon, Mar 2, 2009 at 4:59 PM, Julien Fischer
> <juliensf at csse.unimelb.edu.au> wrote:
> >
> > On Mon, 2 Mar 2009, Ben Mellor wrote:
> >
> >> Hi
> >>
> >> Do people think the following would be useful enough to put in the
> >> standard
> >> library?
> >
> > Not really.  The other problem with calling sleep() is that it is not
> > available on all systems, e.g. on Windows you need to call Sleep.
> >
> And Sleep on windows takes millseconds rather than seconds as its argument.
> 

Okay. I'm using it for some simple test cases for the STM system; I'll just
include it directly in the tests.

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------