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

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





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

(fn:error()[1])

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