W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2010

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

From: <bugzilla@jessica.w3.org>
Date: Sat, 30 Oct 2010 19:47:57 +0000
To: public-qt-comments@w3.org
Message-Id: <E1PCHPB-00053V-RD@jessica.w3.org>
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

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