[Bug 3701] fn-union-node-args-003

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3701





------- Comment #2 from mike@saxonica.com  2006-09-14 17:02 -------
>One way to allow this expression to pass staic type checking would be to filter
the operand of fn:root:

$input-context/bib/book[3]/title | root(($input-context/bib/book[3]/title)[1])

This really demonstrates worst possible practice. To get the query through
static  cardinality checking, you change the expression in such a way that
there is no cardinality checking at all, whether static or dynamic. If static
type checking is going to encourage people to do this sort of thing, then it is
a really bad idea.

Received on Thursday, 14 September 2006 17:03:07 UTC