From the points of view of programming pragmatics, rewriting and operationa
l semantics, the syntactic construct used for exception handling in ML-like
programming languages, and in much theoretical work on exceptions, has sub
tly undesirable features. We propose and discuss a more well-behaved constr
uct.