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 17:36:32 +0000
To: public-qt-comments@w3.org
Message-Id: <E1PCFM0-0001mS-PW@jessica.w3.org>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=11171

--- Comment #3 from Michael Kay <mike@saxonica.com> 2010-10-30 17:36:32 UTC ---
>So, e.g., if the QueryBody were

    if ($condition) then 1 + "red" else "foo"

static analysis would not be allowed to raise a type error (for 1 + "red")

I thought we were talking about dynamic errors here, not type errors. The rules
should be different. Systems that do optimistic type checking are allowed to
raise type errors statically whether or not the code is guarded by run-time
conditionals. I'm surprised to see that the first paragraph Andrew cites
bundles dynamic errors and type errors together as if they were the same. But
the rule about conditional expressions only applies to dynamic errors, not type
errors.

-- 
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 17:36:34 UTC

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