Mark Mitchell <mark@xxxxxxxxxxxxxxxx> writes:
I don't think we should support unstoppable exceptions at all.
Silently rethrowing at the end of a catch handler breaks too many
important invariants.
Usually, yes. Unfortunately that position is not much of a
compromise: it doesn't give an inch to the other side. If we allow a
generalized thread_throw then there's nothing we can do to stop people
from building unstoppable exceptions and throwing them across the
thread boundary, but to do so they'll have to write some tricky and
non-obvious code. I'm hoping that's enough for people like us to say
"don't do that: you get what you deserve when you write code like
that" and for other people to say "I'm satisfied that I _can_ get the
thread to stop once we hit a cancellation point with cancel enabled."