[m-dev.] Re: throw and scoped_to

[Fergus Henderson]

On 18-Nov-1999, Peter Schachte <schachte at cs.mu.OZ.AU> wrote:
> 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?

There's certainly some code in there to handle that.
I haven't tested it very much, but AFAIK it works.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------