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=29320Received on Tuesday, 15 December 2015 15:18:56 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:43:15 UTC