29370 2016-01-12 18:16:38 +0000 Optional Operand for Validate Expression 2016-01-22 09:28:11 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3.1 Candidate Recommendation PC All RESOLVED FIXED P2 normal --- 1 josh.spiegel jonathan.robie andrew_coleman public-qt-comments oldest_to_newest 124573 0 josh.spiegel 2016-01-12 18:16:38 +0000 The grammar for ValidateExpr was recently changed so that the operand expression is optional: https://www.w3.org/XML/Group/qtspecs/specifications/xquery-31/html/xquery-31.html#id-validate > [102] ValidateExpr ::= "validate" (ValidationMode | ("type" TypeName))? EnclosedExpr > [103] ValidationMode ::= "lax" | "strict" > [36] EnclosedExpr ::= "{" Expr? "}" Here is a relevant bug: https://www.w3.org/Bugs/Public/show_bug.cgi?id=29185 Here is a relevant decision from meeting #621 on 10/27/2015: > DECISION: WG has agreed to refactor the grammar using the EnclosedExpr in the node constructors, but in the case of the element constructor we shall not use it in the first argument because it cannot be an empty sequence. Consider the expressions Try, Catch, Validate, ExtensionExpr, Ordered and Unordered, CompDocConstructor, CompAttrConstructor, CompTextConstructor, CompCommentConstructor CompPIConstructor and Namespace Currently XQuery 3.1 says the following: > If the operand of a validate expression does not evaluate to exactly one document or element node, a type error is raised [err:XQTY0030]. The specification needs to clarify what it means if the operand is absent. Once the specification is updated, it is likely one of the following groups of tests will also need to be updated: K-CombinedErrorCodes-13a K-CombinedErrorCodes-14a K-CombinedErrorCodes-15a This group expects the validate expression to return empty when absent. The next group expects XQTY0030 when the input is empty: K-CombinedErrorCodes-10 XQTY0030 qischema90171-err 124668 1 andrew_coleman 2016-01-22 09:28:11 +0000 At the teleconference on 2016-01-12, the WG decided to resolve this by changing the grammar to make 'validate { }' a syntax error, and fixup the tests accordingly.