This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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())
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.
K2-BaseURIProlog-4 is now fixed. Thanks.