Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: Random.int on non unix platform
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Damien Doligez <Damien.Doligez@i...>
Subject: Re: Random.int on non unix platform 
>From: Martin Quinson <mquinson@zeppelin-cb.de>

>How can I write this without the unix library ?
>
>Random.init (int_of_float (Unix.time ()));;

You can do:

    Random.init (int_of_float (Sys.time ()));;

or you can input a random seed from the user and give it as argument
to Random.init.

-- Damien