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
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:23 UTC