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>

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.4.0 : Friday, 17 January 2020 16:57:32 UTC