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

[Bug 1638] New: [FS] do input collections all have the same type?

From: <bugzilla@wiggum.w3.org>
Date: Fri, 15 Jul 2005 21:51:32 +0000
To: public-qt-comments@w3.org
Message-Id: <E1DtY5k-0007QV-Ed@wiggum.w3.org>


           Summary: [FS] do input collections all have the same type?
           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

3.1.1 Static context
under statEnv.collectionType it says "It [The collection types 
environment] contains the static type for the input collections...". 
This sentence suggests that there is a single type for all 
collections, which is belied by the later and more accurate 
statement that "The collection types contain bindings from input 
URIs (a URI) to types (a Type).".  The first sentence should make 
the word "type" plural ("types"), or, for maximum clarity, you 
should use a universal quantifier: "It contains, for each 
statically-known collection, the static type of that collection".  
The first sentence under statEnv.docType
has the same problem and the same fix.
Received on Friday, 15 July 2005 21:51:39 UTC

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