rfc:pure-intersection-types

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
rfc:pure-intersection-types [2021/06/03 19:30]
girgias Open vote
rfc:pure-intersection-types [2021/07/05 12:17] (current)
girgias Mark as implemented
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: Implemented 8.1 [[https://github.com/php/php-src/commit/069a9fa5e4478c7044cb6432258cfe207d10a202|https://github.com/php/php-src/commit/069a9fa5e4478c7044cb6432258cfe207d10a202]]
   * 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
 </doodle> </doodle>
- 
-===== Patches and Tests ===== 
- 
-Links to any external patches and tests go here. 
- 
-If there is no patch, make it clear who will create a patch, or whether a volunteer to help with implementation is needed. 
- 
-Make it clear if the patch is intended to be the final patch, or is just a prototype. 
- 
-For changes affecting the core language, you should also provide a patch for the language specification. 
  
 ===== Implementation ===== ===== Implementation =====
  
-After the project is implemented, this section should contain+Implemented in PHP 8.1:
  
-  * the version(s) it was merged into +  * commit: https://github.com/php/php-src/commit/069a9fa5e4478c7044cb6432258cfe207d10a202 
-  * a link to the git commit(s) +  * docs: TDB
-  * a link to the PHP manual entry for the feature +
-  * a link to the language specification section (if any)+
  
 ===== Acknowledgements ===== ===== Acknowledgements =====
  
 To Ilija Tovilo for resolving the parser conflict with by-ref parameters. To Ilija Tovilo for resolving the parser conflict with by-ref parameters.
 +
 +To Nikita Popov for reviewing and refactoring the variance code.
  
 ===== References ===== ===== References =====
rfc/pure-intersection-types.1622748604.txt.gz · Last modified: 2021/06/03 19:30 by girgias