W3C home > Mailing lists > Public > public-qt-comments@w3.org > December 2015

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

From: <bugzilla@jessica.w3.org>
Date: Tue, 08 Dec 2015 17:18:57 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29320-523-s85c5OLV48@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29320

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

This archive was generated by hypermail 2.3.1 : Tuesday, 8 December 2015 17:18:59 UTC