http://www.w3.org/Bugs/Public/show_bug.cgi?id=4446 ------- Comment #3 from jmdyck@ibiblio.org 2007-06-17 19:52 ------- > (a) the processor can determine that the result is either true() or an > error without evaluating one of the operands, namely the condition And that's a perfectly valid deduction to make. I think the behaviour you're concerned about is for the processor to *always* return true() for this example. > * Conditional and typeswitch expressions 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. How about "... MUST NOT evaluate a branch that is not selected" ?Received on Sunday, 17 June 2007 19:52:50 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:14:20 GMT