[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/>

https://www.w3.org/Bugs/Public/show_bug.cgi?id=21315

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