- From: <bugzilla@wiggum.w3.org>
- Date: Mon, 18 Jul 2005 21:36:22 +0000
- To: public-qt-comments@w3.org
- Cc:
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