Monday, 17 April 2017

What is the exact syntactic ambiguity that requires parentheses around a yield expression in an OR assignment?

The following code...
Assume that the yield is inside a generator function and that something and else are defined, etc.

const value = something || yield else();

...produces the following in V8 (Chrome or Nodejs):

                const start = initial || yield wait();
                                         ^^^^^
SyntaxError: Unexpected strict mode reserved word

...and this in Firefox:

SyntaxError: yield is a reserved identifier

I first noticed this in a bluebird coroutine I was writing. The fix is to wrap the yield wait() in a parentheses.

This error happens at parse time rather than at execution time; so, my first assumption is that this is because there's a syntactic ambiguity here. I looked at the yield keyword which defines it as:

[rv] = yield [expression];

yield takes an expression and returns a value. This does not happen without the || (OR) operator as const value = yield else();; so, I looked at operator precedence. The || (OR) operator is evaluated at 5 before the yield operator at 2. The precedence looks fine.

It looks like the || (OR) operator requires an expression on either side and while I assume that yield [expression] is an expression, perhaps that's not true? Why is it that I need to wrap that part in parentheses to make it explicitly an expression? What could || yield be ambiguous with? I'm sure I'm just missing it; or, is there some sneaky/deeper reason for this?

This question was also notoriously difficult to search for, so hopefully I'm not duping here.

(You can use this Plunker https://plnkr.co/edit/rNidnFuyIOFkRkkcyWRV to make the error happen if you'd like to see it.)

Thanks!



via Shibumi

No comments:

Post a Comment