let parse_cudf doc =
try
let p = Cudf_parser.from_IO_in_channel (Input.open_file doc) in
Cudf_parser.parse p
with
|Cudf_parser.Parse_error _
|Cudf.Constraint_violation _ as exn -> begin
fatal "Error while loading CUDF from %s: %s" doc (Printexc.to_string exn)
end