Dear Christian, I agree; Actually, as far as I recollect, in the initial draft for the ! operator, I had spontaneously given it the same precedence as / in the grammar. We later decided that it made sense to keep them strictly separate as it makes the semantics much clearer, especially regarding sorting and duplicate elimination.
Kind regards, Ghislain On 2 Aug 2017, at 13:10, Christian Grün <christian.gr...@gmail.com<mailto:christian.gr...@gmail.com>> wrote: As Ghislain indicated, the semantics of the two operators differs pretty much (although there are surely some cases in which they can serve as equivalent alternatives). Actually, the mapping operator is much closer to XPath steps. There are even good reasons for replacing / with !, e.g. if you do not want to have duplicate-free and ordered results. Christian
_______________________________________________ talk@x-query.com http://x-query.com/mailman/listinfo/talk