Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:113461
Return-Path: <sebastian@php.net>
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 48283 invoked from network); 11 Mar 2021 07:06:45 -0000
Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5)
  by pb1.pair.com with SMTP; 11 Mar 2021 07:06:45 -0000
Received: from php-smtp4.php.net (localhost [127.0.0.1])
	by php-smtp4.php.net (Postfix) with ESMTP id B41681804B8
	for <internals@lists.php.net>; Wed, 10 Mar 2021 22:59:11 -0800 (PST)
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on php-smtp4.php.net
X-Spam-Level: 
X-Spam-Status: No, score=0.3 required=5.0 tests=BAYES_05,NICE_REPLY_A,
	SPF_HELO_NONE,SPF_NEUTRAL autolearn=no autolearn_force=no version=3.4.2
X-Spam-Virus: No
X-Envelope-From: <sebastian@php.net>
Received: from scarlet.netpirates.net (scarlet.netpirates.net [188.94.27.5])
	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
	(No client certificate requested)
	by php-smtp4.php.net (Postfix) with ESMTPS
	for <internals@lists.php.net>; Wed, 10 Mar 2021 22:59:10 -0800 (PST)
Received: from p5de2caed.dip0.t-ipconnect.de ([93.226.202.237] helo=[192.168.178.42])
	by scarlet.netpirates.net with esmtpsa  (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384
	(Exim 4.94)
	(envelope-from <sebastian@php.net>)
	id 1lKFHp-0005PH-Ha
	for internals@lists.php.net; Thu, 11 Mar 2021 07:59:09 +0100
To: internals@lists.php.net
References: <CAKuGYLRjOHWnX24kCVpTUV5DwdVTwcSkakZkZiAmF9YhpGDpVw@mail.gmail.com>
 <75a8a0ec-d988-7712-58b5-88c8061db605@gmail.com>
 <CAKuGYLR1nNMBNJJXnmmJyDQBf=sFVY0beyv_vT8jBuQMrKpcfg@mail.gmail.com>
 <CAPrKfG4u=tXn7qyHUmr4Odgv5oasJ6f9B2tAMsxbn9vSEedBBQ@mail.gmail.com>
Reply-To: internals@lists.php.net
Message-ID: <6f198214-db61-a59b-7985-440c4ff55f75@php.net>
Date: Thu, 11 Mar 2021 07:59:08 +0100
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
 Thunderbird/78.8.1
MIME-Version: 1.0
In-Reply-To: <CAPrKfG4u=tXn7qyHUmr4Odgv5oasJ6f9B2tAMsxbn9vSEedBBQ@mail.gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] [RFC] noreturn type
From: sebastian@php.net (Sebastian Bergmann)

Am 11.03.2021 um 07:51 schrieb Peter Stalman:
> I like this RFC, but I'd like to see the RFC cover if any other languages
> have a similar return type.

The RFC has a "Prior art in other interpreted languages" section.