Is this valid multiline string illegal per SPEC?

[eugenesvk]

This 2-line multiline string is valid (and parsed as such), but it seems that per spec it shouldn't be?

n """
␤\   """

(newline added explicitly as ␤ for easier visual comparison)

The spec for quoted multiline string is:

quoted-string := """
newline multi-line-string-body
newline (unicode-space | ws-escape)* """

But multi-line-string-body eats all escaped space within it, so our 2nd line

␤\   """

is part of the body up to """
and then there is no mandatory newline left to have before """

multi-line-string-body := (('"' | '""')? string-character)*
string-character := '\\' (["\\bfnrts] | 'u{' hex-unicode '}') | ws-escape | [^\\"] - disallowed-literal-code-points
ws-escape := '\\' (unicode-space | newline)+

ws-escape eats all contiguous whitespace after it and is part of the body

[tabatkins]

Oh, huh, yeah, the grammar is slightly wrong. It requires two newlines between the quotes, but the spec allows those to be the same newline. We need to add an an alternative to handle empty multiline strings properly.

[tabatkins]

Should be fixed in #483, gonna let it sit for a bit in case anyone wants to review.

[tabatkins]

(btw, for things like this, Issues are more appropriate than discussions)