balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Shell: fix Utils.read_file

Browse Source
This commit is contained in:
Grégoire Henry 2017-03-03 18:07:27 +01:00 committed by Benjamin Canou
parent 49392afd73
commit ee870722cf
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/minutils/utils.ml
View File

@ -144,10 +144,7 @@ let read_file ?(bin=false) fn =
let ic = (if bin then open_in_bin else open_in) fn in let ic = (if bin then open_in_bin else open_in) fn in
finalize (fun () -> finalize (fun () ->
let len = in_channel_length ic in let len = in_channel_length ic in
let buf = Bytes.create len in really_input_string ic len)
let nb_read = input ic buf 0 len in
if nb_read <> len then failwith (Printf.sprintf "read_file: read %d, expected %d" nb_read len)
else Bytes.unsafe_to_string buf)
(fun () -> close_in ic) (fun () -> close_in ic)
let write_file ?(bin=false) fn contents = let write_file ?(bin=false) fn contents =