RE: [PHP-DEV] Re: PHP 7.1.21

2018-08-01 Thread Anatol Belski
Hi, > -Original Message- > From: Peter Kokot > Sent: Thursday, August 2, 2018 6:56 AM > To: php...@ehrhardt.nl > Cc: Internals > Subject: Re: [PHP-DEV] Re: PHP 7.1.21 > > It seems to be resolved now and versions and tags done properly. > > Should in this case there be also a merge done

Re: [PHP-DEV] Re: PHP 7.1.21

2018-08-01 Thread Peter Kokot
It seems to be resolved now and versions and tags done properly. Should in this case there be also a merge done from PHP-7.1 to all later branches? On Wed, 1 Aug 2018 at 02:33, Jan Ehrhardt wrote: > "Christoph M. Becker" in php.internals (Tue, 31 Jul 2018 16:59:15 > +0200): > >On 31.07.2018 at

Re: [PHP-DEV] Nullable cast (?int)

2018-08-01 Thread David Rodrigues
Can someone give me permission to publish the RFC? My username is: david.proweb Thanks! Em ter, 31 de jul de 2018 às 23:00, Marcos Passos < marcospassos@gmail.com> escreveu: > Pretty nice idea! > > On Tue, Jul 31, 2018 at 22:06 Gabriel Caruso > wrote: > >> > >> > Thanks a lot! >> > >> > 1.

Re: [PHP-DEV] PHP 7.3 branched

2018-08-01 Thread Christoph M. Becker
On 01.08.2018 at 18:38, Gabriel Caruso wrote: > Should we also "branch" PHP 7.3 in GCOV (http://gcov.php.net/)? I've already sent a mail to Nuno yesterday, as suggested in README.RELEASE_PROCESS[1], but didn't receive any reply yet. It doesn't hurry, anyway. :) [1]

Re: [PHP-DEV] Array max size

2018-08-01 Thread Sara Golemon
On Wed, Aug 1, 2018 at 2:41 PM, Marcos Passos wrote: > Whenever you look for more information about the maximum size of an array, > you find someone saying that "PHP arrays do not have a maximum size, but > the amount of memory available". However, I could not find any excerpt in > PHP documentati

Re: [PHP-DEV] Array max size

2018-08-01 Thread Marcos Passos
If you are arguing strictly about not knowing what to write on the documentation, let's move the discussion towards whether it should be defined or not. 2018-08-01 16:51 GMT-03:00 Sherif Ramadan : > Right, and therein lies the problem. No one has ever defined this > behavior. As such, one cannot

Re: [PHP-DEV] Array max size

2018-08-01 Thread Sherif Ramadan
Right, and therein lies the problem. No one has ever defined this behavior. As such, one cannot document what has never been defined. What you're describing is UNdefined. Undefined things cannot be documented. On Wed, Aug 1, 2018, 3:46 PM Marcos Passos wrote: > *The point is not about the poss

Re: [PHP-DEV] Array max size

2018-08-01 Thread Marcos Passos
*The point is not about the possibility of crossing the limit of the array, but the need for a definition so one can design a method or function whose behavior aligns with the array capabilities. This need, in fact, became more noticeable from a design point of view since the introduction of the it

Re: [PHP-DEV] Array max size

2018-08-01 Thread Marcos Passos
It looks like the limit I mentioned, used by some functions, is architecture-dependent: https://github.com/php/php-src/blob/master/Zend/zend_types.h#L288 Also, that's such a ridiculously large number for the vast majority of > people using PHP that hardly anyone ever runs into this limit. The po

Re: [PHP-DEV] Array max size

2018-08-01 Thread Sherif Ramadan
It's undocumented, because it's considered undefined behavior. PHP arrays implicitly store the number of elements internally as an unsigned 32 bit integer (regardless of architecture). This means that (technically) you can't create an array with more than ((2**31) - 1) elements (or 2,147,483,647 el

Re: [PHP-DEV] Array max size

2018-08-01 Thread Levi Morrison
On Wed, Aug 1, 2018 at 12:42 PM Marcos Passos wrote: > > Whenever you look for more information about the maximum size of an array, > you find someone saying that "PHP arrays do not have a maximum size, but > the amount of memory available". However, I could not find any excerpt in > PHP documenta

Re: [PHP-DEV] Array max size

2018-08-01 Thread Levi Morrison
On Wed, Aug 1, 2018 at 12:42 PM Marcos Passos wrote: > > Whenever you look for more information about the maximum size of an array, > you find someone saying that "PHP arrays do not have a maximum size, but > the amount of memory available". However, I could not find any excerpt in > PHP documenta

Re: [PHP-DEV] Array max size

2018-08-01 Thread Lester Caine
On 01/08/18 19:41, Marcos Passos wrote: My understanding is that the conceptual limit is*PHP_INT_MAX*, as there is no way to represent the size above this value. And on which definition, 32bit versions of PHP crash out before 64bit builds ... It assumes that one HAS to convert variables to bin

[PHP-DEV] Array max size

2018-08-01 Thread Marcos Passos
Whenever you look for more information about the maximum size of an array, you find someone saying that "PHP arrays do not have a maximum size, but the amount of memory available". However, I could not find any excerpt in PHP documentation that supports that. Even if the engine imposes no hard lim

Re: [PHP-DEV] Status of ci.qa.php.net?

2018-08-01 Thread Pedro Magalhães
On Mon, Jul 30, 2018 at 1:44 PM Christoph M. Becker wrote: > On 28.07.2018 at 13:04, Ferenc Kovacs wrote: > > > On Thu, Jul 26, 2018 at 11:34 AM, Christoph M. Becker > > > wrote: > > > >> refers to , but the latter > >> appears to be unavailable. It s

Re: [PHP-DEV] PHP 7.3 branched

2018-08-01 Thread Gabriel Caruso
> > That's it! Feature freeze is on. > > Please include branch PHP-7.3 in all merges from 7.1 and earlier. > Please commit all 7.3 fixes to PHP-7.3 and merge to master which is > now targetting 7.4. > > This is real. . > > -- > Christoph M. Bec

[PHP-DEV] Internal LRU cache implementation

2018-08-01 Thread Josh Di Fabio
Hello internals, In my experience, LRU cache is a common pattern in userland. Each time I write one in PHP, I suspect that it would probably be much more efficient if it was implemented in C. If this is indeed a very common pattern, and it would be much more efficient implemented internally, is t