Skip to content
Newer
Older
100644 17 lines (11 sloc) 334 Bytes
3b4e63f initial import into git repo
romain authored
1
2 let write_byte = output_byte
3
4 let write_int oc i = Marshal.to_channel oc i []
5 let read_int ic = Marshal.from_channel ic
6
7 let read_string ic =
8 let ss = read_int ic in
9 let s = String.create ss in
10 let () = really_input ic s 0 ss in
11 s
12
13 let write_string oc s =
14 write_int oc (String.length s);
15 output_string oc s
16
Something went wrong with that request. Please try again.