Editorial Clarification Request: setDefaultGlobalBindings

[leobalter]

I'd like to request clarification on the setDefaultGlobalBindings abstraction.

There is a likely chance it won't need editorial changes, thou.

when it says: "For each property of the Global Object specified in clause 18".

then on clause 18: Global Object we have this bullet point:

• "may have host defined properties in addition to the properties defined in this specification. This may include a property whose value is the global object itself."

Here is my question: should we assume the each property includes any of those host defined properties?

TIA!

[bakkot]

I believe the answer is no. The only callsite of SetDefaultGlobalBindings is InitializeHostDefinedRealm, which in the immediately following step says

11. Create any host-defined global object properties on globalObj.

And my understanding is that the intention of that step is to create the properties mentioned in that bullet point, rather than those being created during InitializeHostDefinedRealm.

[leobalter]

Thanks, @bakkot!

SetDefaultGlobalBindings is currently called by the Realm constructor, yet a proposal and that brought me the question.

Feel free to close this if you find no actionables here, but perhaps we can benefit adding clarification in the spec text.