Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-29 02:32:21 +08:00
Code Issues Actions 28 Packages Projects Releases Wiki Activity

[generators] more verbose error reports

Browse Source 
if someone actually manages to provide a directory instead of a xml file
This commit is contained in:
Felix Ruess
2016-04-06 11:26:18 +02:00
parent e69f68cb1d
commit e18e4e2f29
2 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/extXml.ml
+1
View File
@@ -237,6 +237,7 @@ let my_xml_parse_file =
let parse_file = fun ?(noprovedtd = false) file ->
try (if noprovedtd then my_xml_parse_file else Xml.parse_file) file
with
| Sys_error e -> failwith (sprintf "Error loading xml file %s: %s" file e)
| Xml.Error e -> failwith (sprintf "XML error in %s: %s" file (Xml.error e))
| Xml.File_not_found f -> failwith (sprintf "File not found: %s" f)
| Dtd.Prove_error e -> failwith (sprintf "DTD prove error in %s: %s" file (Dtd.prove_error e))