···587587 | a :: q -> String.concat ~sep:"\n " ((toplevel_prompt^a)::q)
588588589589let process_file file =
590590- let ic = try open_in file with _ -> failwith "Cannot read input file" in
590590+ let ic = try open_in_bin file with _ -> failwith "Cannot read input file" in
591591+ let input_line ic =
592592+ let line = input_line ic in
593593+ let last = String.length line - 1 in
594594+ if last >= 0 && line.[last] = '\r' then
595595+ String.sub line 0 last
596596+ else
597597+ line
598598+ in
591599 let phrase_start = ref 1 and phrase_stop = ref 1 in
592600 let incr_phrase_start () =
593601 incr phrase_start;