This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 4246 - Static typing of K2-BaseURIProlog-4
Summary: Static typing of K2-BaseURIProlog-4
Status: CLOSED FIXED
Alias: None
Product: XML Query Test Suite
Classification: Unclassified
Component: XML Query Test Suite (show other bugs)
Version: unspecified
Hardware: PC Windows XP
: P2 normal
Target Milestone: ---
Assignee: Frans Englich
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2007-01-17 10:10 UTC by Tim Mills
Modified: 2007-01-22 08:56 UTC (History)
0 users

See Also:


Attachments

Description Tim Mills 2007-01-17 10:10:10 UTC
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())
Comment 1 Frans Englich 2007-01-21 12:45:54 UTC
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.
Comment 2 Tim Mills 2007-01-22 08:56:36 UTC
K2-BaseURIProlog-4 is now fixed.  Thanks.