[m-dev.] Re: throw and scoped_to

[Peter Schachte]

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

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