- 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