[m-dev.] Re: throw and scoped_to

[Peter Schachte]

Replying to my own message....

> > the implementation should take care of the situation in which the goal
> > in the scoped_to construct throws an exception to a the try which is
> > not in the same scoped_to scope
> 
> Quite right.  This is a bug that crept into scoped_to with the
> introduction of exceptions.

On closer inspection, I think the code there should work if the
exception implementation in trailing grades interacts properly with
the trail, calling function trail entries with reason MR_exception
when throwing "past" them.

So the question for Fergus or anyone who knows the current state of
the exception library:  does it implement the MR_exception reason
properly?


-- 
Peter Schachte                     A bore is someone who persists in holding
mailto:schachte at cs.mu.OZ.AU        his own views after we have enlightened
http://www.cs.mu.oz.au/~schachte/  him with ours. 
PGP: finger schachte at 128.250.37.3  
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------