Re: [Xsb-development] Catcher on the Sly

[Michael K. <ki...@cs...>]

This is great!
However, Flora uses push_abort_cutpoint/0 and this might break it.
I suppose that we should use catch/trough instead (like in your example
below), right?


	--michael  

> All: 
> 
> I wanted to warn people (and get their comments) before I make an
> update to XSB.  The update is very simple: I want to replace the goals
> 
> 	call_query(X)
> 
> in x_interp.P with 
> 
>   	catch(call_query(X),Msg,default_exception(Msg))
> 
> 
> which catches various types of uncaught exceptions and performs an
> abort (and prints out a message).  It passes the test suite, and I am
> 99% sure that this will not affect anything that anyone is doing
> (after all, Bart wrote catch and throw) but wanted to warn people in
> case something weird starts happening to them.
> 
> 
> Once I have this in, my intention is to start replacing Prolog aborts
> with various kinds of "throws" in order to make our exception handling
> more ISO-compliant.
> 
> If I dont hear any comments in the next day or two, I'll go ahead and
> commit.
> 
> Terry
> 
> 
> 
> 
> 
> -------------------------------------------------------
> This sf.net email is sponsored by: OSDN - Tired of that same old
> cell phone?  Get a new here for FREE!
> https://www.inphonic.com/r.asp?r=sourceforge1&refcode1=vs3390
> _______________________________________________
> Xsb-development mailing list
> Xsb...@li...
> https://lists.sourceforge.net/lists/listinfo/xsb-development
>