This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
7.2.5 The fn:collection and fn:doc functions STA / rule 2 / premise 2 STA / rule 3 / premise 2 STA / rule 5 / premise 2 STA / rule 6 / premise 2 statEnv.collectionType(URILiteral) ... statEnv.docType(URILiteral) ... The domain of collectionType() and docType() is URI (i.e., AnyURI), not URILiteral. Change 'URILiteral' to 'AnyURI', and add premise(s) to go from URILiteral to AnyURI (as in Bug 1796). STA / rule 2 / conclusion STA / rule 3 / conclusion STA / rule 4 / premise 2 STA / rule 5 / conclusion STA / rule 6 / conclusion QName(URILiteral) ExprSingle does not derive URILiteral, so URILiteral is not syntactically valid as a function argument. Moreover, the use of URILiteral suggests (via section 3.4.5) that the argument must be a "statically known valid absolute URI", but the 'absolute' requirement is presumably unwarranted in this context, since relative URIs can be resolved statically. Change 'URILiteral' to 'StringLiteral'.
The fix for this bug does not appear in the Recommendation of 23 January 2007. It will be considered for a future publication (either an Errata document or some possible future version of the specification).