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

[Bug 1722] New: [FS] typos in two inferences in 7.2.5 "fn:collection..."

From: <bugzilla@wiggum.w3.org>
Date: Mon, 18 Jul 2005 21:36:22 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1DudHi-0003PB-DR@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1722

           Summary: [FS] typos in two inferences in 7.2.5 "fn:collection..."
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows 2000
            Status: NEW
          Severity: trivial
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: fred.zemke@oracle.com
         QAContact: public-qt-comments@w3.org


7.2.5 fn:collection and fn:doc
In the third inference

statEnv |-  statEnv.collectionType(StringLiteral) not defined
-------------------------------------------------------
statEnv |- fn:collection(Expr) : (element | attribute | 
                                  processing-instruction |
                                  text | comment | document) *

There is no stated relationship between StringLiteral and Expr.
What you want is

statEnv |-  statEnv.collectionType(String) not defined
-------------------------------------------------------
statEnv |- fn:collection(String) : node *

The second inference about fn:doc has the same problem.
Received on Monday, 18 July 2005 21:36:27 UTC

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