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


Michael Dyck <jmdyck@ibiblio.org> changed:

           What    |Removed                     |Added
                 CC|                            |jmdyck@ibiblio.org

--- Comment #7 from Michael Dyck <jmdyck@ibiblio.org>  2008-06-27 20:22:33 ---
(In reply to comment #6)
> According to the typing rules in Bug 4841
> fs:item-at( fn:error(), Expr) is empty-sequence.

That could be misread as a statement about the value of the expression, so let
me state more precisely that, according to those rules, the static type of
    fs:item-at( fn:error(), Expr)
is the type 'empty'. Which implies that, if evaluated, the expression will
either raise a (non-type) error, or return the empty sequence. This is
consistent with the dynamic semantics: a strict evaluation will always raise
err:FOER0000. (But an implementation is allowed to rewrite the expression to
return the empty sequence, according to the XQuery rewrite rules.)

> 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 20:23:07 UTC