- From: <bugzilla@farnsworth.w3.org>
- Date: Tue, 01 Apr 2008 13:26:10 +0000
- To: public-qt-comments@w3.org
- CC:
Summary: [FS] Missing rule in 7.2.5 The fn:collection?
Product: XPath / XQuery / XSLT
Version: Recommendation
Platform: PC
OS/Version: Windows NT
Status: NEW
Severity: normal
Priority: P2
Component: Formal Semantics
AssignedTo: jmdyck@ibiblio.org
ReportedBy: tim@cbcl.co.uk
QAContact: public-qt-comments@w3.org
In F&O 15.5.6 (fn:collection) says "If $arg is the empty sequence, the function
behaves as if it had been called without an argument"
The static typing rules in FS 7.2.5 should reflect this. I suspect it should
be something along the lines of:
statEnv |- QName of func expands to (FN-URI,"collection")
statEnv |- Implementation-defined default sequence has type Type
statEnv |- Expr : empty-sequence()
------------------------------------------------------------------
statEnv |- QName(Expr) : Type
Received on Friday, 4 April 2008 09:59:07 UTC