4082 2006-12-15 13:40:42 +0000 Static typing of annex-6 2007-09-20 09:56:34 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 1.0.1 PC Windows XP CLOSED FIXED P2 normal --- 1 nick frans.englich public-qt-comments oldest_to_newest 13202 0 nick 2006-12-15 13:40:42 +0000 Hopefully this should be one of our last static typing problems! In annex-6 declare function eg:index-of-node($sequence as node()*, $srch as node()) as xs:i nteger* { for $n at $i in $sequence where ($n is $srch) return $i }; let $arg1 := (<element1>some data 1</element1>,<element2>some data 2</element2>) let $arg2 := $arg1[2] return eg:index-of-node($arg1,$arg2) The second arguement of index-of-node has type node(), which it must do for $n is $srch to type check. But $arg2 has quantifier zero-or-one (section 7.2.13 of the FS) hence the function call fails to static type check. 16558 1 frans.englich 2007-09-14 09:34:51 +0000 A fix has been attempted in CVS, XQTS_current.zip is updated. If the resolution is satisfactory, feel free to change status to CLOSED. Otherwise, reopen this report. If no feedback is returned within two weeks, status will be changed to CLOSED. Thanks for reporting! 16709 2 nick 2007-09-20 09:56:34 +0000 Thanks.