catch(ArithmeticException) { }
The attached patch corrects BOO-876 and this issue. Anonymous typed handlers are now allowed in the form:
except as ArithmeticException: pass
Which is equivalent to the C# code above.
BOO-879. It is more succinct and covers all related exception isses.