<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Judging by the fact that the error says something like "missing `while`" and "use `repeat`instead", it looks like a bug in the parser, where it goes with the `do-while` to `repeat-while` transition error before checking for other possible constructs like `do { }`.<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Jun 10, 2017, at 4:30 PM, Xiaodi Wu <<a href="mailto:xiaodi.wu@gmail.com" class="">xiaodi.wu@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">Well, IMO, if that change was intentional, it’s the original change that warrants a full-fledged proposal. Without it, I think it’d be justified to call this a regression and file a bug!<br class=""><div class="gmail_quote"><div dir="ltr" class="">On Sat, Jun 10, 2017 at 09:29 Gor Gyolchanyan <<a href="mailto:gor@gyolchanyan.com" class="">gor@gyolchanyan.com</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space" class="">Yeah. So, what's the official process for these kinds of things? I imagine it would warrant a full-fledged proposal, would it?</div><div style="word-wrap:break-word;line-break:after-white-space" class=""><br class=""><div class=""><br class=""><blockquote type="cite" class=""><div class="">On Jun 10, 2017, at 4:26 PM, Xiaodi Wu <<a href="mailto:xiaodi.wu@gmail.com" target="_blank" class="">xiaodi.wu@gmail.com</a>> wrote:</div><br class="m_-3043038160002375976Apple-interchange-newline"><div class="">I did not realize that change occurred with `do {}`! That seems like it should be a regression, given that previously there was explicitly a fix-it to rewrite naked `{}` to `do {}`.<br class=""><div class="gmail_quote"><div dir="ltr" class="">On Sat, Jun 10, 2017 at 09:06 Gor Gyolchanyan <<a href="mailto:gor@gyolchanyan.com" target="_blank" class="">gor@gyolchanyan.com</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space" class="">Yeah, that's why I mentioned a big **if** at the end. I love the `do { }` construct or variable isolation purposes and logical grouping, but unfortunately, Swift 4 has made it a lot uglier, by making it an error in its current form:<div class=""><br class=""></div><div class="">do {</div><div class=""><span class="m_-3043038160002375976m_-5457763926699264408Apple-tab-span" style="white-space:pre-wrap"> </span>let a = "123"</div><div class=""><span class="m_-3043038160002375976m_-5457763926699264408Apple-tab-span" style="white-space:pre-wrap"> </span>print(a)</div><div class="">} // error: missing `while`, also use `repeat` instead</div><div class=""><br class=""></div><div class="">The workaround is to do this:</div><div class=""><br class=""></div><div class="">do {</div><div class=""><span class="m_-3043038160002375976m_-5457763926699264408Apple-tab-span" style="white-space:pre-wrap"> </span>let a = "123"</div><div class=""><span class="m_-3043038160002375976m_-5457763926699264408Apple-tab-span" style="white-space:pre-wrap"> </span>print(a)</div><div class="">};</div><div class=""><br class=""></div><div class="">It might seem like a little change, but this really really bugs me for some reason. I always felt like semicolons in Swift should never be mandatory and should only be used for writing multiple statements on the same line.</div><div class=""><br class=""></div><div class="">Overall, I agree that this isn't a big enough reason to change the syntax for. Let's just make the `do { }` great again instead.</div></div><div style="word-wrap:break-word;line-break:after-white-space" class=""><div class=""><br class=""><div class=""><br class=""><blockquote type="cite" class=""><div class="">On Jun 10, 2017, at 3:33 PM, Xiaodi Wu <<a href="mailto:xiaodi.wu@gmail.com" target="_blank" class="">xiaodi.wu@gmail.com</a>> wrote:</div><br class="m_-3043038160002375976m_-5457763926699264408Apple-interchange-newline"><div class=""><div class="">_Every_ addition to the basic syntax of the language is, by definition, high cost. The bar for additions to the standard library is already very high; the bar for additions to control flow syntax would be extraordinarily high.<br class=""><br class="">The proposed use case here is far from the original topic of repeat {} while, which is unique because the condition lexically follows the loop.</div><div class=""><br class=""></div><div class="">For those loops in Swift where it is possible to declare variables in the condition, these live in a magical middle scope that is intuitive to use but also an exception to the rule of thumb that scopes are surrounded by braces. As I wrote earlier, it is possible to manually create an analogous scope by surrounding any loop with do {}. Any addition to the language would have to be vastly superior to this currently possible alternative, and I seriously doubt it is possible to invent such a thing because anything shorter than the four letters in “do {}” would also obscure the existence of the middle scope being created.</div><div class=""><br class=""></div><div class=""><br class=""><div class="gmail_quote"><div class="">On Sat, Jun 10, 2017 at 08:05 Goffredo Marocchi via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank" class="">swift-evolution@swift.org</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">If it is low cost and people do not come up with regressions/high cost + negative impact scenarios then I would say go full steam ahead. It does address an annoying scenario.<br class=""><br class=""><div id="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877AppleMailSignature" class="">Sent from my iPhone</div></div><div class=""><div class=""><br class="">On 10 Jun 2017, at 12:04, Gor Gyolchanyan <<a href="mailto:gor@gyolchanyan.com" target="_blank" class="">gor@gyolchanyan.com</a>> wrote:<br class=""><br class=""></div><blockquote type="cite" class=""><div class="">Not much, I think. The `where` clause already exists, conditional `let` and `var` binding already exists. It'd take loosening up conditional binding rules a bit and expanding the lexical structure to include `let` and `var` bindings in `repeat`.<br class=""><div class=""><br class=""><blockquote type="cite" class=""><div class="">On Jun 10, 2017, at 2:01 PM, Goffredo Marocchi <<a href="mailto:panajev@gmail.com" target="_blank" class="">panajev@gmail.com</a>> wrote:</div><br class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-interchange-newline"><div class=""><div class="">Quite interesting :), what impact would it have on the compiler?<br class=""><br class=""><div class="">Sent from my iPhone</div><div class=""><br class="">On 10 Jun 2017, at 11:46, Gor Gyolchanyan via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank" class="">swift-evolution@swift.org</a>> wrote:<br class=""><br class=""></div><blockquote type="cite" class=""><div class="">I think a better way of achieving this would be to use the already existing `where` keyword in loops. The way it works right now is as follows:<div class=""><br class=""></div><div class="">let many = [1, 2, 3, 4, 5]</div><div class="">for each in many where each % 2 == 0 {</div><div class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>print("found an even number: \(each)")</div><div class="">}</div><div class=""><br class=""></div><div class="">Unfortunately, unlike all other conditional scopes, `where` does not allow `let` and `var` bindings in it, so I'd suggest we add ability to do that:</div><div class=""><br class=""></div><div class="">let many: [Int?] = [1, 2, nil, 3, 4, nil, 5]</div><div class="">for each in many where let number = each {</div><div class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>print("found a non-nil number: \(number)")</div><div class="">}<div class=""><br class=""></div><div class="">Or, more interestingly:</div><div class=""><br class=""></div><div class="">for each in many where let number = each, number % 2 == 0 {</div><div class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>print("found a non-nil even number: \(number)")</div><div class="">}</div><div class=""><br class=""></div><div class="">And in case of a while loop:</div><div class=""><br class=""></div><div class="">var optional: Int? = 1</div><div class="">while let nonoptional = optional {</div><div class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>if nonoptional >= 10 {</div><div class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>optional = nil</div><div class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>}</div><div class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>optional = nonoptional + 1</div><div class="">}</div><div class=""><br class=""></div><div class="">But this is only for optional unpacking, so another addition would be to allow any `let` and `var` bindings in conditional scopes without them contributing to the condition itself:</div><div class=""><br class=""></div><div class="">while let a = 0, a < 10 {</div><div class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>a += 1</div><div class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>print(a)</div><div class="">}</div><div class=""><br class=""></div><div class="">And finally, allow these bindings in `repeat`:</div><div class=""><br class=""></div><div class="">repeat let a = 0 {</div><div class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>a += 1</div><div class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>print(0)</div><div class="">} while a < 10</div><div class=""><br class=""></div><div class="">I think **if** the core team would consider this a worthwhile addition, this would be a less invasive and more intuitive way of achieving what you want.</div><div class=""><br class=""><blockquote type="cite" class=""><div class="">On Jun 10, 2017, at 1:31 PM, Haravikk via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank" class="">swift-evolution@swift.org</a>> wrote:</div><br class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-interchange-newline"><div class=""><div style="word-wrap:break-word" class=""><div class="">Not sure if my e-mail didn't go through or if discussion just fizzled out; one other benefit if we ever move to a proper message board is we might gain the ability to bump topics. Anyway, I'll resend my message just in case:</div><div class=""><br class=""></div><div class=""><br class=""></div><br class=""><div class=""><div class="">Just to add my thoughts, as I like the idea of adding the variables to the start somehow, but was wondering if might make sense to have a keyword such as "using", but allow it on all block statements, like-so:</div><div class=""><div style="word-wrap:break-word" class=""><div class=""><br class=""></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>// Original use-case of repeat … while</font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>repeat using (var i = 0) {</font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>// Do something</font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>} while (i < 20)</font></div><div class=""><font face="Monaco" class=""><br class=""></font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>// for … in demonstrating combination of using and where</font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>for eachItem in theItems using (var i = 0) where (i < 20) {</font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>// Do something either until theItems run out or i reaches 20</font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>}</font></div><div class=""><font face="Monaco" class=""><br class=""></font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>// Standard while loop</font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>while let eachItem = it.next() using (var i = 0) where (i < 20) {</font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>// As above, but with an iterator and a while loop and conditional binding to also stop on nil</font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>}</font></div><div class=""><font face="Monaco" class=""><br class=""></font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>// Closure with its own captured variable</font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>let myClosure:(Int) -> Int = using (var i = 0) { i += 1; return i * $0 }</font></div><div class=""><font face="Monaco" class=""><br class=""></font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>// If statements as well</font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>if somethingIsTrue() using (var i = 0) where (i < 20) {</font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>// Do something</font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>}</font></div><div class=""><font face="Monaco" class=""><br class=""></font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>// Or even a do block; while it does nothing functionally new, I quite like it aesthetically</font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>do using (var i = 0) {</font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>// Do something</font></div><div class=""><font face="Monaco" class=""><span class="m_-3043038160002375976m_-5457763926699264408m_-6394219739602900901m_-5320062136514170877Apple-tab-span" style="white-space:pre-wrap"> </span>}</font></div><div class=""><br class=""></div><div class="">Unifying principle here is that anything created in the using clause belongs to the loop, conditional branch etc. only, but exists outside the block itself (thus persisting in the case of loops and closures). I quite like the possible interaction with where clauses here as a means to avoid simple inner conditionals as well.</div><div class=""><br class=""></div><div class="">Basically the two clauses can work nicely together to avoid some common inner and outer boilerplate, as well as reducing pollution from throwaway variables.</div><div class=""><br class=""></div><div class="">Only one I'm a bit iffy on is the closure; I'm trying to avoid declaring the captured variable externally, but I'm not convinced that having using on its own is clear enough?</div><div class=""><br class=""></div><div class="">Anyway, just an idea!</div></div></div></div><br class=""></div>_______________________________________________<br class="">swift-evolution mailing list<br class=""><a href="mailto:swift-evolution@swift.org" target="_blank" class="">swift-evolution@swift.org</a><br class=""><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" target="_blank" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br class=""></div></blockquote></div><br class=""></div></div></blockquote><blockquote type="cite" class=""><div class=""><span class="">_______________________________________________</span><br class=""><span class="">swift-evolution mailing list</span><br class=""><span class=""><a href="mailto:swift-evolution@swift.org" target="_blank" class="">swift-evolution@swift.org</a></span><br class=""><span class=""><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" target="_blank" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a></span><br class=""></div></blockquote></div></div></blockquote></div><br class=""></div></blockquote></div>_______________________________________________<br class="">
swift-evolution mailing list<br class="">
<a href="mailto:swift-evolution@swift.org" target="_blank" class="">swift-evolution@swift.org</a><br class="">
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br class="">
</blockquote></div></div>
</div></blockquote></div><br class=""></div></div></blockquote></div>
</div></blockquote></div><br class=""></div></blockquote></div>
</div></blockquote></div><br class=""></body></html>