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
Next revision		Previous revision
Last revisionBoth sides next revision
rfc:pure-intersection-types [2021/06/02 19:02] – Update to latest version 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: Under discussion+  * 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 400: Line 400:
  
 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="true">
 +   * Yes
 +   * No
 +</doodle>
  
 ===== Patches and Tests ===== ===== Patches and Tests =====
rfc/pure-intersection-types.txt · Last modified: 2021/07/05 12:17 by girgias

Page Tools