String reboot (plain text)

Guy Steele guy.steele at
Wed Mar 13 17:59:23 UTC 2019

> On Mar 13, 2019, at 1:52 PM, Brian Goetz <brian.goetz at> 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.


More information about the amber-spec-observers mailing list