>  From: Christian Nentwich [mailto:c.nentwich@[...].uk]

<snip/> 

>  For example, the path id('foo')/bar/baz cannot be checked 
>  since you cannot
>  be certain that the element with id 'foo' will be an element 
>  that has 'bar'
>  as a child.

But you could probably identify from the schema whether it's possible in a
valid instance to have an element with an attribute of type ID and a child
called "bar" that itself has a child called "baz", couldn't you? It seems
like there is still utility, though not a panacea. It could catch a typo
like "id('foo')/baz/bar".

This sounds cool to me.

-----------------------------------------------------------------
The xml-dev list is sponsored by XML.org <http://www.xml.org> , an
initiative of OASIS <http://www.oasis-open.org> 

The list archives are at http://lists.xml.org/archives/xml-dev/

To subscribe or unsubscribe from this list use the subscription
manager: <http://lists.xml.org/ob/adm.pl>