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