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.

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

RFC: Subtyping exclusion #2671

Closed
Praetonus opened this issue Apr 26, 2018 · 0 comments
Closed

RFC: Subtyping exclusion #2671

Praetonus opened this issue Apr 26, 2018 · 0 comments
Assignees
@Praetonus
Labels
triggers release Major issue that when fixed, results in an "emergency" release

Comments

@Praetonus
Copy link
Member

This RFC add an annotation specifying that a given type shouldn't be a subtype of any other type.

RFC 54
@Praetonus Praetonus self-assigned this Apr 26, 2018
@SeanTAllen SeanTAllen added the triggers release Major issue that when fixed, results in an "emergency" release label Apr 29, 2018
@SeanTAllen SeanTAllen mentioned this issue Apr 29, 2018
Closed
Praetonus pushed a commit to Praetonus/ponyc that referenced this issue Apr 30, 2018
Implement RFC 54 (subtyping exclusion)
fe22ad9 
Closes ponylang#2671.
@Praetonus Praetonus mentioned this issue Apr 30, 2018
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Praetonus Praetonus

Labels
triggers release Major issue that when fixed, results in an "emergency" release
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@SeanTAllen @Praetonus