W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2013

[Bug 21315] [XP3.0] XPDY0002 - type error or dynamic error

From: <bugzilla@jessica.w3.org>
Date: Tue, 16 Apr 2013 16:12:40 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-21315-523-bcmiGyPcXb@http.www.w3.org/Bugs/Public/>

--- Comment #2 from Jonathan Robie <jonathan.robie@gmail.com> ---
I propose that we keep this as a dynamic error, and modify the following text:

<quote> if an implementation can determine during the static analysis phase
that a QueryBody <add>or FunctionBody</add>, if evaluated, would necessarily
raise a dynamic error or that an expression, if evaluated, would necessarily
raise a type error, the implementation may (but is not required to) report that
error during the static analysis phase.  <add>However, a FunctionBody should
not raise such  error statically simply because invoking the function would
invoke fn:error().</quote>

You are receiving this mail because:
You are the QA Contact for the bug.
Received on Tuesday, 16 April 2013 16:12:41 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:52 UTC