[Bug 3833] Static typing of fn-lang

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


nick@cbcl.co.uk changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |




------- Comment #2 from nick@cbcl.co.uk  2007-10-08 12:55 -------
Thanks for making the change. My apologies for the delay in getting back about
this fix, and for unfortunately suggesting an incorrect fix.

My suggestion didn't fix the problem, as because we know nothing about the
$input-context, the path expression now has a static type of element()? (i.e.
quantifier zero-or-one), which fails to type check against the node() which
fn:lang expects.

Instead of the [1] could the whole path be surrounded with an exactly-one which
should then guarantee the correct type

Received on Monday, 8 October 2007 12:56:08 UTC