W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2011

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

From: <bugzilla@jessica.w3.org>
Date: Fri, 29 Apr 2011 22:10:45 +0000
To: public-qt-comments@w3.org
Message-Id: <E1QFvtd-0005T5-6Z@jessica.w3.org>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:35 UTC