toplevel pretty printer for Synchronized.var;
authorwenzelm
Thu Nov 19 17:26:28 2009 +0100 (2009-11-19)
changeset 33767f962c761a38f
parent 33766 c679f05600cd
child 33768 bba9eac8aa25
toplevel pretty printer for Synchronized.var;
src/Pure/ML-Systems/install_pp_polyml-5.3.ML
     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>"