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: Thu, 26 Jun 2008 14:26:18 +0000
To: public-qt-comments@w3.org
Message-Id: <E1KBsQU-0002yx-DX@wiggum.w3.org>

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


Michael Kay <mike@saxonica.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mike@saxonica.com




--- Comment #1 from Michael Kay <mike@saxonica.com>  2008-06-26 14:26:18 ---
Since fn:error has type none, whose quantifier is 1, is it conformant for

count(fn:error())

to return 1?

It seems to me that you're inferring that fn:error() will return a sequence of
length one, which is incorrect - it won't return at all.

Is it also permissible to avoid an error here:

(fn:error(), 1)[2]

That seems to make the same inference that fn:error() will return a singleton -
which it won't.

But of course with

(fn:error(), 1)[last()]

returning 1 would be fine.


-- 
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 Thursday, 26 June 2008 14:26:53 GMT

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