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

[Bug 1611] New: section 2 is not self-contained and ought to be

From: <bugzilla@wiggum.w3.org>
Date: Fri, 15 Jul 2005 00:08:07 +0000
To: public-qt-comments@w3.org
Message-Id: <E1DtDkN-00047q-3J@wiggum.w3.org>


           Summary: section 2 is not self-contained and ought to be
           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

2.1.5 Putting it together
The second example shows the premise 
"statEnv |- VarName of var expands to expanded-QName".
The predicate "of var expands to" has not been introduced.
Granted, not every predicate can be discussed in this introductory
section, but shouldn't the introduction at least be intelligible
as a stand-alone entity?  This predicate should be 
discussed in section 2.1.2 "Notations for judgments".
Received on Friday, 15 July 2005 00:08:09 UTC

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