[m-dev.] Catching out of memory errors

[Michael Day]

Hi Julien,

> The problem there is that it is likely that your exception handler is
> going to have to allocate memory for handling the exception ...

Undoubtedly :)

But the hope is that it will be higher up the call chain, in a context 
where most of the currently allocated stuff can be reclaimed.

Otherwise it would simply rethrow, until the exception propagates all 
the way up to the runtime as an unhandled exception, and the program 
terminates.

Cheers,

Michael

-- 
Print XML with Prince!
http://www.princexml.com
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------