Results 300 comments of jmdyck

Okay, this PR is ready for review. Issue #2639 might affect SetMutableBinding, but probably not much.

If you look at a parameterized production, such as: ``` StatementList[Return, In] : ... ``` and think of it as an abbreviation for 4 different productions: ``` StatementList : ......

Does this mean that ecmarkup would *generate* an `id` attribute for each `` (or at least, say, each emu-alg in a clause with multiple emu-algs)?

I agree that it's odd: the criterion "each FunctionDeclarationthat is directly contained in the StatementList of a Block, CaseClause, or DefaultClause" makes it sound like we need to look at...

In the phrase "Contained within _code_", I suspect the capital 'C' alludes to the 'Contains' SDO, which avoids looking inside nested functionDecls. (To make it a proper invocation of 'Contains',...

> this would make things look clean. Is it the source or the rendered result that you're saying would look clean?

I think, once PR #2547 lands, you won't need this PR any more, because there won't be any algorithms that complete without a Return. Or I suppose you could say...

If you rebase to main (now that #2547 has landed), I think you'll find that there isn't much left in this PR. Note that [9.10.3 Execution](https://tc39.es/ecma262/#sec-weakref-execution) doesn't have a "Return"...