What about a new keyword in addition to "catch"?
(exact keyword would be up for discussion)
try {
}
catchExit ($exit) {
}
Or, how far would we get if we do not make this catchable, and
(perhaps) not run any "finally" block?
Could this already solve some of the technical problems, without
breakin
On 11/10/2019 12:05, Nikita Popov wrote:
This does mean though that existing code using catch(Throwable) is going to
catch exit()s as well. This can be avoided by introducing *yet another*
super-class/interface above Throwable, which is something I'd rather avoid.
If it is caught, could the exi
