1.1 --- a/src/Pure/ML-Systems/install_pp_polyml-5.3.ML Thu Nov 19 14:46:33 2009 +0100
1.2 +++ b/src/Pure/ML-Systems/install_pp_polyml-5.3.ML Thu Nov 19 17:26:28 2009 +0100
1.3 @@ -3,6 +3,9 @@
1.4 Extra toplevel pretty-printing for Poly/ML 5.3.0.
1.5 *)
1.6
1.7 +PolyML.addPrettyPrinter (fn depth => fn pretty => fn var =>
1.8 + pretty (Synchronized.value var, depth));
1.9 +
1.10 PolyML.addPrettyPrinter (fn depth => fn pretty => fn x =>
1.11 (case Future.peek x of
1.12 NONE => PolyML.PrettyString "<future>"