Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:111306
MIME-Version: 1.0
References: <CAEPJdumwKEZymxXGmv-_-NadixnbzyHPVn87NjXzeoGHACtpwQ@mail.gmail.com>
 <0e6dff76-0434-4d21-dc08-1fa1bf41a1e0@gmail.com> <CAEPJdu=Cgwf4SM5g8QkKRH0mAd-v5cBEwVOMx4CO7R40cJ+P_A@mail.gmail.com>
 <5A16E588-597B-4626-9634-36650C25DF04@php.net> <CANeKSiR2fYohbov7VAfxNOWpxs9Wz=zLtKuN29pupMS4ZNjkwQ@mail.gmail.com>
In-Reply-To: <CANeKSiR2fYohbov7VAfxNOWpxs9Wz=zLtKuN29pupMS4ZNjkwQ@mail.gmail.com>
Date: Tue, 4 Aug 2020 09:15:43 +0200
Message-ID: <CAEPJduk3gDYSyZrqPJeacvph9syc9Q5+fr39zEb8JM3VVAqC3Q@mail.gmail.com>
To: Benas IML <benas.molis.iml@gmail.com>
Cc: Derick Rethans <derick@php.net>, PHP Internals List <internals@lists.php.net>, 
	Stanislav Malyshev <smalyshev@gmail.com>, Dmitry Stogov <dmitry@zend.com>, 
	Nikita Popov <nikita.ppv@gmail.com>
Content-Type: multipart/alternative; boundary="0000000000009daac805ac08068e"
Subject: Re: [PHP-DEV] @@Jit Attribute Considerations
From: kontakt@beberlei.de (Benjamin Eberlei)

--0000000000009daac805ac08068e
Content-Type: text/plain; charset="UTF-8"

Alternatively make it @@Jit("off") only and any other argument will lead to
an error for now.

Then the problem left becomes "Jit" being a very short global class.

On Mon, Aug 3, 2020 at 10:36 PM Benas IML <benas.molis.iml@gmail.com> wrote:

> `@@NoJit` sounds pretty alright to me.
>
> On Mon, Aug 3, 2020, 11:27 PM Derick Rethans <derick@php.net> wrote:
>
>> On 3 August 2020 20:20:35 BST, Benjamin Eberlei <kontakt@beberlei.de>
>> wrote:
>>
>> >In that case maybe we should rename the attribute to @@DisableJit ?
>> >This
>> >would not clutter the global namespace with a "jit" class.
>>
>> Things with a negative name are usually a code smell. I'm not keen on a
>> @[disableJit] attribute name.
>>
>> cheers,
>> Derick
>>
>> --
>> PHP Internals - PHP Runtime Development Mailing List
>> To unsubscribe, visit: https://www.php.net/unsub.php
>>
>>

--0000000000009daac805ac08068e--