[swift-evolution] Proposal: Remove the "fallthrough" keyword

Steve Canon scanon at apple.com
Sun Dec 6 11:16:27 CST 2015

> On Dec 6, 2015, at 4:52 AM, Jacopo Andrea Giola <swift-evolution at jacopo.giola.org>
> If this proposal is accepted, it must be coupled with a compiler check that the reswitch statements don't introduce an infinite "switch" loop.

Detecting this in general is solving the halting problem, so such a check isn't actually feasible.  One could warn when termination can't be proved, but making it a hard error would remove much of the usefulness for implementing interpreters.

- Steve

More information about the swift-evolution mailing list