Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:122528
Message-ID: <2958150F-5CA3-4D7E-996B-AC3F452E8AFB@gmail.com>
Content-Type: multipart/alternative;
	boundary="Apple-Mail=_05D25569-EFC9-4B20-87F9-BB52C0BA1BC7"
Precedence: bulk
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.300.61.1.2\))
Subject: Re: [PHP-DEV] [Pre-RFC] Convert exit (and die) from language
 constructs to functions
Date: Sun, 25 Feb 2024 23:07:11 +0100
In-Reply-To: <dML_nemsGsapovq472mSesuTIKSnJs05IBe1me9cfqf6CALh2GkPjtQ5xJ5OYLyEDAaKYEL-TTouCTYlHlwHQFeMfleMoprZSUZrGRlPnpY=@gpb.moe>
Cc: PHP internals <internals@lists.php.net>
To: "Gina P. Banyard" <internals@gpb.moe>
References: <dML_nemsGsapovq472mSesuTIKSnJs05IBe1me9cfqf6CALh2GkPjtQ5xJ5OYLyEDAaKYEL-TTouCTYlHlwHQFeMfleMoprZSUZrGRlPnpY=@gpb.moe>
From: claude.pache@gmail.com (Claude Pache)


--Apple-Mail=_05D25569-EFC9-4B20-87F9-BB52C0BA1BC7
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8


>=20
> I hear you, but what about exit; ?!
> Do not worry exit; is still supported!
> It only requires a _tiny_ bit of dark magic to achieve this!
> exit; would just be interpreted as a fetch to a constant,
> so when attempting to access the undefined exit/die case-insensitive =
constant
> we just need to exit as if we were calling the function!
>=20

Hi Gina,

If it is mostly an implementation detail, this is probably ok. However, =
please make sure that `$foo =3D 'exit'; constant($foo);` (or any other =
future way to interpolate the constant) does not stop the program, but =
only fetch the value of a =E2=80=9Creal=E2=80=9D constant.

Alternatively, it is probably possible to keep the current parsing with =
T_EXIT, but to make it equivalent to invoke a =E2=80=9Cregular=E2=80=9D =
function named `exit()` =E2=80=94 somehow the same way that using the =
backtick operator is equivalent to calling `shell_exec()`, up to the =
point that disabling `shell_exec()` will also disable the the backtick =
operator?

(BTW, it *is* currently possible to define and use a constant named =
=E2=80=9Cexit=E2=80=9D: https://3v4l.org/aBq2R =E2=80=94 of course, no =
need to keep such a =E2=80=9Cfeature=E2=80=9D.)

=E2=80=94Claude=

--Apple-Mail=_05D25569-EFC9-4B20-87F9-BB52C0BA1BC7
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=utf-8

<html><head><meta http-equiv=3D"content-type" content=3D"text/html; =
charset=3Dutf-8"></head><body style=3D"overflow-wrap: break-word; =
-webkit-nbsp-mode: space; line-break: =
after-white-space;"><br><div><blockquote =
type=3D"cite"><div><br></div><div><div>I hear you, but what about exit; =
?!<br>Do not worry exit; is still supported!<br>It only requires a =
_tiny_ bit of dark magic to achieve this!<br>exit; would just be =
interpreted as a fetch to a constant,<br>so when attempting to access =
the undefined exit/die case-insensitive constant<br>we just need to exit =
as if we were calling the =
function!<br><br></div></div></blockquote><br></div><div>Hi =
Gina,</div><div><br></div><div>If it is mostly an implementation detail, =
this is probably ok. However, please make sure that `$foo =3D 'exit'; =
constant($foo);` (or any other future way to interpolate the constant) =
does not stop the program, but only fetch the value of a =E2=80=9Creal=E2=80=
=9D constant.</div><div><br></div><div>Alternatively, it is probably =
possible to keep the current parsing with T_EXIT, but to make it =
equivalent to invoke a =E2=80=9Cregular=E2=80=9D function named `exit()` =
=E2=80=94 somehow the same way that using the backtick operator is =
equivalent to calling `shell_exec()`, up to the point that disabling =
`shell_exec()` will also disable the the backtick =
operator?</div><div><br></div><div>(BTW, it *is* currently possible to =
define and use a constant named =E2=80=9Cexit=E2=80=9D:&nbsp;<a =
href=3D"https://3v4l.org/aBq2R">https://3v4l.org/aBq2R</a>&nbsp;=E2=80=94 =
of course, no need to keep such a =
=E2=80=9Cfeature=E2=80=9D.)</div><div><br></div><div>=E2=80=94Claude</div>=
</body></html>=

--Apple-Mail=_05D25569-EFC9-4B20-87F9-BB52C0BA1BC7--