equal
deleted
inserted
replaced
11 | SOME (Exn.Result y) => print (y, depth))); |
11 | SOME (Exn.Result y) => print (y, depth))); |
12 |
12 |
13 install_pp (fn (str, _, _, _) => fn depth => fn (print: 'a * int -> unit) => fn (x: 'a Susp.T) => |
13 install_pp (fn (str, _, _, _) => fn depth => fn (print: 'a * int -> unit) => fn (x: 'a Susp.T) => |
14 (case Susp.peek x of |
14 (case Susp.peek x of |
15 NONE => str "<delayed>" |
15 NONE => str "<delayed>" |
16 | SOME y => print (y, depth))); |
16 | SOME (Exn.Exn _) => str "<failed>" |
|
17 | SOME (Exn.Result y) => print (y, depth))); |
|
18 |