On Thu, 21 Aug 2014 14:03:00 +1000, Peter Wang <novalazy at gmail.com> wrote: > What makes builtin_catch / catch_impl actually impure? If the call tree of p(...) contains more than one throw, it returns just ONE of the exceptions p(...) can throw, and the declarative semantics does not say WHICH one it returns. Zoltan.