29225 2015-10-22 08:52:46 +0000 [XQ31] Pragma in no namespace 2015-11-10 17:31:16 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3.1 Last Call drafts PC All RESOLVED FIXED P2 normal --- 1 mike jonathan.robie josh.spiegel public-qt-comments oldest_to_newest 123839 0 mike 2015-10-22 08:52:46 +0000 (A) We allow the name of a pragma to be an EQName, and this introduces the possibility that it is a name in no namespace. But the text goes on to assume that the name will always have a namespace: "If the namespace URI of a pragma's expanded QName is not recognized..." I would suggest as the simplest fix, changing: "If the namespace URI of a pragma's expanded QName is not recognized by the implementation as a pragma namespace..." to: "If the namespace URI of a pragma's expanded QName is not recognized by the implementation as a pragma namespace, or if the name is in no namespace, ..." (B) We say in a Note in 3.22: "Since there is no default namespace for pragmas, a pragma's EQName must provide a BracedURILiteral or a namespace prefix." This invites the reader to look for a normative statement that there is no default namespace for pragmas, but there is no such statement. Furthermore, the common rule in situations where there is no default namespace is that the name is assumed to be in no namespace: so the "since" is a non-sequitur. The Note appears to define a "must" condition, with no associated error code, that is not stated normatively anywhere else. I would be inclined to resolve this by wrapping it into the proposal above for handling of no-namespace names. Replace the Note by a (non-note) paragraph: "If the EQName is an unprefixed NCName, it is interpreted as a name in no namespace (and the pragma is therefore ignored)." (C) If the expression between the curly braces after a pragma is absent, and the pragma is ignored, we say this is an error (XQST0079). Should we bring this into line with other (new) uses of "{Expr?}" so that it is instead interpreted as an empty sequence? 124118 1 josh.spiegel 2015-11-06 15:47:10 +0000 The working group decided to accept suggestion (C) in comment 0: ACTION A-622-08: JR to change the words of the XQuery spec to implement item (C) of bug 29225 [XQ31] Pragma in no namespace. As a result, the following tests should no longer expect XQST0079: K-ExtensionExpression-7 extexpr-2 XQST0079 (in CombinedErrorCodes.xml) 124146 2 jonathan.robie 2015-11-09 22:39:06 +0000 This change has been made in the internal drafts.