From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA00130 for caml-redistribution; Wed, 24 Nov 1999 19:05:40 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA25434 for <caml-list@pauillac.inria.fr>; Wed, 24 Nov 1999 17:12:37 +0100 (MET)
Received: from tobago.inria.fr (tobago.inria.fr [128.93.8.21])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id RAA20100;
	Wed, 24 Nov 1999 17:12:34 +0100 (MET)
Received: (from doligez@localhost) by tobago.inria.fr (8.6.10/8.6.6) id RAA05304; Wed, 24 Nov 1999 17:12:33 +0100
Date: Wed, 24 Nov 1999 17:12:33 +0100
From: Damien Doligez <Damien.Doligez@inria.fr>
Message-Id: <199911241612.RAA05304@tobago.inria.fr>
To: Damien.Doligez@inria.fr, David.Mentre@irisa.fr
Subject: Re: [GC] Evaluate memory use
Cc: caml-list@inria.fr
Sender: weis

>From: David.Mentre@irisa.fr (David =?iso-8859-1?q?Mentré?=)

>If I've understood the 2.02 doc, the compaction mechanism is disabled by
>default. Right? So the below method is safe. Right?

Yes.


>Oh no. I've managed to use it. :) That's only because I must use the
>Unix module solely on this purpose. It was just to avoid such use.

Maybe some day, we'll have date and time functions in the standard
library.

-- Damien