<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div><br></div><div>On Apr 12, 2017, at 07:52, Thorsten Seitz via swift-evolution <<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>> wrote:<br><br></div><blockquote type="cite"><blockquote type="cite"><span>Am 12.04.2017 um 15:40 schrieb Brent Royal-Gordon via swift-evolution <<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>>:</span><br></blockquote><blockquote type="cite"><span></span><br></blockquote><blockquote type="cite"><span>Hey folks,</span><br></blockquote><blockquote type="cite"><span></span><br></blockquote><blockquote type="cite"><span></span><br></blockquote><blockquote type="cite"><span>We've revised the proposal again. The main difference: You no longer need an initial newline to enable indentation stripping, and stripping no longer removes that newline even if it is present. (Adrian Zubarev and I believe some others argued for this.) We</span><br></blockquote><span></span><br><span>Hmm, not sure if I like these changes. I expect that almost all strings won't begin with a newline and a majority won’t end with a newline. The new design would require a leading backslash almost all the time and a trailing backslash often, which is ugly:</span><br><span></span><br><span>let mystring = "““\</span><br><span> text text</span><br><span> text text\</span><br><span> "““</span><br></blockquote><div><br></div><div>(I think I've read the whole thread, but it can be easy to miss parts on the phone. I <i>think</i> this is different than what's already been discussed... sorry if this has already been suggested and I just missed it.)</div><br><div>What having this input:</div><div><div><font color="#000000"><span style="background-color: rgba(255, 255, 255, 0);"><blockquote type="cite">let mystring = "““<br> text text<br> text text<br> "““</blockquote></span></font></div></div><div>yielding this output:</div><div><span style="background-color: rgba(255, 255, 255, 0);"></span></div><blockquote type="cite"><div><span style="background-color: rgba(255, 255, 255, 0);">text text<br>text text</span></div></blockquote><br><div><span style="background-color: rgba(255, 255, 255, 0);">And this input:</span></div><div><span style="background-color: rgba(255, 255, 255, 0);"><blockquote type="cite">let mystring = "““/<br> text text<br> text text<br> /"““</blockquote></span></div><div><div><span style="background-color: rgba(255, 255, 255, 0);">yielding this output:</span></div><div><span style="background-color: rgba(255, 255, 255, 0);"></span></div></div><blockquote type="cite"><div><div><span style="background-color: rgba(255, 255, 255, 0);"><br></span></div><div><span style="background-color: rgba(255, 255, 255, 0);">text text<br>text text</span></div></div><div><br></div></blockquote><div><br></div><div>(Sorry about not putting in all the symbols... I don't know a way to type them on my phone)</div><br><div>If you think of the "/" as more of a "toggle whether the next character is escaped" instead of specifically "escape the next character", it makes sense (kinda)... or the outputs could be reversed. Either way, it allows easy access to both options and preserves the "paste-in block of text as-is" goal.</div><div><br></div><div>- Dave Sweeris</div></body></html>