load_xml exceptions not catchable

Matthias Radestock matthias at sorted.org
Thu May 5 19:43:55 CEST 2005


In CDuce 0.3.2, some (all?) exceptions thrown by load_xml are not
catchable:

# try (load_xml "string:<foo><bar></foo>") with | _ -> [];;
load_xml,string:<foo><bar></foo> at line 1, column 12: mismatched tag




Matthias.




More information about the Cduce-users mailing list