Re: [xml-dev] XML Schema Design: no local elements with anonymoustypes

[Jonathan Robie <jonathan.robie@redhat.com>]

Michael Kay wrote:
> The processor won't detect statically that $x/a/b/c is "impossible" unless
> it knows that $x is an element whose complex type is a statically known type
> T. And if $x is a parameter to a function, you can only achieve that if
> either the element declaration or the type (or both) are global.
>   

Yeah, but that basically means you pass globally declared elements or 
elements with globally declared types as parameters to functions to get 
that kind of static type checking.

For XQuery, that's not usually a big hurdle. Is it for XSLT?

Jonathan