My current — and potentially incorrect — understanding is that the proposed LastYieldValue component of genContext is almost the same thing as the received.[[Value]] mentioned in
And, perhaps also, almost the same thing as the Completion resumptionValue, mentioned in
If this understanding is correct, it may be less confusing — for specification readers — to rename LastYieldValue to ReceivedValue, and to rename resumptionValue to receivedValue.
Or, maybe, rename them all
received.[[Value]] → sent.[[Value]]resumptionValue → sentValueLastYieldValue → SentValue
Alternatively, if received.[[Value]], resumptionValue, and LastYieldValue are conceptually distinct, it might be helpful to include a non-normative note.
My current — and potentially incorrect — understanding is that the proposed
LastYieldValuecomponent of genContext is almost the same thing as thereceived.[[Value]]mentioned inAnd, perhaps also, almost the same thing as the Completion
resumptionValue, mentioned inIf this understanding is correct, it may be less confusing — for specification readers — to rename
LastYieldValuetoReceivedValue, and to renameresumptionValuetoreceivedValue.Or, maybe, rename them all
received.[[Value]]→sent.[[Value]]resumptionValue→sentValueLastYieldValue→SentValueAlternatively, if
received.[[Value]],resumptionValue, andLastYieldValueare conceptually distinct, it might be helpful to include a non-normative note.