4246 2007-01-17 10:10:10 +0000 Static typing of K2-BaseURIProlog-4 2007-01-22 08:56:36 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite unspecified PC Windows XP CLOSED FIXED P2 normal --- 1 tim frans.englich public-qt-comments oldest_to_newest 13649 0 tim 2007-01-17 10:10:10 +0000 fn:static-base-uri() returns xs:anyUri? which cannot be promoted to xs:string (due to the change of quantifier). Incidentally, note that xs:anyUri (rather than xs:anyUri?) can be promoted to string, however this hasn't made it into the FS spec (see bug 3670). This could be resolved by changing the function declaration to: declare function local:isAbsolute($uri as xs:string?) as xs:boolean (:*******************************************************:) (: Test: K2-BaseURIProlog-4 :) (: Written by: Frans Englich :) (: Date: 2007-01-15T15:15:45+01:00 :) (: Purpose: The static base-uri must be absolute. Since the declaration supplies a relative URI, an implementation may fail with computing an absolute URI, henc e XPST0001 is allowed. The test checks that the static base-uri is absolute. :) (:*******************************************************:) declare base-uri "abc"; declare function local:isAbsolute($uri as xs:string) as xs:boolean { fn:matches($uri, "[a-zA-Z0-9\-.]*:/") }; local:isAbsolute(fn:static-base-uri()) 13731 1 frans.englich 2007-01-21 12:45:54 +0000 A fix has been attempted in CVS, and XQTS_current.zip has been updated to contain the new change. If it can be verified that the change is correct, it would be appreciated. If this resolution is satisfiable, feel free to change status to closed. Otherwise, reopen this report. If no opinion on the resolution is expressed within two weeks, I will change status to closed. This change to this report was part of a batch-change of several reports. 13751 2 tim 2007-01-22 08:56:36 +0000 K2-BaseURIProlog-4 is now fixed. Thanks.