[Bug 29590] dependency cycle and indirect references

https://www.w3.org/Bugs/Public/show_bug.cgi?id=29590

--- Comment #4 from Michael Kay <mike@saxonica.com> ---
Interesting. Yes, I agree that it would be perfectly reasonable with
K2-InternalVariablesWithout-1a to go into infinite recursion rather than
detecting the error. 

Saxon is rejecting this one during a static check, which is a residue of XQuery
1.0 (which we still support, just about). Looking at the code, the static check
is actually too strong: it's capable of rejecting things that wouldn't fail at
run-time. Our static check appears to treat variable references and static
function calls as if they are always evaluated. Reading the rules, I don't
think that's conformant; the rules for conditional expressions and
switch/typeswitch don't allow you to raise an error as a consequence of
evaluating a branch of a conditional that isn't actually selected.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Tuesday, 26 April 2016 08:34:00 UTC