[Bug 10866] [XQuery11] Editorial: Adding types to the in-scope variables.

http://www.w3.org/Bugs/Public/show_bug.cgi?id=10866

Jonathan Robie <jonathan.robie@redhat.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID

--- Comment #1 from Jonathan Robie <jonathan.robie@redhat.com> 2011-04-29 22:10:44 UTC ---
The sentence you quote is the one-sentence summary. Later in the text we find:

<quote>During static analysis, a variable declaration causes a pair (expanded
QName N, type T) to be added to the in-scope variables. The expanded QName N is
the VarName. If N is equal (as defined by the eq operator) to the expanded
QName of another variable in in-scope variables, a static error is raised
[err:XQST0049].</quote>

and

<quote>During query evaluation, each variable declaration causes a pair
(expanded QName N, value V) to be added to the Prolog variable values. The
expanded QName N is the VarName. The value V is as follows:
!!! SNIP !!!</quote>

I think the short summary is helpful. I think the detail you want is provided.
So I'm marking this as INVALID, I don't think there's a problem here.

Please reopen if I'm missing something.

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Friday, 29 April 2011 22:10:47 UTC