[Xsb-development] Catcher on the Sly

[<ts...@cs...>]

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