Differences

This shows you the differences between two versions of the page.

--- rfc:noreturn_type [2021/03/30 14:55] – Add __toString example mattbrown
+++ rfc:noreturn_type [2021/03/31 13:47] – Make naming section more honest mattbrown
@@ Line 3: / Line 3: @@
   * Date: 2021-03-10
   * Author: Matt Brown <php@muglug.com> & Ondřej Mirtes <ondrej@mirtes.cz>
-  * Status: Under Discussion
+  * Status: Voting
   * Proposed Version: PHP 8.1
   * Implementation: https://github.com/php/php-src/pull/6761
@@ Line 137: / Line 137: @@
 </code>
-Returning ''noreturn'' is also allowed in ''__toString'' methods:
+Returning ''noreturn'' is also allowed in %%__%%toString methods:
 <code php>
@@ Line 225: / Line 225: @@
 ==== Naming ====
-Naming is hard, but we believe ''noreturn'' is the best name for this type.
+Naming is hard. We each have different preferences.
 Arguments for ''noreturn'':
@@ Line 249: / Line 249: @@
 Draft implementation here: https://github.com/php/php-src/pull/6761
-===== Proposed Voting Choices =====
+===== Vote =====
-Yes/no vote for adding ''noreturn'' (2/3 majority)
+Voting opens 2021-03-30 and 2021-04-13 at 11:00:00 AM EDT. 2/3 required to accept.
-Vote for ''noreturn'' vs ''never'' (simple majority)
+<doodle title="Add noreturn type" auth="mattbrown" voteType="single" closed="false">
+   * Yes
+   * No
+</doodle>
+Following vote requires simple majority:
+<doodle title="noreturn vs never" auth="mattbrown" voteType="single" closed="false">
+   * noreturn
+   * never
+</doodle>