String reboot (plain text)
James Laskey
james.laskey at oracle.com
Wed Mar 13 18:36:26 UTC 2019
I think I mention that later in the doc.
Sent from my iPhone
> On Mar 13, 2019, at 2:59 PM, Guy Steele <guy.steele at oracle.com> wrote:
>
>
>> 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