src/Pure/Concurrent/synchronized.ML
changeset 62663 bea354f6ff21
parent 62505 9e2a65912111
child 62819 d3ff367a16a0
equal deleted inserted replaced
62662:291cc01f56f5 62663:bea354f6ff21
    64 fun change_result var f = guarded_access var (SOME o f);
    64 fun change_result var f = guarded_access var (SOME o f);
    65 fun change var f = change_result var (fn x => ((), f x));
    65 fun change var f = change_result var (fn x => ((), f x));
    66 
    66 
    67 end;
    67 end;
    68 
    68 
       
    69 
       
    70 (* toplevel pretty printing *)
       
    71 
       
    72 val _ = PolyML.addPrettyPrinter (fn depth => fn pretty => fn var => pretty (value var, depth));
       
    73 
    69 end;
    74 end;