Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:124049
Content-Type: multipart/alternative;
 boundary="------------ubT8ALaFSL0VCy2XXg6FUNtC"
Message-ID: <2516a3d5-99fe-44f5-8279-00fca21ca545@barneylaurance.uk>
Date: Sat, 29 Jun 2024 18:01:37 +0100
Precedence: bulk
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: [PHP-DEV] [RFC] Make the GMP class final
To: internals@lists.php.net
References: <A-VVa99OkRF93daikrdikqWq55FOhVslGnY10m-4kVyVG0VJVEJoGmuLEKXJ3_4SmLoSisVxO2KlmWTVAFmSDKvHJjpeHSp6kuKFiovJprE=@gpb.moe>
 <386FE80E-9047-41A3-9858-ED4D4C67B30B@php.net>
 <dc109678-2fa3-4ce8-ae4e-f265a0f51034@app.fastmail.com>
 <EC5AF1B3-F72E-456E-AE6B-5D306C61079A@benramsey.com>
Content-Language: en-US
In-Reply-To: <EC5AF1B3-F72E-456E-AE6B-5D306C61079A@benramsey.com>
From: barney@barneylaurance.uk (Barney Laurance)

This is a multi-part message in MIME format.
--------------ubT8ALaFSL0VCy2XXg6FUNtC
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit

On 29/06/2024 16:55, Ben Ramsey wrote:
> If this RFC passes to make the \GMP class final, and your RFC passes to
> allow extending the \GMP class, then I think we’re in a sort of weird
> limbo state.

Presumably in that case whichever RFC passes last would have to take 
precedence. The community is allowed to change its mind.

--------------ubT8ALaFSL0VCy2XXg6FUNtC
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 8bit

<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <div class="moz-cite-prefix">On 29/06/2024 16:55, Ben Ramsey wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:EC5AF1B3-F72E-456E-AE6B-5D306C61079A@benramsey.com">
      <pre>If this RFC passes to make the \GMP class final, and your RFC passes to 
allow extending the \GMP class, then I think we’re in a sort of weird 
limbo state.</pre>
    </blockquote>
    <p>Presumably in that case whichever RFC passes last would have to
      take precedence. The community is allowed to change its mind.<br>
    </p>
  </body>
</html>

--------------ubT8ALaFSL0VCy2XXg6FUNtC--