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

Peter Wang novalazy at gmail.com
Tue Jan 8 12:19:58 AEDT 2008


In the implementation of builtin_throw there is this piece of code:

	MR_fatal_error(""builtin_throw cannot (yet) invoke""
	    "" Mercury handlers in deep profiling grades"");

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?


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

More information about the developers mailing list