16197 2012-03-02 12:48:48 +0000 [XP30] Precedence of the Simple Map Operator 2014-09-16 18:47:09 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XPath 3.0 Last Call drafts PC Linux CLOSED FIXED P2 normal --- 1 john.snelson jonathan.robie jim.melton john.snelson mike public-qt-comments oldest_to_newest 64902 0 john.snelson 2012-03-02 12:48:48 +0000 I find the precedence of the simple map operator a little surprising in general use. For instance, this is valid syntax: foo ! bar But this is not valid syntax: foo ! /bar I think we should change the grammar to make this expression valid, as follows: ValueExpr ::= ValidateExpr | SimpleMapExpr | ExtensionExpr SimpleMapExpr ::= PathExpr ("!" PathExpr)* PathExpr ::= ("/" RelativePathExpr?) | ("//" RelativePathExpr) | RelativePathExpr RelativePathExpr ::= StepExpr (("/" | "//") StepExpr)* 67973 1 john.snelson 2012-05-21 16:29:58 +0000 Actually this change would also affect the associativity of "!" with respect to "/". The current grammar has "/" and "!" at the same precedence, and left associative. Here's an example where that makes a difference: let $doc := document { <a><b>1</b><a><b>2</b></a></a>,<a><b>3</b></a> } return $doc // a ! descendant::b / text() This is implicitly parameterized like this: (($doc // a) ! descendant::b) / text() -> ("1", "2", "3") However my proposed change parameterizes it like this: ($doc // a) ! (descendant::b / text()) -> ("1", "2", "2", "3") I believe that by using the "!" operator, the user has explicitly chosen not to have document ordering and duplicate removal applied to the result sequence. The latter precedence and associativity more closely matches this expectation. Other more minor differences with my proposed change include the one in the bug description above, as well as allowing the following currently illegal syntax: / ! document-uri(.) 67982 2 mike 2012-05-21 23:27:19 +0000 I think I'm persuaded. It seems that (apart from a syntactic interaction with edge cases involving lone-slash), the only impact is on expressions that use "/" to the right of "!". And it's hard to construct realistic examples where (under the current rules) such a use of "!" is usefully different from "/", given that the lhs of "/" has to be nodes, and the "/" does any document-ordering that the "!" might otherwise have prevented. So the current precedence rules don't allow you to do anything very useful, wheras the proposed precedence rules allow expressions such as $page//@href ! doc(.)//title where the fact that "!" doesn't do document-ordering is potentially useful. 68988 3 jonathan.robie 2012-06-12 15:28:07 +0000 I'm persuaded also. This example from Comment 1 was particularly convincing: $doc // a ! descendant::b / text() 68996 4 jonathan.robie 2012-06-12 15:58:57 +0000 The Working Group agrees. We will make this change.