Archives of the Caml mailing list > Message from Brian Hurt

Browse thread

[Caml-list] Wanted - General Purpose "Glue Logic" Data-Structures

John Gerard Malecki
- Wheeler Ruml
  - Markus Mottl
    - Yaron M. Minsky
      - Jean-Christophe Filliatre
        
        Brian Hurt
        
        Jean-Christophe Filliatre
        
        Markus Mottl
        
        David Brown
        
        Brian Hurt
  - Brian Hurt
    - John Gerard Malecki
- Brian Hurt
- Matthew W. Boyd
- Nicolas Cannasse

Date:	-- (:)
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.

Brian

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners