W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2008

[Bug 5810] [XQuery] reasoning about fn:error()

From: <bugzilla@wiggum.w3.org>
Date: Fri, 27 Jun 2008 16:13:32 +0000
To: public-qt-comments@w3.org
Message-Id: <E1KCGZo-0002oa-UU@wiggum.w3.org>

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





--- Comment #6 from Tim Mills <tim@cbcl.co.uk>  2008-06-27 16:13:32 ---
According to the typing rules in Bug 4841

fs:item-at( fn:error(), Expr) is empty-sequence.

as produced by

(fn:error()[1])

Is this correct/desirable?  Does this match the intended evaluation semantics?

This may also affect fn:subsequence.

Perhaps these should be defined to be of type none, i.e. erroneous?


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Friday, 27 June 2008 16:22:47 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:52 GMT