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


--- 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

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