RE: ambiguity in XQuery grammar

It is indeed an ambiguity, and I've been concerned about it too, though I
think it can be easily resolved by adding some kind of "greedy parsing" rule
akin to the "greedy tokenizing" rule.
 
Michael Kay

-----Original Message-----
From: Damien Fisher [mailto:damien@sodatech.com] 
Sent: 30 May 2002 07:40
To: www-ql@w3.org
Subject: ambiguity in XQuery grammar


There appears to be an ambiguity in the current draft specification's
grammar, which I was hoping someone could resolve for me.
 
Consider:
 
1 instance of xs:integer+ +1
 
Is this equivalent to:
 

(1 instance of xs:integer+) +1
 
or:
 
(1 instance of xs:integer) + (+1)
 
?
 
I would suggest changing the syntax for InstanceOfExpr so parentheses are
put around the SequenceType.