On Thu, Sep 18, 2003 at 11:12:15AM -0700, David Brown wrote:
> An added "optimization" is that if an argument is only used before the
> first allocation you call, it also doesn't need to be declared.
> 
> It helps to think about what is happening here.  Things that allocate
> memory may trigger a garbage collection.  If you have arguments or
> variables that might be affected by the garbage collector, you need to
> tell the gc about them.  That is what CAMLparamx and CAMLlocal do.

Interesting ... so the garbage collector can never run asynchronously?
That should simplify my code ...

Rich.

-- 
Richard Jones. http://www.annexia.org/ http://freshmeat.net/users/rwmj
Merjis Ltd. http://www.merjis.com/ - all your business data are belong to you.
MONOLITH is an advanced framework for writing web applications in C, easier
than using Perl & Java, much faster and smaller, reusable widget-based arch,
database-backed, discussion, chat, calendaring:
http://www.annexia.org/freeware/monolith/

-------------------
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