08:43
<тars>

Let me ask a question about the syntax-directed operation StringNumericValue. There doesn't seem to be a production definition of following case.

StrDecimalLiteral ::: + StrUnsignedDecimalLiteral

Is this not necessary? Or am I misunderstanding something?

https://tc39.es/ecma262/#sec-runtime-semantics-stringnumericvalue

11:22
<jmdyck>
That case is handled by the chain rule, see https://tc39.es/ecma262/#sec-algorithm-conventions-syntax-directed-operations
13:28
<тars>

Ah, I get it. Thanks! So, by the chain production rule, it implicitly includes the following:

StrDecimalLiteral ::: + StrUnsignedDecimalLiteral
  1. Return StringNumericValue of StrUnsignedDecimalLiteral

Am I correct?

13:39
<jschoi>
It would be “Return Evaluation of StrUnsignedDecimalLiteral”.
14:03
<тars>
What? How? Isn't the same syntax-directed operation reapplied to the sole right-hand side nonterminal? Where did the Evaluation come from?
19:47
<jschoi>
My apologies; I misunderstood the question; I hadn’t realized you were talking about a specific syntax-directed operation. Yes, your interpretation is correct.