Date: Wed, 22 Sep 2021 12:06:27 -0400
On Wed, Sep 22, 2021 at 11:59 AM Jens Maurer <Jens.Maurer_at_[hidden]> wrote:
> On 22/09/2021 17.46, Corentin via SG16 wrote:
> > I added "A whitespace is the longest sequence of characters that could
> constitute a whitespace." in [lex.whitespace]. I believe this is true for
> all sort of whitespaces, including comments and
> > it takes care of both line-breaks and comments
>
> "Longest sequence" sounds like all of this:
>
> /* blah */ stuff */
>
> is one comment, but in reality, it is one comment plus garbage "stuff */".
>
The grammar already precludes consuming the first */ as part of a longer
comment. So the "longest sequence" presented above cannot constitute a
*whitespace*.
>
> Jens
>
> On 22/09/2021 17.46, Corentin via SG16 wrote:
> > I added "A whitespace is the longest sequence of characters that could
> constitute a whitespace." in [lex.whitespace]. I believe this is true for
> all sort of whitespaces, including comments and
> > it takes care of both line-breaks and comments
>
> "Longest sequence" sounds like all of this:
>
> /* blah */ stuff */
>
> is one comment, but in reality, it is one comment plus garbage "stuff */".
>
The grammar already precludes consuming the first */ as part of a longer
comment. So the "longest sequence" presented above cannot constitute a
*whitespace*.
>
> Jens
>
Received on 2021-09-22 11:06:57