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


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


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 UTC