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

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 UTC