]> On Fri, 4 Jul 2003, Matt Gushee wrote: > On Fri, Jul 04, 2003 at 10:20:14AM +0200, Alain.Frisch@ens.fr wrote: > > > > I'm pleased to announce the first public release of CDuce, a new > > strongly typed higher-order functional programming language for XML > > documents with an efficient type-based runtime implementation. > > This is very interesting. I've compiled it and begun learning the language, Thank you for your interest in CDuce ! > but there seems to be a problem with type inferencing in the 'load_xml' > function. Given the following XML: ... > # let abc : ABC = load_xml "abc.xml";; > > Have I done something wrong, or is this indeed a bug? The point is that CDuce programs are statically type-checked. At "compile time", there is no way to be sure that the result of load_xml will have type ABC (load_xml operates at runtime), hence the type error. A possible way to do what you want is: let abc = match load_xml "abc.xml" with | x & ABC -> x | _ -> raise "Invalid input file !" The pattern (x & ABC) succeeds when the argument of the pattern matching (the loaded XML document) has type ABC, and it binds it to x. > P.S.: Is there any particular reason your makefile doesn't have an > ordinary 'install' target, so that people can easily install the > tools for command-line use? No particular reason. A "cp cduce /usr/local/bin" should do the stuff. I suggest to keep strictly CDuce related discussions out of the Caml-list. Interested people can send me an email to join the CDuce users mailing list. -- Alain ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners