[m-rev.] for review: fix memory management bug

[Zoltan Somogyi]

On 10-Feb-2004, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> +** - For MR_GC_ensure_room_for_next(), the memory is allocated on the GC heap,
> +**   which means that the array elements can point to anything;
> +**   but the array address _MUST NOT_ be stored in memory allocated with
> +**   malloc() or MR_malloc().


This is overstating the restriction a little: the array address can be stored
in malloc'd memory, as long as it is also stored in memory scanned by the
collector.

Apart from this, the diff looks fine.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------