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 PAA13632 for caml-redistribution; Wed, 23 Dec 1998 15:27:09 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA04150 for <caml-list@pauillac.inria.fr>; Tue, 22 Dec 1998 19:33:16 +0100 (MET)
Received: from mail1.digital.com (mail1.digital.com [204.123.2.50])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id TAA20122
	for <caml-list@inria.fr>; Tue, 22 Dec 1998 19:33:15 +0100 (MET)
From: doligez@pa.dec.com
Received: from pontiac.pa.dec.com (pontiac.pa.dec.com [16.4.16.93])
	by mail1.digital.com (8.9.1a/8.9.1/WV2.0c) with SMTP id KAA01180;
	Tue, 22 Dec 1998 10:33:09 -0800 (PST)
Received: by pontiac.pa.dec.com; id AA29483; Tue, 22 Dec 1998 10:33:08 -0800
Message-Id: <199812221833.AA29483@pontiac.pa.dec.com>
To: Vincent BARAT <vincent.barat@alcatel.fr>
Cc: caml-list@inria.fr
Subject: Re: alloc_final() and alloc()
In-Reply-To: Message of Tue, 22 Dec 1998 12:03:35 +0100
    from Vincent BARAT <vincent.barat@alcatel.fr>
    <367F7C87.3E08B590@alcatel.fr>
Date: Tue, 22 Dec 1998 10:33:08 -0800
X-Mts: smtp
Sender: weis


>From: Vincent BARAT <vincent.barat@alcatel.fr>

>So, I've discovered a problem with alloc(): it seems to return
>always the same address if it is used several times in the same function
>that contains also calls to alloc_final().
>
>Is it a known bug ? If not, am I missing something ?

It is possible if you're giving strange arguments to alloc_final,
in which case, it is not a bug.

If you could send the relevant piece of your code to
<caml-light@inria.fr> (which is the correct address for bug reports),
we should be able to tell what's going on.

-- Damien