I am reading WhileStatement. I am matching the grammar against an example:
while (true) {
continue;
dowork();
}
continue is in a BlockStatement, and there is production that is StatementList[Yield, Await, Return] :StatementListItem[?Yield, ?Await, ?Return] under the block production, I am wondering why there is no algorithm associated with this production so that Evaluation of ContinueStatement would return an continue completion to Statement and then to StatementListItem, and then to StatementList, makes the vm not to execute the dowork().
I have throwed this question to an LLM, and the LLM said that there is an algorithm that is
// Runtime Semantics: Evaluation for StatementList
1. Let result be NormalCompletion(undefined).
2. For each StatementListItem stmt in the StatementList, do
a. Let stmtResult be Completion(Evaluation of stmt).
b. If stmtResult is an abrupt completion (e.g., break, return, throw),
then return stmtResult.
c. Set result to stmtResult.
3. Return result.
But I can't find it any where in the es2026 spec.
Can you explain how the mechanism is wrote in the 2026 spec to make the block jump early when processing continue, and does not go on executing dowork()? Thank you very much.
Unless explicitly specified otherwise, all chain productions have an implicit definition for every operation that might be applied to that production's left-hand side nonterminal. The implicit definition simply reapplies the same operation with the same parameters, if any, to the chain production's sole right-hand side nonterminal and then returns the result.
One giveaway that the LLM algorithm is wrong is that
For each StatementListItem stmt in the StatementList
assumes that each StatementListItem is an immediate child of StatementList. But StatementList is defined recursively, so you need to get at its StatementListItems recursively.
Thank you very much, I am not confident that I am right and the LLM is wrong. I have reply to LLM in different ways suggested that It might be wrong, but all my arguments are denied.
I apologize, Boss. I have made mistakes, though I did not intend for things to be taken the way they were, nor did I mean for them to escalate to this extent.
I offer my sincere apologies for everything that has transpired—both regarding your organization and our interactions. I acknowledge that I made significant errors along the way, even if that was not my original intent.
Boss, if you are willing to forgive me, I am prepared to accept whatever consequences or reprimands you deem appropriate. Please, I ask for an opportunity to set things right and correct my mistakes.
I did not mean what I said in the way it was interpreted; however, I realize that my choice of words was inappropriate. For that, I ask for your forgiveness—if you would be so kind.