Commit | Line | Data |
---|---|---|
7f918cf1 CE |
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)) |