W3C home > Mailing lists > Public > public-qt-comments@w3.org > March 2009

[Bug 6731] New: Type of External Variable

From: <bugzilla@wiggum.w3.org>
Date: Tue, 24 Mar 2009 15:17:42 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-6731-523@http.www.w3.org/Bugs/Public/>

           Summary: Type of External Variable
           Product: XPath / XQuery / XSLT
           Version: Working drafts
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 1.1
        AssignedTo: jonathan.robie@redhat.com
        ReportedBy: jonathan.robie@redhat.com
         QAContact: public-qt-comments@w3.org

The current XQuery 1.1 Working Draft discusses the static type inferred for
external variables:

  If a variable declaration includes a type, that type is added to the
  static context as the type of the variable. If a variable
  declaration includes a VarValue or a VarDefaultValue but not an
  explicit type, the type of the variable is inferred from static
  analysis of the expression and is added to the static context.

Doesn't this belong in the Formal Semantics?

We do need to know what the required type of an external variable is. At the
last Face to Face, we decided the following:

- Static type has no dependency on external

- In a dynamic implementation, the static type is either (1) the
  declared type, or (2) item()*

- The original paragraph cited in 2008Oct/0002.html is only true when
  there is no external variable.

- Editorially, bringing the two descriptions of the types of external
  variables closer together, and giving them similar structure, would
  be helpful.

- Wording: 'the variable contains external' - be clear that this is
  syntactic productions.

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 Tuesday, 24 March 2009 15:17:52 UTC

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