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:34:16 +0000
To: public-qt-comments@w3.org
Message-Id: <E1KBsYC-0003pa-7H@wiggum.w3.org>

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





--- Comment #2 from Tim Mills <tim@cbcl.co.uk>  2008-06-26 14:34:15 ---
> 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.

To be precise, I'm inferring that _if it were_ to return a result, it would
return a sequence of length one (base on the quantifier). 

Consider instead:

declare function local:mystery() as xs:integer
{
  fn:error()
};

count(local:mystery)


-- 
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:34:52 GMT

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