[Bug 5332] [UPD] Parentheses around () or fn:error()

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5332





--- Comment #22 from Jonathan Robie <jonathan.robie@redhat.com>  2009-04-28 13:32:27 ---
I can see that I need to at least add this:

A non-empty parenthesized expression is a vacuous expression if the expression
it contains is a vacuous expression.

Are there other cases that I am missing? If not, how about this:

<snip>
 The following expressions are defined by this specification to be "vacuous
 expressions": 

 * A call to the built-in function fn:error is a vacuous expression.
 * An empty parenthesized expression ( ) is a vacuous expression. 
 * A non-empty parenthesized expression is a vacuous expression 
   if the expression it contains is a vacuous expression.
 * If all branches are vacuous expressions, the typeswitch expression 
   is a vacuous expression.
 * If both branches are vacuous expressions, the conditional expression 
   is a vacuous expression.
 * If all operands are vacuous expressions, the comma expression 
   is a vacuous expression.

 These expressions can be determined statically to always return an empty
 sequence or raise an error.
</snip>



-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Tuesday, 28 April 2009 13:32:35 UTC