On Thu, Jul 5, 2018 at 12:51 AM, Christoph M. Becker <cmbecke...@gmx.de>
wrote:

> On 05.07.2018 at 00:20, Kalle Sommer Nielsen wrote:
>
> > Den tor. 5. jul. 2018 kl. 00.15 skrev Yasuo Ohgaki <yohg...@ohgaki.net>:
> >
> >> Since the issue is incompatibility between current "continue" and
> "break",
> >> how about provide a tool replace "continue" to "break" where it is
> >> applicable.
> >> (Raise error for invalid "continue" usage also. This would be a bug most
> >> likely.)
> >>
> >> Then there wouldn't be compatibility issue anymore.
> >
> > I like the idea of a tool for such, but I think its better to
> > implement it in some of the static analyzer projects like PHPStan and
> > the like to catch these.
>
> Please note that the RFC has been superseded by
> <https://github.com/php/php-src/pull/3364>.
>
> --
> Christoph M. Becker
>

The warning addition in https://github.com/php/php-src/pull/3364 is merged
now and I've marked the original RFC as withdrawn.

Nikita

Reply via email to