<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">To cope with the pattern matching cases, I would say that reswitch either has to:</div><div class="">1. Be limited specifically to a switch without pattern matching or enum values with associated data (such as Optional.Some). This would likely need to go beyond the limitations on fall through, which only limit value-binding patterns</div><div class="">2. Use instead of trying to treat the value of a reswitch as a label, treat it as a expression to re-execute the switch statement over:</div><div class=""><br class=""></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class=""><div class="">switch(optionalThing) {</div><div class="">case .None:</div><div class=""><span class="Apple-tab-span" style="white-space:pre">        </span>print(“assuming default value”)<span class="Apple-tab-span" style="white-space:pre">        </span></div><span class="Apple-tab-span" style="white-space:pre">        </span>reswitch “default”<div class="">case .Some(let str):</div><div class=""><span class="Apple-tab-span" style="white-space:pre">        </span>print(“processing value \(str)”);</div><div class="">}</div></blockquote><div class=""><br class=""></div><div class="">This does however have non-intuitive behavior - when the second case statement is hit, “str" is no longer equal to "optionalThing!”. For that reason, one might find it clearer to require an explicit reassignment, effectively treating the switch as a loop:&nbsp;</div><div class=""><br class=""></div><div class=""><blockquote style="margin: 0px 0px 0px 40px; border: none; padding: 0px;" class=""><div class="">switch(optionalThing) {</div><div class="">case .None:</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">        </span>print(“assuming default value”)<span class="Apple-tab-span" style="white-space: pre;">        </span></div><span class="Apple-tab-span" style="white-space: pre;">        </span>optionalThing =&nbsp;“default”</blockquote><blockquote style="margin: 0px 0px 0px 40px; border: none; padding: 0px;" class=""><span class="Apple-tab-span" style="white-space:pre">        </span>reswitch<br class=""><div class="">case .Some(let str):</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">        </span>print(“processing value \(str)”);</div><div class="">}</div><div class=""><br class=""></div></blockquote>The existing “continue” keyword seems a poor choice to recycle for this purpose; “repeat” or “retry” might be more appropriate than “reswitch"</div><div class=""><br class=""></div><div class="">-DW</div><div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Dec 6, 2015, at 1:06 PM, Jacopo Andrea Giola via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">&nbsp;Hi Colin,</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">the initial proposal was indeed to remove entirely the `fallthrough` keyword but many people expressed your similar concern and from that point the discussion was steered through an "enhancement" and better refinement of the keyword.</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">The new idea is to substitute the old keyword with "reswitch" passing the desired new value on which the switch is applied.</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">So something like this:</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">switch (enum) {</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><span class="Apple-tab-span" style="white-space: pre;">        </span>case .One:</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><span class="Apple-tab-span" style="white-space: pre;">                </span>// do something</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><span class="Apple-tab-span" style="white-space: pre;">                </span>reswitch .Two</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><span class="Apple-tab-span" style="white-space: pre;">        </span>case .Two:</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><span class="Apple-tab-span" style="white-space: pre;">                </span>// do something else</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><span class="Apple-tab-span" style="white-space: pre;">        </span>default:</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><span class="Apple-tab-span" style="white-space: pre;">                </span>// and so one</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">}</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">This new behaviour, IMO, is better suited for Swift because is more declarative of the developer intent and doesn't carry over unintentional misbehaviour.</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">Is more declarative because you are forced to state in which case you want to go, and even if the order of the switch’ cases will change in the future, you don't fall in the wrong case by mistake.</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div class="">switch (enum) {</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">        </span>case .One:</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>// do something</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>reswitch .Two</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">        </span>case .OneAndAHalf</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>// maybe this change is not made by you but by a messed up merge</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">        </span>case .Two:</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>// do something else</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">        </span>default:</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>// and so one</div><div class="">}</div></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">In this case if you are using the fallthrough keyboard your code is now broken by accident, and depending on what are you trying to do inside the cases you can have a hidden bug that your tests are not seeing right away.&nbsp;</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">Another advantage is that in this way you can made more cases&nbsp;fallthrough in the same one even if they are not one over each other</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div class="">switch (enum) {</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">        </span>case .One:</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>// do something</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>reswitch .Two</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">        </span>case .OneAndAHalf</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>// so something that you don’t want to do for .One</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>reswitch .Two</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">        </span>case .Two:</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>// do something else that you may want to do for .One and .Two</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">        </span>default:</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>// and so one</div><div class="">}</div></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">I must say that this is a side effect that can be used to messed up the code flow in a way that is not intended, but is a new behaviour that gives more power to the switch statement.</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">The reswitch keyword in addition is not a mere&nbsp;fallthrough on the new case without doing the optional checking attached to it, but is intended to be a new call and all the check are executed.</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div class=""><div class="">switch (enum) {</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">        </span>case .One:</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>// do something</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>x = 0;</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>reswitch .Two</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">        </span>case .OneAndAHalf</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>// so something that you don’t want to do for .One</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>reswitch .Two</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">        </span>case .Two where x &gt; 0:</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>// do something else that you may want to do for .One and .Two</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>element =&nbsp;array[x]</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">        </span>default:</div><div class=""><span class="Apple-tab-span" style="white-space: pre;">                </span>// and so one</div><div class="">}</div><div class="">(I’m going by memory and by writing this snippets in the mail app directly, so the code must be incorrect in the syntax and for this I’m sorry).</div><div class=""><br class=""></div><div class="">In this case if enum is .One the only case that is executed is case .One and the code doesn’t&nbsp;fallthrough in the .Two case because we are made the where invalid by changing the x to a value less than 1.</div><div class=""><br class=""></div><div class="">Now I don’t remember who was the first one who mede this proposal, and I don’t know if he is working on a first draft to lay down the things better, but for me this can be a nice improvement and a neat break with the C-switch behaviour that Swift has trying to change from the very first beta disallowing the implicit fallthrough.</div><div class=""><br class=""></div><div class="">I can be completely wrong but I see the `fallthrough`keyword as a “temporary” implementation for ease the transition from Obj-C to Swift and is time to improve it and made the switch statement even more powerful.</div><div class=""><br class=""></div></div></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">- Jacopo<br class="">Sent from my iPad</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class="">On 06 Dec 2015, at 19:57, Colin Barrett via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:<br class=""><br class=""></div><blockquote type="cite" class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div class=""><div class=""><div class="">tl;dr The fallthrough keyword, as far as I am aware, isn’t costing us anything; and has at least minimal utility, as I try to demonstrate.</div></div><div class=""><br class=""></div>Apologies for jumping into this thread at an awkward point, but I’ve only just now subscribed to this list.<div class=""><br class=""></div><div class="">I think the fallthrough keyword is useful in certain circumstances. I’ve also yet to see an example of where it creates a negative impact, either in code, optimization, or what have you. Other than “It’s like something in C, and C is old and busted” I’m unsure of the rationale for removing it. (Feel free to point me in the right direction.)</div><div class=""><br class=""></div><div class="">Consider the Planet enum from the documentation. One of the simplest way to define the number of a planet (i.e. its 1-based index in the ordering of planets wrt. distance from the sun) is using a switch and fall-through:</div><div class=""><br class=""></div><div class=""><a href="https://gist.github.com/cbarrett/23b24a9fe76efdf006df" class="">https://gist.github.com/cbarrett/23b24a9fe76efdf006df</a></div><div class=""><br class=""></div><div class="">This technique is very extensible — for instance imagine computing the force induced by the gravity of the other planets on a particular planet. All that would need to change is the case statements.</div><div class=""><br class=""></div><div class="">Yes, you could write this by putting the planets into a list and mapping or folding (or looping) over that, but unless the compiler can “unroll” that construct, you’re paying for an allocation simply bc of your choice of control flow. But in fact, you could imagine generalizing this construct into the implementation of fold for the Planet type — low-overhead folds for monomorphic types seems like a pretty compelling an natural use case for fallthrough to me.</div><div class=""><br class=""></div><div class="">Thanks,</div><div class="">-Colin</div><div class=""><br class=""><div class=""><blockquote type="cite" class=""><div class="">On Dec 6, 2015, at 4:52 AM, Jacopo Andrea Giola via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="auto" class=""><div class="">+1 for this idea, but I will prefer the reswitch keyword instead of overloading continue with a new syntax.</div><div class=""><br class=""></div><div class="">If this proposal is accepted, it must be coupled with a compiler check that the reswitch statements don't introduce an infinite "switch" loop.</div><div class=""><br class="">Sent from my iPad</div><div class=""><br class="">On 06 Dec 2015, at 00:23, Steve Canon via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:<br class=""><br class=""></div><blockquote type="cite" class=""><div class=""><div class="">Very much thinking out loud and not really the implications, I wonder if we might just use "continue" instead of "reswitch".</div><div class=""><br class=""></div><div class="">I very much like specifying what case to fall through into, no matter how we spell it.<br class=""><br class="">- Steve</div><div class=""><br class="">On Dec 5, 2015, at 4:45 PM, John McCall via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:<br class=""><br class=""></div><blockquote type="cite" class=""><div class=""><div class=""><blockquote type="cite" class=""><div class="">On Dec 5, 2015, at 1:31 PM, John McCall via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:</div><div class=""><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div class=""><blockquote type="cite" class=""><div class="">On Dec 4, 2015, at 11:37 PM, John Calsbeek &lt;<a href="mailto:john.calsbeek+lists@gmail.com" class="">john.calsbeek+lists@gmail.com</a>&gt; wrote:</div><div class=""><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div class=""><div class="">`fallthrough` is conceptually similar to `goto` in that both allow natural expression of concepts that exist at the instruction level but are otherwise difficult to express with nested control structures. `fallthrough` is perhaps slightly less objectionable because control flow remains local, but it has a similar role.</div><div class=""><br class=""></div><div class="">It is not particularly natural to write `switch` statements with `fallthrough` in the reverse order that can be seen in Duff’s Device and similar constructs (case 7 falls through to 6 which falls through to 5, etc.). It’s just because you know for certain that all the code in case 6 would be duplicated in case 7, so 7 can transfer into 6 without a jump instruction. Communicating that to the compiler without `fallthrough` requires deeply nested `if`s.</div></div></div></div></blockquote><div class=""><br class=""></div>Right. &nbsp;One idea that I’ve always had for “fallthrough” is that we might parameterize it in the future; parameterized it would mean “repeat the switch with this new value”, so that unparameterized fallthrough would mean “repeat the switch with a notional value that ends up in the next case”. &nbsp;There’s a very common pattern in switches of deferring to another case that I’ve always found very awkward to write in C, and while sometimes there’s no choice but to extract a helper function, there’s a still-fairly-structural code pattern here that I think we can sensibly support.</div><div class=""><br class=""></div><div class="">On the other hand, there’s an argument that this is an inappropriate extension for “fallthrough” specifically, which is one reason we’ve never pursued it.</div></div></div></blockquote><div class=""><br class=""></div>Oh, I see that Joe already brought this up, spelled “reswitch”.</div><div class=""><br class=""></div><div class="">John.</div><div class=""><br class=""><blockquote type="cite" class=""><div class=""><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div class=""><br class=""></div><div class="">John.</div><div class=""><br class=""><blockquote type="cite" class=""><div class=""><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div class=""><div class=""><br class=""></div><div class="">One defense comes to mind: there is talk of Swift aiming at systems programming. Is writing a threaded interpreter loop within the potential scope of Swift? That’s a use case that could make use of both `fallthrough` and `goto` (computed goto, really).</div><div class=""><br class=""></div><div class="">switch op {</div><div class="">case LOAD_INDIRECT:</div><div class="">&nbsp; &nbsp;in0 = memory[in1]</div><div class="">&nbsp; &nbsp;fallthrough</div><div class="">case LOAD:</div><div class="">&nbsp; &nbsp;out0 = memory[in0]</div><div class="">//...</div><div class="">}</div><div class=""><br class=""></div><div class="">I am personally interested in the prospect of a language that can scale up to high-level concepts and down to “portable assembler,” but I don’t know if that is the right direction for Swift’s evolution.</div><div class=""><br class=""></div><div class="">Cheers,</div><div class="">John</div></div><br class=""><div class=""><blockquote type="cite" class=""><div class="">On Dec 4, 2015, at 2:42 PM, John McCall &lt;<a href="mailto:rjmccall@apple.com" class="">rjmccall@apple.com</a>&gt; wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><blockquote type="cite" class=""><div class="">On Dec 4, 2015, at 2:33 PM, Kevin Ballard &lt;<a href="mailto:kevin@sb.org" class="">kevin@sb.org</a>&gt; wrote:</div><div class=""><div class=""><div class="">It's not actually Duff's Device. Duff's Device relies on the fact that C switch statements don't actually introduce a new scope, and so it overlaps a switch with a do-while loop. This lets it only test the number of bytes once, to jump into the middle of the loop, and then it switches over to a while loop that decrements a counter every 8 instructions. Basically, it's a trick for manual loop unrolling that deals with non-multiple-of-8 counts efficiently.<br class=""></div></div></div></blockquote><div class=""><br class=""></div>To be pedantic, C switch statements do introduce a new scope. &nbsp;What Duff’s Device exploits is that switch is allowed to jump into (almost) arbitrary scopes, and cases can appear anywhere recursively inside a switch.</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">But your point that Swift’s switch requires cases to be at the top level within a switch and thus prevents the use of Duff’s Device is 100% correct.</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">John.</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""><blockquote type="cite" class=""><div class=""><div class=""><div class="">&nbsp;</div><div class="">Steve's code is also an example of manual loop unrolling that deals with non-multiple-of-8 counts, but it has calculate the number of bytes on every iteration instead of once. It's a good example of one of the uses of `fallthrough`, it's just not Duff's Device. It's impossible to use Duff's Device in Swift.<br class=""></div><div class="">&nbsp;</div><div class="">-Kevin Ballard</div><div class="">&nbsp;</div><div class="">On Fri, Dec 4, 2015, at 02:16 PM, Greg Titus wrote:<br class=""></div><blockquote type="cite" class=""><div class="">Streza’s source code is an example of Duff’s Device, which is a big place where switch fallthrough is arguably the cleanest way to do things and the reason why I’d personally prefer to keep it as part of the language.<br class=""></div><div class="">&nbsp;</div><div class=""><blockquote type="cite" class=""><div class="">On Dec 4, 2015, at 2:12 PM, Erica Sadun &lt;<a href="mailto:erica@ericasadun.com" class="">erica@ericasadun.com</a>&gt; wrote:<br class=""></div><div class="">&nbsp;</div><div class=""><div class="" style="word-wrap: break-word; -webkit-line-break: after-white-space;"><div class="">Oh let it die, let it die. Any time I use fallthrough I find myself re-factoring to stop using it.&nbsp;<br class=""></div><div class="">&nbsp;</div><div class=""><b class="">True fact</b>: On all of<span class="Apple-converted-space">&nbsp;</span><a href="http://gist.github.com/" class="">gist.github.com</a>, there are only 22 gist results for "fallthrough language:swift".<br class=""></div><div class="">Half of those are people just testing out the feature. Most of the remaining ones are just complex cases:<br class=""></div><div class=""><i class="">case .Enum1, .Enum2:</i><br class=""></div><div class="">expressed as&nbsp;<br class=""></div><div class=""><i class="">case .Enum1: fallthrough</i><br class=""></div><div class=""><i class="">case .Enum2:</i><br class=""></div><div class="">&nbsp;</div><div class="">And then there's streza: &nbsp;<a href="https://gist.github.com/stevestreza/2557dc5ec9e7c694d7ea" class="">https://gist.github.com/stevestreza/2557dc5ec9e7c694d7ea</a><span class="Apple-converted-space">&nbsp;</span>&nbsp; I'm pretty sure that ponies were harmed in the production of whatever that last bit is.<br class=""></div><div class="">&nbsp;</div><div class="">&nbsp;</div><div class="">&nbsp;</div><div class="">&nbsp;</div><div class=""><blockquote type="cite" class=""><div class="">On Dec 4, 2015, at 3:05 PM,<span class="Apple-converted-space">&nbsp;</span><a href="mailto:jalkut@red-sweater.com" class="">jalkut@red-sweater.com</a><span class="Apple-converted-space">&nbsp;</span>wrote:<br class=""></div><div class="">&nbsp;</div><div class=""><div class=""><div class="">In the spirit of some other proposals that remove C or C++ style artifacts, what do folks think about the possibility of removing the "fallthrough" keyword from the language?<br class=""></div><div class="">&nbsp;</div><div class="">My understanding is this keyword is only used for the archaic seeming purpose of perpetuating C-style fallthrough from one switch statement to the subsequent one. The documentation hedges the use of this keyword in forbidding terms that make it clear its use is not encouraged. The presence of the keyword, while an improvement over C’s implicit fallthrough, is a mark of inelegance on an otherwise well-designed, opinionated implementation of swtich statements.<br class=""></div><div class="">&nbsp;</div><div class="">The ugliness of fallthrough’s C-style behavior even demands a caveat in the documentation:<br class=""></div><div class="">&nbsp;</div><div class="">"The fallthrough keyword does not check the case conditions for the switch case that it causes execution to fall into. The fallthrough keyword simply causes code execution to move directly to the statements inside the next case (or default case) block, as in C’s standard switch statement behavior."<br class=""></div><div class="">&nbsp;</div><div class="">To my mind, the caveat explains just what is wrong with fallthrough, both in C or Swift: coded that is clearly labeled with deliberate conditions can nonetheless be reached.<br class=""></div><div class="">&nbsp;</div><div class="">I quipped about this on Twitter, and the most common pushback I got seemed to be from people who either did not know about Swift’s support for comma-separated case statements, or harbored an aesthetic preference for clustering such cases together with fallthrough statements.<br class=""></div><div class="">&nbsp;</div><div class="">In my opinion, unless somebody can think of a strong defense for supporting intentional fallthrough in Swift, removing the keyword would be a move in the direction of minimizing the language’s complexity while also discouraging poor coding style in switch statements.<br class=""></div><div class="">&nbsp;</div><div class="">Thoughts?<br class=""></div><div class="">&nbsp;</div><div class="">Daniel<br class=""></div><div class="">&nbsp;</div><div class="">_______________________________________________<br class=""></div><div class="">swift-evolution mailing list<br class=""></div><div class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a><br class=""></div><div class=""><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br class=""></div></div></div></blockquote></div><div class="">&nbsp;</div><div class=""><img border="0" height="1" width="1" alt="" src="https://www.fastmailusercontent.com/proxy/989cb4366ad41b4455cc3f50f9b71777dbe9035cdabeb439a2cbe058c39f9d97/8647470737a3f2f25723030323431303e23647e23756e64676279646e2e65647f27766f2f60756e6f35707e6d33757732745b446d22364f4368776b4e4749665f6b636e4447513e6a7469514948537938614931365f49435d2236437264485d4d223647664c6a505a58416a4a7b623341545d6165725b6750524145507a695767683b626c6235326430743252446c61313a46477d4154424c4357513454793d2232475366637a774349466a76603d40545d223248415142686e4f63723a745a747d22364a6a647850515f4d4859696f684b64796346526a6a697336616a79667a6e626a73545a47664a76323979434d22364d4d496f6a7251407779685557624c6867425c435563707c603e697868366969587d22364a705341677473783d22364444794a666d22324a64337d23344/open" class="" style="height: 1px !important; width: 1px !important; border-width: 0px !important; margin: 0px !important; padding: 0px !important;"><br class=""></div></div><div class="">_______________________________________________<br class=""></div><div class="">swift-evolution mailing list<br class=""></div><div class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a><br class=""></div><div class=""><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br class=""></div></div></blockquote></div><div class="">&nbsp;</div><div class=""><img border="0" height="1" width="1" alt="" src="https://www.fastmailusercontent.com/proxy/0d75881f7eb3107ead080b1f6943e0dd834cb1b283f5f5c0a1e946f921f2e73d/8647470737a3f2f25723030323431303e23647e23756e64676279646e2e65647f27766f2f60756e6f35707e6d3148765176786c673171614a7d2236454230345272776e475e647744503a5c6c6a684b6636317933335239366555394a4d646777624966375466315c6d6362676541363c635f4653664757384c427072636a444a77387c62315d2236465d4e6161323833367469305b63457d22364a655e634e6567445236603d2236457745434a70707f4745544276633570756160365e636a4d657d6a52696e63615c617f457e6d22364a584c6e6369794539563c6b6b687f665d223643723b675238545077745d223244527a5552466f49444134785d49433e4f4c474e6867345152697036324b6a677d23344d23344/open" class="" style="height: 1px !important; width: 1px !important; border-width: 0px !important; margin: 0px !important; padding: 0px !important;"><br class=""></div><div class=""><u class="">_______________________________________________</u><br class=""></div><div class="">swift-evolution mailing list<br class=""></div><div class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a><br class=""></div><div class=""><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br class=""></div></blockquote><div class="">&nbsp;</div><img src="https://u2002410.ct.sendgrid.net/wf/open?upn=hWKWvOREWCPT32eVzNXOV7yIWXgGOvlMtgjKbOieJnb8EwzmKs3H-2FHCKlv4ilHZMtZj0FLR2TNORrxqF3WP-2FKzg0kPDAN4899q9uganv-2BwZp2lTqLfjBXjvTf1i4kDkUZ19Q6tVnOggTdHi5iejWc1DkHDk3GK1cqYvovVthFeGR1qlubx6BWnccL0xwpf9eH2FSYxCNHf8HThnmimMRr02it-2BrSoAkn7Fi9EaJnun4-3D" alt="" width="1" height="1" border="0" class="" style="height: 1px !important; width: 1px !important; border-width: 0px !important; margin: 0px !important; padding: 0px !important;"></div>_______________________________________________<br class="">swift-evolution mailing list<br class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a><br class=""><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br class=""></div></blockquote></div><br class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><img src="https://u2002410.ct.sendgrid.net/wf/open?upn=ZO2MqS1fAxqJRQoYXNdWvoKiv6QYv4epYsR8ltgc8EmQ39OH-2BWfEmkVJTtDJW3cy4M3e9rLvDC8zEMiLmSKxYqNu4xtZUQENvWo3LVxtO85L1WE96lTlfBfXgmQBAz5l4QhjzMc94GD-2FPPBEw8m5Odu4bYUyPh4JDsL4mL-2FT0lhUK59ljH0pefK8KKiwFhj-2BKHYk2ZCj3QkbTdw9WueOliem9Hl5DVcdJJ4I0zVbPC8-3D" alt="" width="1" height="1" border="0" class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; height: 1px !important; width: 1px !important; border-width: 0px !important; margin: 0px !important; padding: 0px !important;"><span class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;"><span class="Apple-converted-space">&nbsp;</span>_______________________________________________</span><br class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><span class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;">swift-evolution mailing list</span><br class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><a href="mailto:swift-evolution@swift.org" class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">swift-evolution@swift.org</a><br class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">https://lists.swift.org/mailman/listinfo/swift-evolution</a></div></blockquote></div><br class=""><img src="https://u2002410.ct.sendgrid.net/wf/open?upn=hWKWvOREWCPT32eVzNXOV7yIWXgGOvlMtgjKbOieJnb567x9ylwWulGArKqURkcYfG1D8D4lRfJjjY9-2BdKA-2BBnm9w-2Fr4Tv-2Ft0eUrhrA7e67WqNyvEVUDzRmckm5ZP2yf8R6nVfEv4iRVDkcvB5p-2B6x1oeKsWMCMIai54357ktfM59KpDwiMNu6F1HwDwk9Yi4h-2FL-2F2acCp9I9kNNA0rEEv4fAlVyOTccfRc4Sq9EwOY-3D" alt="" width="1" height="1" border="0" class="" style="height: 1px !important; width: 1px !important; border-width: 0px !important; margin: 0px !important; padding: 0px !important;"></div>_______________________________________________<br class="">swift-evolution mailing list<br class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a><br class=""><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br class=""></div></blockquote></div><br class=""><img src="https://u2002410.ct.sendgrid.net/wf/open?upn=hWKWvOREWCPT32eVzNXOV7yIWXgGOvlMtgjKbOieJnYgdvKC81LTfs9DFqlzNJROjzgF0UGvd5eAMab0RSRUh-2FX0kynTHqrulFgYz2q2nATqvb3PFfaFvsZe9sCHmLvKM-2FzTHwmHiqJKts9NAkwR-2BuaawkVol-2BFuio1ja0AVH2HQjjtZfR5NcTdBCXo7mr0SGsxBVD2n-2ByX02hfQOIeysNBoZDs-2BOC-2FEGD60OhH4MRA-3D" alt="" width="1" height="1" border="0" class="" style="height: 1px !important; width: 1px !important; border-width: 0px !important; margin: 0px !important; padding: 0px !important;"></div>_______________________________________________<br class="">swift-evolution mailing list<br class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a><br class=""><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br class=""></div></blockquote></div><br class=""><img src="https://u2002410.ct.sendgrid.net/wf/open?upn=pngPxwQ4BiP5IDU2rQC6TcjbiXVR4eqjpuzmzac21kgpq6EAxR78D0BvaGM49LBPc19-2BcabQKvXm5bpeVetCzr6w1MYenLw-2FOYVZDYFwNniN5h7oaeYM6pG2vX3f5-2FdcMRghktLSziVxyx1WaKrDqRrYhQdv6Bhq35CCNFtuEGdjoefb3sQ0vtEMaXAL5gb-2Bn6HBCslqryChRHz2zrvfMQ-3D-3D" alt="" width="1" height="1" border="0" class="" style="height: 1px !important; width: 1px !important; border-width: 0px !important; margin: 0px !important; padding: 0px !important;"></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" class="">swift-evolution@swift.org</a></span><br class=""><span class=""><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a></span><br class=""></div></blockquote><img src="https://u2002410.ct.sendgrid.net/wf/open?upn=amyhbYWPIxEqpemwz9EpIz-2FncXlpeQcbw9HufCiUnRDiW6oVOtJG3w63BsLZ4LdReaB7Hmu48JqsDRLAe5xinOovJh0w-2FQOzZFugCYI-2FLyNmOxN9mELUQ0xS2l8KmkY0-2BTqEy8ObbBVk92ZdR8ZnJ7q6XSz-2BlnHUHGVODn53hv7EZdYQtCYzhBlufcyYaQzXRoIAmpwnqftYNURP5TK-2F4dZQQ6Qedu-2FC7VSsjyqluu0-3D" alt="" width="1" height="1" border="0" class="" style="height: 1px !important; width: 1px !important; border-width: 0px !important; margin: 0px !important; padding: 0px !important;"></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" class="">swift-evolution@swift.org</a></span><br class=""><span class=""><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a></span><br class=""></div></blockquote><img src="https://u2002410.ct.sendgrid.net/wf/open?upn=CE9t65EUurFM3C3-2FZuqa1cBtZWwfe39uo7qQti09cYZUyo1ryJkBwvBwn-2F1OV-2B4lDIvt3Pp4YstvxFQ5UJ-2BZbXuMJu1cIvUsvll0hjMewOYs-2BiJw7Dw7AD0wTnawLBusBDwnbfGRrlOhPciwdPk90SB44AykW9Ml-2FDbMBcMfPbGcNbXaY8pdI44dmY0wm0ZUMaTnaxHbpHVBfQEqSmGQX4f6wZ4xiVOgjo-2BK19-2FPPhU-3D" alt="" width="1" height="1" border="0" class="" style="height: 1px !important; width: 1px !important; border-width: 0px !important; margin: 0px !important; padding: 0px !important;"></div>_______________________________________________<br class="">swift-evolution mailing list<br class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a><br class=""><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br class=""></div></blockquote></div><br class=""></div><img src="https://u2002410.ct.sendgrid.net/wf/open?upn=amyhbYWPIxEqpemwz9EpIz-2FncXlpeQcbw9HufCiUnRDiW6oVOtJG3w63BsLZ4LdRaaVH3eUyQFmkmjEPSfxj0W9uzrApLbjRFatg1U7TQLe67lTIUqt3RBxz4nzyItLNTslENL8c39JJJSe6q2GL5CrtRsXGj6ShGeARtKUDNCBZbI08BELLC6AOWQS5ez3AkYNcxPTL58SxwKn1jbtKs4afmXXqluwpJpxL5Tpk6bc-3D" alt="" width="1" height="1" border="0" class="" style="height: 1px !important; width: 1px !important; border-width: 0px !important; margin: 0px !important; padding: 0px !important;"></div></blockquote><blockquote type="cite" class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><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" class="">swift-evolution@swift.org</a></span><br class=""><span class=""><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a></span><br class=""></div></blockquote><img src="https://u2002410.ct.sendgrid.net/wf/open?upn=nE9rxSXA5G4kxsTVkgv43vFcOQoCM-2FU-2BigXPSqPoICIMqMFZfA0WMZve1WAALf0IiLwrAZ8yUogqY7jYmS9wopxVuvurQuafUiSLJ8fg-2BH7DV5apI80qmyg-2Bl1kZwTmFG84cLKgGK-2BLyFryyB8EGdZzkV2temeRKtlBKqG-2BDK-2BUc2vPkrEq-2Fl6-2FpqzvM7hWZCrDXAigVZNiLwO2WT-2FuZhT5wdj5XTnkMuhp6HJkBgU4-3D" alt="" width="1" height="1" border="0" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; height: 1px !important; width: 1px !important; border-width: 0px !important; margin: 0px !important; padding: 0px !important;" class=""><span style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class=""><span class="Apple-converted-space">&nbsp;</span>_______________________________________________</span><br style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><span style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">swift-evolution mailing list</span><br style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><a href="mailto:swift-evolution@swift.org" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">swift-evolution@swift.org</a><br style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a></div></blockquote></div><br class=""></div></body></html>