rfc:pure-intersection-types

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Last revisionBoth sides next revision
rfc:pure-intersection-types [2021/06/03 19:30] – Open vote girgiasrfc:pure-intersection-types [2021/06/17 18:46] – Close vote girgias
Line 4: Line 4:
   * Date: 2021-03-23   * Date: 2021-03-23
   * Author: George Peter Banyard, <girgias@php.net>   * Author: George Peter Banyard, <girgias@php.net>
-  * Status: In Voting+  * Status: Accepted
   * Target Version: PHP 8.1   * Target Version: PHP 8.1
   * Implementation: [[https://github.com/php/php-src/pull/6799|https://github.com/php/php-src/pull/6799]]   * Implementation: [[https://github.com/php/php-src/pull/6799|https://github.com/php/php-src/pull/6799]]
Line 401: Line 401:
 As per the voting RFC a yes/no vote with a 2/3 majority is needed for this proposal to be accepted. As per the voting RFC a yes/no vote with a 2/3 majority is needed for this proposal to be accepted.
  
-<doodle title="Add pure intersection types to PHP" auth="girgias" voteType="single" closed="false">+<doodle title="Add pure intersection types to PHP" auth="girgias" voteType="single" closed="true">
    * Yes    * Yes
    * No    * No
rfc/pure-intersection-types.txt · Last modified: 2021/07/05 12:17 by girgias

Page Tools