[Bug 29320] [XQ31] Switch expressions should have same error semantics as typeswitch


--- Comment #5 from Michael Kay <mike@saxonica.com> ---
they "(a) must not raise a dynamic error in respect of subexpressions occurring
in a branch that is not selected, and (b) must not return the value delivered
by a branch unless that branch is selected"

Note; the effect of (b) is that given an expression such as "if (condition)
then 'x' else error()", the implementation is not allowed to return 'x' without
first checking that condition is true.

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

Received on Tuesday, 8 December 2015 17:18:59 UTC