[mercury-users] Forcing garbage collector to purge?

[Ondrej Bojar]

Hi,

Is there a way to force Mercury's garbage collector to free all blocks that are 
not used? I assume the collector recognizes unused chunks of memory and reuses 
them on every new allocation. Does it ever release them back for use by other 
processes? Is there a way to ask it to?

Thanks, Ondrej.

-- 
Ondrej Bojar (mailto:obo at cuni.cz / bojar at ufal.mff.cuni.cz)
http://www.cuni.cz/~obo
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------