[Bug 11171] [XQuery11] dynamic errors reported during static analysis

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

Michael Dyck <jmdyck@ibiblio.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jmdyck@ibiblio.org

--- Comment #4 from Michael Dyck <jmdyck@ibiblio.org> 2010-10-30 19:47:57 UTC ---
(In reply to comment #3)
> Systems that do optimistic type checking are allowed to raise type errors
> statically whether or not the code is guarded by run-time conditionals.

Currently, yes, but not with Andrew's "QueryBody" proposal. (Which is mostly
why I raised that example.)

> I'm surprised to see that the first paragraph Andrew cites bundles
> dynamic errors and type errors together as if they were the same.

That paragraph originally only mentioned type errors (actually, it /originally/
talked about "type-related warnings", but then shifted to type errors), but
dynamic errors have been there since 2005-03-28.

-- 
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 Saturday, 30 October 2010 19:47:59 UTC