3205 2006-05-09 02:24:25 +0000 [FS] editorial: 7.2.5 The fn:collection and fn:doc functions 2007-11-04 06:00:04 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Candidate Recommendation All All ASSIGNED P2 minor --- 1 jmdyck jmdyck public-qt-comments oldest_to_newest 9616 0 jmdyck 2006-05-09 02:24:25 +0000 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'. 14201 1 jim.melton 2007-02-26 00:13:09 +0000 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).