Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Wanted - General Purpose "Glue Logic" Data-Structures
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-04-10 (14:59)
From: Brian Hurt <brian.hurt@q...>
Subject: Re: [Caml-list] Re: Wanted - General Purpose "Glue Logic" Data-Structures
On Thu, 10 Apr 2003, Jean-Christophe Filliatre wrote:

> In the solution I proposed, you do not deallocate the array block when
> you delete the last element; only the size is decreased.

If the array is holding pointers to allocated blocks, then you may be 
keeping false pointers and preventing GC from cleaning up garbage.


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: