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-look... 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| "*"|