Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:127537 X-Original-To: internals@lists.php.net Delivered-To: internals@lists.php.net Received: from php-smtp4.php.net (php-smtp4.php.net [45.112.84.5]) by lists.php.net (Postfix) with ESMTPS id F2BB71A00BC for ; Mon, 2 Jun 2025 17:02:16 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=php.net; s=mail; t=1748883612; bh=lZ9buOel0qyVEeDBc2ER2jWg8Cv+LmLdquaGZkbLb6M=; h=Date:From:To:In-Reply-To:References:Subject:From; b=XxZHDntxba9GwQuQ/Bpv7uSnMeXGIaDJQGzmt6toLEYH6NEFrgO3xdfo5IV9iqBlM JhosWG0mGFbPEhQP8WYiIwd1Yad1/fnEG/QmducLqsCAUAshHuaEMV/z9JRZ4j97Q+ 2VKnoR4nDBw2BNfW651qaTg1xBLc5M2g48m1ZD0LE7oQdLfr3SegBTCQaWvt8z5Y6J 8uWXa4ZF01SMm8lhDDr/T9fnZuvqPzz7LKY5POGPTvD/9gJYCzW/+5c7rcsQAQuUfk Vkd9IM8AeqV+dX7+zZmO3SNOZBE5aCHd9rS6Yu/5PhsVe5M1QAITzg9XTgG1MqpauO S2sKRA84cBggA== Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 96D38180086 for ; Mon, 2 Jun 2025 17:00:11 +0000 (UTC) X-Spam-Checker-Version: SpamAssassin 4.0.1 (2024-03-25) on php-smtp4.php.net X-Spam-Level: X-Spam-Status: No, score=-1.4 required=5.0 tests=BAYES_05,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,DMARC_MISSING,RCVD_IN_DNSWL_LOW, SPF_HELO_PASS,SPF_NONE autolearn=no autolearn_force=no version=4.0.1 X-Spam-Virus: Error (Cannot connect to unix socket '/var/run/clamav/clamd.ctl': connect: Connection refused) X-Envelope-From: Received: from fhigh-a3-smtp.messagingengine.com (fhigh-a3-smtp.messagingengine.com [103.168.172.154]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by php-smtp4.php.net (Postfix) with ESMTPS for ; Mon, 2 Jun 2025 17:00:11 +0000 (UTC) Received: from phl-compute-10.internal (phl-compute-10.phl.internal [10.202.2.50]) by mailfhigh.phl.internal (Postfix) with ESMTP id 973CE1140142 for ; Mon, 2 Jun 2025 13:02:15 -0400 (EDT) Received: from phl-imap-02 ([10.202.2.81]) by phl-compute-10.internal (MEProxy); Mon, 02 Jun 2025 13:02:15 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= garfieldtech.com; h=cc:content-transfer-encoding:content-type :content-type:date:date:from:from:in-reply-to:in-reply-to :message-id:mime-version:references:reply-to:subject:subject:to :to; s=fm1; t=1748883735; x=1748970135; bh=hkx1eni3Qgv1VmT0xVhI2 43V7QvBzzEbf4P6tTEZ7Ng=; b=NIPdHLl35qkf/ozU3QrSx7h9ZcUiLYuDjQ0/k V4d8xeP5icaooKysXFDIfWEjvr+VdfO4jGKrZfHJjoQt7E5kahHNlkxtuHQA+Xl0 4qOaY0B2vi7TG8zByFbjA9igQ51KcEL0GGNEK8xnaW4IlBssOrkgAHKO24MEs8KM yXzJrW6RFTLZNkZFftEUiwNQXk4ilv91/kmTbd4jI07NKnP9poaqf78b0QzTc5oD 8P5QxqxUSxLwYsjm/mXzDwPnqPgeQH81TB+K56x/TupR9+oVqsqSPDv5sfsT37k8 0VlAXbGinS5ZbN5Ble/As0SbflyTfM42ZaeeyJuMoQCw2mGqw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :content-type:date:date:feedback-id:feedback-id:from:from :in-reply-to:in-reply-to:message-id:mime-version:references :reply-to:subject:subject:to:to:x-me-proxy:x-me-sender :x-me-sender:x-sasl-enc; s=fm1; t=1748883735; x=1748970135; bh=h kx1eni3Qgv1VmT0xVhI243V7QvBzzEbf4P6tTEZ7Ng=; b=SDWz3ynSvmMbQcr6z v1UBft54bHK9cFMfyxg4oUUOVTZb/uz4zQB9y7z23xTkoORr/2OensRv76Zdb9MI CP0mOUU+fuYVJCk5Tv5neDdfaIBKEvQqTXRGOa38l2wHi0dVzz3EDZOv67C/SxUC j65nNuJ7uej5DfJXVVFo7unuF/acveStb+OgpoVQ2MtvKVVOSaPdn5iNto6QgeHt 1DlDIk32hm2n2dV4r72AcyDp2T+JBVTrtRD6X4IISr+Lpx3NT0Fk2JKGgzWakuBC lxI11xf/ps8bnNXu7h119cc5Kk7sGr4VARTU38c0/L93BgLEFVkAia6Cdilj4i7q lYD2g== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeeffedrtddtgdefkedvvdculddtuddrgeefvddrtd dtmdcutefuodetggdotefrodftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpggft fghnshhusghstghrihgsvgdpuffrtefokffrpgfnqfghnecuuegrihhlohhuthemuceftd dtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfjughrpefoggffhffvkfgj fhfutgfgsehtjeertdertddtnecuhfhrohhmpedfnfgrrhhrhicuifgrrhhfihgvlhgufd cuoehlrghrrhihsehgrghrfhhivghlughtvggthhdrtghomheqnecuggftrfgrthhtvghr nhepueevvdduhffffffhleeuhedvjeevgfelgeetgefftedufeelheegfedvheegleetne cuffhomhgrihhnpehphhhprdhnvghtnecuvehluhhsthgvrhfuihiivgeptdenucfrrghr rghmpehmrghilhhfrhhomheplhgrrhhrhiesghgrrhhfihgvlhguthgvtghhrdgtohhmpd hnsggprhgtphhtthhopedupdhmohguvgepshhmthhpohhuthdprhgtphhtthhopehinhht vghrnhgrlhhssehlihhsthhsrdhphhhprdhnvght X-ME-Proxy: Feedback-ID: i8414410d:Fastmail Received: by mailuser.phl.internal (Postfix, from userid 501) id 49835700063; Mon, 2 Jun 2025 13:02:15 -0400 (EDT) X-Mailer: MessagingEngine.com Webmail Interface Precedence: bulk list-help: list-post: List-Id: internals.lists.php.net x-ms-reactions: disallow MIME-Version: 1.0 X-ThreadId: T16a2df532cefedfe Date: Mon, 02 Jun 2025 12:01:54 -0500 To: "php internals" Message-ID: <6ef43d7f-711a-46d5-b2a5-b6919feabd93@app.fastmail.com> In-Reply-To: <6Z2Ysh6MjYp1nyzuB0bTPJc5srObIcMRqt731JaQeXUJk1f_V_Yo2nRn8WvjI7er7pp7pIUE6WYl5pRwvYrtcrd07nCutyAqKPSsZHmrS-Y=@gpb.moe> References: <6Z2Ysh6MjYp1nyzuB0bTPJc5srObIcMRqt731JaQeXUJk1f_V_Yo2nRn8WvjI7er7pp7pIUE6WYl5pRwvYrtcrd07nCutyAqKPSsZHmrS-Y=@gpb.moe> Subject: Re: [PHP-DEV] [RFC] Transform void into an alias for null Content-Type: text/plain Content-Transfer-Encoding: 7bit From: larry@garfieldtech.com ("Larry Garfield") On Mon, Jun 2, 2025, at 11:27 AM, Gina P. Banyard wrote: > Hello internals, > > This is the second RFC out of a set of type system related RFCs I want > to propose for PHP 8.5. > > The objective is to fix a weird quirk of PHP's type system, where void > lives in its own type hierarchy. > This is visible mainly in that a lack of return type is not isomorphic > to a function that has a return type of mixed. > > Let me know what you think about it. > > RFC: https://wiki.php.net/rfc/void-as-null > > Best regards, > > Gina P. Banyard The result of this RFC is that the following would no longer be an error, yes? function test(): void { print "test"; } // This currently gives an error, but you propose that it // would change to set $val to null? $val = test(); --Larry Garfield