On 9/19/13 11:40 PM, Jason E. Aten wrote:
Agreed. I'm convinced that fail! should result in an almost-magical "lets pretend that never happened" jump back in time.
I'm personally fine with adding an unsafe "catch" function or form that will stop unwinding if you absolutely have to use it, incidentally. In general fail! is not supposed to be used as an exception mechanism, because monadic use of Result does that better. But if you're doing special things like trying to sandbox Rust code, it seems relatively harmless to me. We already have all the low-level infrastructure (DWARF unwinding based C++ exceptions) necessary to make it work...
Patrick _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
