W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

[Bug 1656] New: [FS] undefined notation in 4.1.2 "Variable references" and elsewhere

From: <bugzilla@wiggum.w3.org>
Date: Sat, 16 Jul 2005 00:44:16 +0000
To: public-qt-comments@w3.org
Message-Id: <E1Dtamu-00015T-TK@wiggum.w3.org>


           Summary: [FS] undefined notation in 4.1.2 "Variable references"
                    and elsewhere
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows 2000
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: fred.zemke@oracle.com
         QAContact: public-qt-comments@w3.org

4.1.2 Variable references
"Dynamic evaluation", second inference, third line:
the notation "URI => module_dynEnv dynEnv1", where 
module_dynEnv1 is a subscript, is not defined, here or in
Section 2, "Preliminaries".  This notation is also found in 
4.1.5 "Function calls" in the rules for evaluating an imported
function.  Perhaps "module_dynEnv |- URI => dynEnv1" would
be a better way to express it.
Received on Saturday, 16 July 2005 00:44:19 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:25 UTC