src/Pure/ML-Systems/install_pp_polyml.ML
changeset 28672 0baf1d9c6780
parent 28570 81d97311c057
child 28673 d746a8c12c43
--- a/src/Pure/ML-Systems/install_pp_polyml.ML	Thu Oct 23 13:52:27 2008 +0200
+++ b/src/Pure/ML-Systems/install_pp_polyml.ML	Thu Oct 23 13:52:28 2008 +0200
@@ -13,4 +13,6 @@
 install_pp (fn (str, _, _, _) => fn depth => fn (print: 'a * int -> unit) => fn (x: 'a Susp.T) =>
   (case Susp.peek x of
     NONE => str "<delayed>"
-  | SOME y => print (y, depth)));
+  | SOME (Exn.Exn _) => str "<failed>"
+  | SOME (Exn.Result y) => print (y, depth)));
+