regression/exn-history3.sml

   1 exception FOO
   2
   3 fun f x =
   4    if x = 0
   5       then raise FOO
   6    else f (x - 1) handle Overflow => 13
   7
   8 val _ = (f 10; ()) handle e => (List.app (fn s => print (concat [s, "\n"]))
   9                                 (SMLofNJ.exnHistory e))
  10 val _ = print "ZZZ\n"
  11 val _ = (f 10; ()) handle e => (List.app (fn s => print (concat [s, "\n"]))
  12                                 (SMLofNJ.exnHistory e))