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: Fri, 27 Jun 2008 20:22:33 +0000
To: public-qt-comments@w3.org
Message-Id: <E1KCKSn-0001W8-Og@wiggum.w3.org>

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


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?

Perhaps.


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

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