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


--- 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


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 UTC