>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