Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:129586
Precedence: list
MIME-Version: 1.0
Date: Wed, 10 Dec 2025 21:32:28 +0100
To: Seifeddine Gmati <azjezz@carthage.software>, internals@lists.php.net
Subject: Re: [PHP-DEV] [RFC][Discussion] use construct (Block Scoping)
In-Reply-To: <99421ea8-b7ef-4049-aa74-31e8433309a8@bastelstu.be>
References: <CAFyg4HhrzQrE-q8D6WVkyq9tY+hzR=8rXiXLDPYpNKdYeydrVA@mail.gmail.com>
 <99421ea8-b7ef-4049-aa74-31e8433309a8@bastelstu.be>
Message-ID: <695195e629639d2fab45547ab7c1b19a@bastelstu.be>
Content-Type: text/plain; charset=UTF-8;
 format=flowed
Content-Transfer-Encoding: 8bit
From: tim@bastelstu.be (=?UTF-8?Q?Tim_D=C3=BCsterhus?=)

Hi

I just became aware of a mistake in the desugaring at the start of the 
proposal section:

The value of `$c` was not correctly kept after breaking the reference 
with `unset($c)`. This was fixed by adding a `$c = $c_original;`. The 
"Simple example" in the Examples section already correctly represented 
the intent with the `$b` variable, where it still is `"original b"` 
within the `let()` block.

I have also clarified in the desugaring that when the original values 
are restored after the block that the restored values will become a 
reference again if it originally was a reference. As far as I am aware 
this is not representable purely with PHP code, so it's just noted in 
the comment.

Diff is at: 
https://wiki.php.net/rfc/optin_block_scoping?do=diff&rev2%5B0%5D=1763913496&rev2%5B1%5D=1765398288&difftype=sidebyside

Best regards
Tim Düsterhus