String reboot (plain text)
Guy Steele
guy.steele at oracle.com
Wed Mar 13 17:59:23 UTC 2019
> On Mar 13, 2019, at 1:52 PM, Brian Goetz <brian.goetz at oracle.com> wrote:
> . . .
> On 2/10/2019 1:10 PM, Jim Laskey wrote:
>> … Let's try symmetry, either \" or "\ as the closing delimiter. "\ is preferable because then it doesn't look like an escape sequence (see Swift.)
>>
>> String html = \"<html>
>> <body style="width: 100vw">
>> <p>Hello World.</p>
>> </body>
>> <script>console.log("\nloaded")</script>
>> </html>"\;
I believe there is a small problem with this specific example: doesn’t this string literal end just before the word “loaded” in the penultimate line? I see a double quote that is (coincidentally) immediately followed by a backslash.
Sorry I failed to note this back in February.
Of course, using \”””…”””\ avoids this problem.
—Guy
More information about the amber-spec-experts
mailing list