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