Exponentiation operator precedence

[Claude Pache]

> Le 25 août 2015 à 19:25, Mark S. Miller <erights at google.com> a écrit :
> 
> It also does not work. x ** y ** z, if we allow it at all, must be right associative. It must parse as x ** (y ** z).
> 

Unless I missed something, it *is* right-associative.
—Claude

> 
> On Tue, Aug 25, 2015 at 10:08 AM, Mark S. Miller <erights at google.com <mailto:erights at google.com>> wrote:
> It does not work as well as simply omitting ** entirely.
> 
> 
> On Tue, Aug 25, 2015 at 9:42 AM, Isiah Meadows <isiahmeadows at gmail.com <mailto:isiahmeadows at gmail.com>> wrote:
> I like this. It works very well. 
> 
> On Tue, Aug 25, 2015, 12:38 Claude Pache <claude.pache at gmail.com <mailto:claude.pache at gmail.com>> wrote:
> 
> I think the following grammar could work.
> Replace the current (ES2015) PostfixExpression production with:
> 
> ```
> IncrementExpression:
>     LeftHandSideExpression
>     LeftHandSideExpression [no LineTerminator here] ++
>     LeftHandSideExpression [no LineTerminator here] --
>     ++ LeftHandSideExpression
>     -- LeftHandSideExpression
> ```
> 
> And define UnaryExpression as:
> 
> ```
> UnaryExpression:
>     IncrementExpression
>     delete UnaryExpression
>     void UnaryExpression
>     typeof UnaryExpression
>     ++ UnaryExpression
>     + UnaryExpression
>     -- UnaryExpression
>     - UnaryExpression
>     ~ UnaryExpression
>     ! UnaryExpression
>     IncrementExpression ** UnaryExpression
> ```
> 
> where the following production (which exists only to avoid to confusingly interpret, e.g., `++x++` as `+ +x++`):
> 
> ```
> UnaryExpression:
>     ++ UnaryExpression
>     -- UnaryExpression
> ```
> 
> yields a static SyntaxError (or a static ReferenceError if we want to be 100% compatible ES2015).
> 
> 
> That way, we have the following expected behaviour:
> * in/decrement operators bind most tightly;
> * unary and exponentiation operators are applied from right to left.
> 
> 
> —Claude
> 
> 
> _______________________________________________
> es-discuss mailing list
> es-discuss at mozilla.org <mailto:es-discuss at mozilla.org>
> https://mail.mozilla.org/listinfo/es-discuss <https://mail.mozilla.org/listinfo/es-discuss>
> 
> 
> 
> -- 
>     Cheers,
>     --MarkM
> 
> 
> 
> -- 
>     Cheers,
>     --MarkM

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20150825/6bfeb47b/attachment.html>