let prf_raw_of_file ?(print_trace = false) ?(print_tokens = false) (path : string): t_prf_raw = match Sys.file_exists path with |false -> raise (Error ("Cannot read from " ^ path ^ ": No such file")) |true -> try prf_raw_of_string ~print_trace:print_trace ~print_tokens:print_tokens (IO.string_of_file path) with |Parse_error s -> raise (Error ("Cannot parse file " ^ path))