Lookup operator, conformance

Am 10/24/2022 um 12:45 PM schrieb Hans-Jürgen Rennau: > Hello, > > I noticed that the lookup operator (?) accepts as key expression also > non-parenthesized expressions, e.g.: > > $map?$key > > It seems to me that the XQuery spec does not allow that - the key > specifier must be an NCName, an integer, * or a parenthesized > expression [1]: > [126] KeySpecifier ::= NCName | IntegerLiteral | ParenthesizedExpr | "*" > So only this should be allowed: > $map?($key) > > But I am not quite sure if I do not overlook something. > > *My question*: is the acceptance of non-parenthesized key expressions > conformant behaviour, or a (certainly intended) laxness? >

Am 10/24/2022 um 1:29 PM schrieb Martin Honnen: > > > Am 10/24/2022 um 12:45 PM schrieb Hans-Jürgen Rennau: >> Hello, >> >> I noticed that the lookup operator (?) accepts as key expression also >> non-parenthesized expressions, e.g.: >> >> $map?$key >> >> It seems to me that the XQuery spec does not allow that - the key >> specifier must be an NCName, an integer, * or a parenthesized >> expression [1]: >> [126] KeySpecifier ::= NCName | IntegerLiteral | ParenthesizedExpr | "*" >> So only this should be allowed: >> $map?($key) >> >> But I am not quite sure if I do not overlook something. >> >> *My question*: is the acceptance of non-parenthesized key expressions >> conformant behaviour, or a (certainly intended) laxness? >> > > If it is BaseX 10 it might be because it already tries to implement > what XQuery 4 > https://qt4cg.org/specifications/xquery-40/xquery-40-diff.html#id-unary-lookup > is going to allow: > > [141] |KeySpecifier > <https://qt4cg.org/specifications/xquery-40/xquery-40-diff.html#prod-xquery40-KeySpecifier>| ::= > |NCName > <https://qt4cg.org/specifications/xquery-40/xquery-40-diff.html#prod-xquery40-NCName>|IntegerLiteral > <https://qt4cg.org/specifications/xquery-40/xquery-40-diff.html#doc-xquery40-IntegerLiteral>|StringLiteral > <https://qt4cg.org/specifications/xquery-40/xquery-40-diff.html#doc-xquery40-StringLiteral>|VarRef > <https://qt4cg.org/specifications/xquery-40/xquery-40-diff.html#doc-xquery40-VarRef>|ParenthesizedExpr > <https://qt4cg.org/specifications/xquery-40/xquery-40-diff.html#doc-xquery40-ParenthesizedExpr>| > "*"| >