regression/exn.sml

   1 exception E
   2
   3 fun loop n =
   4    if n = 0
   5       then raise E
   6    else (loop(n - 1) handle e => (print "z"; raise e))
   7
   8 val _ = loop 13 handle _ => print "\n"