ACTION A-626-04: Done

Done in internal working draft.

Jonathan

ACTION A-626-04: JRobie to add 'switch' to the list of expressions in
section 2.3.4 Errors and Optimization which must not raise a dynamic
error in respect of subexpressions occurring in a branch that is not
selected, and must not return the value delivered by a branch unless
that branch is selected.  ALSO add a note to clarify that in "if
(condition) then 'z' else error()" z cannot be returned without
evaluating the condition.  Bug 29320 - [XQ31] Switch expressions
should have same error semantics as typeswitch.
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29320

Received on Tuesday, 15 December 2015 15:18:56 UTC