regression/4.sml

   1 (* This code has a handler which is provably unreachable. *)
   2
   3 fun f(n: int): int list =
   4    if n = 0
   5       then []
   6    else
   7       let val x = f(n - 1)
   8       in [13] handle e => (hd x + 1; raise e)
   9       end
  10
  11 val _ = f 13