let load_cudf doc =
let ch = Input.open_file doc in
let l =
try
let p = Cudf_parser.from_IO_in_channel ch in
Cudf_parser.load p
with
|Cudf_parser.Parse_error _
|Cudf.Constraint_violation _ as exn -> begin
fatal "Error while loading CUDF file %s:\n%s" doc (Printexc.to_string exn)
end
in
Input.close_ch ch;
l