> On Apr 18, 2019, at 7:55 PM, John Rose <john.r.r...@oracle.com> wrote:
> . . .
> Also, is a left-margin quote allowed immediately before the
> close-quote? Is it required? If allowed and not required,
> this basically means such a string can end with either three
> or four close-quotes.
I would say “not allowed”.
> On Apr 18, 2019, at 8:29 PM, John Rose <john.r.r...@oracle.com> wrote:
> . . .
> This puts the burden back on the uncommon stripping
> case. We might want a way to say "delete that last newline,
> even though I used it to make my pretty box". One way
> to do this would be a new escape sequence for ML strings
> only:
>
> String message = """
> hello
> world\
> "”";
Consider an escape sequence (I’ll use \@ as the example) that has the property
that it contributes nothing to the content of the string, and furthermore
cancels all non-escapewhitespace (including newlines) on both sides.
To strip the last newline:
String message = """
hello
world
\@""";
To omit all newlines and just run lines together with one space in between:
String message = """
\@\ hello
\@\ world
\@""";
To omit all newlines and just run lines together with one space in between and
one newline at the end:
String message = """
\@\ hello
\@\ world
\@\n""";
