Date: Fri, 10 Jun 2022 17:09:51 +0200
On 10/06/2022 16.20, Hubert Tong wrote:
> @Corentin <mailto:corentin.jabot_at_[hidden]> @Jens Maurer <mailto:Jens.Maurer_at_[hidden]>, the key reason why my version of the text does not need the parenthetical is that the implementation-definedness encompasses the creation of the sequence from the aggregate input "characters" (which can include more than what the character is, but also where the character is). Versions of the wording that skew towards considering only the characters and what they are is undesired without the parenthetical.
Ok. I still feel the parenthetical is helpful,
because it reduces subtleties.
Jens
> @Corentin <mailto:corentin.jabot_at_[hidden]> @Jens Maurer <mailto:Jens.Maurer_at_[hidden]>, the key reason why my version of the text does not need the parenthetical is that the implementation-definedness encompasses the creation of the sequence from the aggregate input "characters" (which can include more than what the character is, but also where the character is). Versions of the wording that skew towards considering only the characters and what they are is undesired without the parenthetical.
Ok. I still feel the parenthetical is helpful,
because it reduces subtleties.
Jens
Received on 2022-06-10 15:09:56