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

[Peter Wang]

Hi,

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?

Peter

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