Skip to content

Support for PHP Enums #23

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
Ayesh opened this issue Feb 8, 2021 · 1 comment
Closed

Support for PHP Enums #23

Ayesh opened this issue Feb 8, 2021 · 1 comment

Comments

@Ayesh
Copy link

Ayesh commented Feb 8, 2021

PHP Enum RFC is currently being voted, and it's highly likely that it will pass.

Enums support autoloading, and it introduces a new T_ENUM token. I would like to suggest that we introduce support to autoload Enums from robot-loader.

Improve robot-loader to look for T_ENUM token if the PHP version is >= 80100, and include it in the autoload list.
@dg dg closed this as completed in baa8e7a Feb 8, 2021
@f3l1x
Copy link
Member

f3l1x commented Feb 12, 2021

👍

dg added a commit that referenced this issue Mar 1, 2021
@dg
added support for PHP 8.1 enum [Closes #23]
5748f18
dg added a commit that referenced this issue Mar 1, 2021
@dg
added support for PHP 8.1 enum [Closes #23]
19ed62d
dg added a commit that referenced this issue Mar 1, 2021
@dg
added support for PHP 8.1 enum [Closes #23]
9100aa0
dg added a commit that referenced this issue Mar 1, 2021
@dg
added support for PHP 8.1 enum [Closes #23]
ac4a1fb
dg added a commit that referenced this issue Mar 1, 2021
@dg
added support for PHP 8.1 enum [Closes #23]
5bf7f82
dg added a commit that referenced this issue Mar 1, 2021
@dg
added support for PHP 8.1 enum [Closes #23]
49a3135
dg added a commit that referenced this issue Mar 2, 2021
@dg
added support for PHP 8.1 enum [Closes #23]
1cfe7ea
dg added a commit that referenced this issue Mar 2, 2021
@dg
added support for PHP 8.1 enum [Closes #23]
27faa2f
dg added a commit that referenced this issue Mar 6, 2021
@dg
added support for PHP 8.1 enum [Closes #23]
fcc1a55
dg added a commit that referenced this issue Mar 6, 2021
@dg
added support for PHP 8.1 enum [Closes #23]
03eee39
dg added a commit that referenced this issue Mar 7, 2021
@dg
added support for PHP 8.1 enum [Closes #23]
229e7a6
dg added a commit that referenced this issue Mar 7, 2021
@dg
added support for PHP 8.1 enum [Closes #23]
c1cd09a
dg added a commit that referenced this issue Mar 7, 2021
@dg
added support for PHP 8.1 enum [Closes #23]
1542bb4
dg added a commit that referenced this issue Aug 24, 2021
@dg
added support for PHP 8.1 enum [Closes #23]
3f881c6
dg added a commit that referenced this issue Aug 25, 2021
@dg
added support for PHP 8.1 enum [Closes #23]
e2adc33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@f3l1x @Ayesh