Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:114047 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 41514 invoked from network); 13 Apr 2021 21:57:01 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 13 Apr 2021 21:57:01 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id C5F68180507 for ; Tue, 13 Apr 2021 14:57:53 -0700 (PDT) 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.6 required=5.0 tests=BAYES_50,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE, MIME_QP_LONG_LINE,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE, SPF_PASS autolearn=no autolearn_force=no version=3.4.2 X-Spam-Virus: No X-Envelope-From: Received: from mail-vk1-f180.google.com (mail-vk1-f180.google.com [209.85.221.180]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by php-smtp4.php.net (Postfix) with ESMTPS for ; Tue, 13 Apr 2021 14:57:53 -0700 (PDT) Received: by mail-vk1-f180.google.com with SMTP id s75so3486379vkb.6 for ; Tue, 13 Apr 2021 14:57:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=content-transfer-encoding:from:mime-version:subject:date:message-id :references:in-reply-to:to; bh=SvFT2AWB3XebAlaOcQ0D4PCt3aaWNGV6hMbjNER41N0=; b=mxPFNbW21Tv/yu7evRUGQD9Z+jnTZjtA5m3wdHYFwddFmEqfZGpigY2gEjXL1wOvs3 l39TdWqE/PMH/wg7AULMs3GIMIFNDAzdZn2e0Ndg/Lwi+Av6FFYpOrG3w+CkgBY30LTK 1bq5J8zL3MjDa167BB7z8WZzIJOvmuTM6LD/0CZ4NPF3uWc4fcw5Pca+23UxZh6gYAIl qmnARhisN562xGTG0nck+SvY6cZ9tX2OBX2qMW1XHyXXi5XIQpP1n3Zp3Mrv6z0m/KMq 2QQogXS7qfE3gkGwJ4N9uQuqr5oXlteJ26Fotp3xlNzqxu6GujDh223TmjWhpwEoxpYy d9PQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:content-transfer-encoding:from:mime-version :subject:date:message-id:references:in-reply-to:to; bh=SvFT2AWB3XebAlaOcQ0D4PCt3aaWNGV6hMbjNER41N0=; b=Kz1WzFEkutejfB8PRp2jpd3Hj6CbI8WUVIEtEmBLM2LynN2DtNac/QDF8sgrgy3fU7 92jC1vKB4srr5kRdbAO2ORfcKlKGSAlIqKbu/qRflwXEtTo3c8pYUVGjrhvOPnf0Yz/t jnVpuctp8lpMVc9ZjDO7WsSHPh1K2jsBET+Ok+aq7SrguhsNCvwvKUzZEuWd1RDbZV7L 9NbblID/9+mj/xAjyHa+tFWUwaFcxW1CKs15aTK+mG0apCWPT8hFqXP58mDtCw52Ckis YL6tEkoyCPfs8VkC2DXFgtDvXvvoy9lwTQs2MKWUaMNyT5zg1F2ktltD20NK4s0s0+KH xsQg== X-Gm-Message-State: AOAM530StYrz/7rlAMpb76CaO+dywvAddfXKDIMSGX/MLScripwibRGB XXP0+xnEFEOgXdQnwtUSqDM8JEhtvLq1qA== X-Google-Smtp-Source: ABdhPJyh1UChiXxxlvqJSqFjiFFROksSSb7s7jeBcvGOJKrul32N9xbzncrZNGmk8Q8YLwNKPz7Nfw== X-Received: by 2002:a1f:99cc:: with SMTP id b195mr3607114vke.19.1618351072164; Tue, 13 Apr 2021 14:57:52 -0700 (PDT) Received: from [192.168.86.41] ([209.91.204.11]) by smtp.gmail.com with ESMTPSA id 13sm1811323uar.7.2021.04.13.14.57.51 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 13 Apr 2021 14:57:51 -0700 (PDT) Content-Type: multipart/alternative; boundary=Apple-Mail-C7A51DA5-5E8D-4499-8A5C-3A0EA94D6D9B Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (1.0) Date: Tue, 13 Apr 2021 17:57:50 -0400 Message-ID: <2A177A8F-223B-49A1-9BB2-87DCC36A071A@gmail.com> References: In-Reply-To: To: Internals X-Mailer: iPhone Mail (18D70) Subject: Re: [VOTE] noreturn type From: matthewmatthew@gmail.com (Matthew Brown) --Apple-Mail-C7A51DA5-5E8D-4499-8A5C-3A0EA94D6D9B Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hey! The vote is now closed (a little tardily, I=E2=80=99m on holiday). Yays: 42 Nays: 11 The Yays have it. There was an additional vote on noreturn vs never: noreturn: 14 never: 34 Never is the clear winner, so we=E2=80=99ll adopt never for the name of PHP=E2= =80=99s bottom type. Thanks to everyone who contributed comments and suggestions! Matt and Ond=C5=99ej=20 > On Mar 30, 2021, at 11:06 AM, Matthew Brown wro= te: >=20 > =EF=BB=BF > Hey everyone! >=20 > The vote for adding noreturn is now open: >=20 > https://wiki.php.net/rfc/noreturn_type >=20 > Voting will run through April 13th >=20 > Best wishes, >=20 > Matt and Ondrej --Apple-Mail-C7A51DA5-5E8D-4499-8A5C-3A0EA94D6D9B--