tau-prolog
tau-prolog copied to clipboard
secondary exception overwrites primary exception
This is a nasty one. I get in Tau-Prolog:
/* Tau Prolog */
?- call_cleanup(throw(foo), throw(bar)).
uncaught exception: bar
But then Trealla and Scryer do the following:
/* Trealla Prolog */
?- call_cleanup(throw(foo), throw(bar)).
throw(foo).
/* Scryer Prolog */
?- call_cleanup(throw(foo), throw(bar)).
throw(foo).