Dear Yang,

not every node is an element. Thus you need to use dinamic cast:

let node = ... in
  (* next line may raise GdomeInit.DOMCastException *)
let element = Gdome.element_of_node node in
  ...

						Cheers,
						C.S.C.

On Wed, 2008-07-16 at 17:13 +0800, Yang Shouxun wrote:
> 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
> 
-- 
----------------------------------------------------------------
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: sacerdot@cs.unibo.it
http://www.cs.unibo.it/~sacerdot
----------------------------------------------------------------