tau-prolog icon indicating copy to clipboard operation
tau-prolog copied to clipboard

secondary exception overwrites primary exception

Open Jean-Luc-Picard-2021 opened this issue 2 years ago • 0 comments

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

Jean-Luc-Picard-2021 avatar Feb 16 '23 21:02 Jean-Luc-Picard-2021