Hello everyone, I've been using Gdome for some time now and I always find it difficult to deal with the type system. Here is the issue:
The document class has a method getElementsByTagName : tagname:Gdome.domString -> Gdome.nodeList and from a nodeList object I can only get Gdome.node objects, while we know they should be Gdome.element objects. My question is how to convert from Gdome.node to Gdome.element? P.S. Gdome.element can be converted to Gdome.node, but not in the other direction as far as I know. TIA, shouxun _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs