4200 2007-01-12 15:25:57 +0000 Static typing of annex-4 2007-09-17 15:03:37 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 1.0.2 PC Windows XP CLOSED FIXED P2 normal --- 1 tim frans.englich public-qt-comments oldest_to_newest 13473 0 tim 2007-01-12 15:25:57 +0000 This fails static type checking because [.=$arg2] is an attempt to compare an xs:anyAtomicType against another xs:anyAtomicType. (: Name: annex-4 :) (: Description: User defined function # 4 from annex E of F& O Specs. :) declare namespace eg = "http://example.org"; declare function eg:value-intersect ( $arg1 as xs:anyAtomicType*, $arg2 as xs:anyAtomicType* ) as xs:anyAtomicType* { fn:distinct-values($arg1[.=$arg2]) }; let $arg1 as xs:anyAtomicType := 1 let $arg2 as xs:anyAtomicType := 1 return eg:value-intersect($arg1,$arg2) 13474 1 tim 2007-01-12 15:27:36 +0000 annex-5 fails similarly. 16594 2 frans.englich 2007-09-14 15:14:34 +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! 16614 3 tim 2007-09-17 15:03:37 +0000 Thanks.