src/Tools/Code/code_printer.ML

 val indent = Pretty.indent;
 
 fun markup_stmt sym =
   Pretty.mark (code_presentationN, [(stmt_nameN, Code_Symbol.marker sym)]);
 
-val add_text = XML.traverse_text Buffer.add;
+val add_text = XML.traverse_text Bytes.add;
 
 fun filter_presentation [] xml =
-      Buffer.build (fold add_text xml)
+      Bytes.build (fold add_text xml)
   | filter_presentation presentation_syms xml =
       let
         val presentation_idents = map Code_Symbol.marker presentation_syms
         fun is_selected (name, attrs) =
           name = code_presentationN
           andalso member (op =) presentation_idents (the (Properties.get attrs stmt_nameN));
         fun add_content_with_space tree (is_first, buf) =
           buf
-          |> not is_first ? Buffer.add "\n\n"
+          |> not is_first ? Bytes.add "\n\n"
           |> add_text tree
           |> pair false;
         fun filter (XML.Elem (name_attrs, xs)) =
               fold (if is_selected name_attrs then add_content_with_space else filter) xs
           | filter (XML.Text _) = I;
-      in snd (fold filter xml (true, Buffer.empty)) end;
+      in snd (fold filter xml (true, Bytes.empty)) end;
 
 fun format presentation_names width =
-  Pretty.output_buffer (Pretty.markup_output_ops (SOME width))
-  #> Bytes.buffer
+  Pretty.output (Pretty.markup_output_ops (SOME width))
   #> YXML.parse_body_bytes
   #> filter_presentation presentation_names
-  #> Buffer.add "\n"
-  #> Bytes.buffer;
+  #> Bytes.add "\n";
 
 
 (** names and variable name contexts **)
 
 type var_ctxt = string Symtab.table * Name.context;