Dvlab Open Wiki
Better MDD garbage collection
- Submitted by: Luca and Axel
- Date: Jan 24, 2006
Right now, Ocaml does not know that it is so important to garbage-collect variables that refer to MDDs. We must make sure they are garbage collected as soon as possible, since otherwise we run out of memory.