English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Q: type conversion with Gdome
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-07-16 (09:07)
From: Yang Shouxun <yang.shx@f...>
Subject: Q: type conversion with Gdome
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.