[m-dev.] abort in throw in deep profiling grades

[Julien Fischer]

On Tue, 8 Jan 2008, Peter Wang wrote:

> In the implementation of builtin_throw there is this piece of code:
>
>    #ifdef  MR_DEEP_PROFILING
> 	MR_fatal_error(""builtin_throw cannot (yet) invoke""
> 	    "" Mercury handlers in deep profiling grades"");
>    #endif
>
> I have commented that out before without (seemingly) adverse effects,
> i.e. exceptions could be caught and execution continues.  Is the abort
> only there because the EXCP port counts aren't updated yet?

IIRC, it's because the profiling data for the handler is not being
handled correctly.

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