Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:113462
MIME-Version: 1.0
References: <CAKuGYLRjOHWnX24kCVpTUV5DwdVTwcSkakZkZiAmF9YhpGDpVw@mail.gmail.com>
 <75a8a0ec-d988-7712-58b5-88c8061db605@gmail.com> <CAKuGYLR1nNMBNJJXnmmJyDQBf=sFVY0beyv_vT8jBuQMrKpcfg@mail.gmail.com>
 <CAPrKfG4u=tXn7qyHUmr4Odgv5oasJ6f9B2tAMsxbn9vSEedBBQ@mail.gmail.com> <6f198214-db61-a59b-7985-440c4ff55f75@php.net>
In-Reply-To: <6f198214-db61-a59b-7985-440c4ff55f75@php.net>
Date: Wed, 10 Mar 2021 23:19:01 -0800
Message-ID: <CAPrKfG643TTxBHGqzDgJWCWGREF-aSDPJBdEOfag3sE5Div7gA@mail.gmail.com>
To: internals@lists.php.net
Content-Type: multipart/alternative; boundary="000000000000d47e2405bd3d99ff"
Subject: Re: [PHP-DEV] [RFC] noreturn type
From: sarkedev@gmail.com (Peter Stalman)

--000000000000d47e2405bd3d99ff
Content-Type: text/plain; charset="UTF-8"

On Wed., Mar. 10, 2021, 22:59 Sebastian Bergmann, <sebastian@php.net> wrote:

> 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.
>

Oh, my apologies, I missed that section.  I admit I (obviously) didn't read
the RFC as diligently as I should have.

I'd also like to suggest `terminus`, as it seems to fit by definition: "a
final point in space or time; an end or extremity" and "a final goal; a
finishing point".

It might also be less likely to conflict with any existing code.

Thanks,
Peter

--000000000000d47e2405bd3d99ff--