- From: <bugzilla@wiggum.w3.org>
- Date: Fri, 27 Jun 2008 20:22:33 +0000
- To: public-qt-comments@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 UTC