src/Pure/General/bytes.ML

       (case read_block (limit - length bytes) stream of
         "" => bytes
       | s => read (add s bytes))
   in read empty end;
 
-fun write_stream stream = File.outputs stream o contents;
-
-val read = File.open_input (read_stream ~1);
-val write = File.open_output write_stream;
+fun write_stream stream bytes =
+  File.outputs stream (contents bytes);
+
+fun read path = File.open_input (fn stream => read_stream ~1 stream) path;
+
+fun write path bytes = File.open_output (fn stream => write_stream stream bytes) path;
 
 
 (* ML pretty printing *)
 
 val _ =