Skip to content
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.

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

remove references to generics #1102

Merged
merged 1 commit into from
Oct 24, 2018
Merged

remove references to generics #1102

merged 1 commit into from
Oct 24, 2018

Conversation

ashnazg
Copy link
Contributor

@ashnazg ashnazg commented Oct 16, 2018

Generics have not been fleshed out, and will potentially not be included in these PSRs. This simply removes lingering references to them from way back when.

This change does not preclude the discussion of inclusion beginning anew on the ML.

@ashnazg
Copy link
Contributor Author

ashnazg commented Oct 24, 2018

Ping WG... I'd like to get this merged before more people review the drafts.

Copy link

@neuro159 neuro159 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We shall start from clean slate on this )

@ashnazg
Copy link
Contributor Author

ashnazg commented Oct 24, 2018

@Jean85 bump

@Jean85 Jean85 closed this Oct 24, 2018
@Jean85 Jean85 reopened this Oct 24, 2018
@Jean85
Copy link
Member

Jean85 commented Oct 24, 2018

Merging anyway because Pullapprove doesn't seem to consider the previous review from @neuro159

@Jean85 Jean85 merged commit adf80ed into php-fig:master Oct 24, 2018
@ashnazg ashnazg deleted the generics branch October 24, 2018 18:01
@aliechti
Copy link

Funny that you remove it, while it is now implemented in PHPStorm:
https://blog.jetbrains.com/phpstorm/2018/09/phpstorm-2018-3-eap-183-2635-12/

@ashnazg
Copy link
Contributor Author

ashnazg commented Nov 21, 2018

@thejahweh I'm not saying it can't go back in... it's just that the conversation would need a fresh start. Still, unless multiple other WG projects implement it in a similar way, I worry that a new discussion will derail things like it did before.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants