Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:108315
Message-ID: <26078CD3-CAD9-4249-8B68-831510425E96@gmail.com>
Content-Type: multipart/alternative;
	boundary="Apple-Mail=_33C35DCD-BE0D-485B-B2E0-80B7263AAC99"
Mime-Version: 1.0 (Mac OS X Mail 13.0 \(3608.40.2.2.4\))
Date: Wed, 29 Jan 2020 11:07:09 +0100
In-Reply-To: <CAEYWF=5hEwx8C=FKzmRS=va0rNtv1Wxx6fMW8g554v-TH6vO7g@mail.gmail.com>
Cc: tyson andre <tysonandre775@hotmail.com>,
 "internals@lists.php.net" <internals@lists.php.net>
To: bishop@php.net
References: <DM5PR07MB30670BE1BAF74AAC2B4486DBF9050@DM5PR07MB3067.namprd07.prod.outlook.com>
 <CAEYWF=5hEwx8C=FKzmRS=va0rNtv1Wxx6fMW8g554v-TH6vO7g@mail.gmail.com>
Subject: Re: [PHP-DEV] [VOTE] declare(function_and_const_lookup='global')
From: claude.pache@gmail.com (Claude Pache)

--Apple-Mail=_33C35DCD-BE0D-485B-B2E0-80B7263AAC99
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8



> Le 29 janv. 2020 =C3=A0 09:55, Bishop Bettini <bishop@php.net> a =
=C3=A9crit :
>=20
> Suppose I'm presented with this diff (and only this diff):
>=20
> $a =3D array_diff($x, $y);
> + if (count($a)) die('Unexpected differences');
>=20

Realistically, when I see that diff, I assume that those functions are =
the well-known global ones. The eventual presence =
`declare(function_and_const_lookup=3D'global')` directive would make my =
assumption provable, which is an improvement. In the rare cases where =
that my assumption is false, an explicit `use function MyNs\{array_diff, =
count}` is welcome (and is already possible) in order to make my =
assumption refutable without needing to look for improbable redefinition =
of those functions in other files; such an explicit declaration would be =
mandatory in presence `declare(function_and_const_lookup=3D'global')`, =
which is an improvement.

=E2=80=94Claude=

--Apple-Mail=_33C35DCD-BE0D-485B-B2E0-80B7263AAC99--