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

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