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

Fix #34414: remove legacy doc content [skip ci] #34416

Closed
wants to merge 1 commit into from

Conversation

WenjieZ
Copy link

@WenjieZ WenjieZ commented Jan 17, 2020

Remove the paragraphs saying "Immutable composite types with no fields are singletons".

Previously, MutableNoFields() === MutableNoFields(), but this was changed in #25854. When that got changed, the existing docs was tweaked to say that the struct had to be immutable(#25862) . However, there is no longer anything specific about it having no fields. The docs about singletons can thus just be removed since they are not special anymore.

Remove the paragraphs saying "Immutable composite types with no fields are singletons".

Previously, `MutableNoFields() === MutableNoFields()`, but this was changed in JuliaLang#25854. When that got changed, the existing docs was tweaked to say that the struct had to be immutable(JuliaLang#25862) . However, there is no longer anything specific about it having no fields. The docs about singletons can thus just be removed since they are not special anymore.
@WenjieZ WenjieZ requested a review from KristofferC January 17, 2020 13:55
Copy link
Contributor

@yuyichao yuyichao left a comment

Choose a reason for hiding this comment

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

See comment in the issue. This part is still correct (use of ===), relevant (it's defining singleton) and should not be removed. It can be improved by mentioning the consistency with the immutable semantics and such change will be welcome.

@kshyatt kshyatt added the docs This change adds or pertains to documentation label Jan 17, 2020
@ViralBShah ViralBShah closed this Apr 30, 2020
@ViralBShah
Copy link
Member

Please reopen if @yuyichao's suggestion is updated into this PR.

@WenjieZ
Copy link
Author

WenjieZ commented May 19, 2020

Sorry for my delayed reply. I am working on COVID-19, and thus this PR is not on my priority list. I would be happy if someone else is willing to take care of this issue.

@ViralBShah ViralBShah reopened this May 19, 2020
@ViralBShah
Copy link
Member

@JeffBezanson Perhaps this is a quick one for you?

@StefanKarpinski
Copy link
Member

#35938

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs This change adds or pertains to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants