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 PartialEq documentation with regards to floats #14733

Merged
merged 2 commits into from Jun 8, 2014

Conversation

sfackler
Copy link
Member

@sfackler sfackler commented Jun 7, 2014

It is in fact the case that NaN != NaN. The true relations for
compareQuietNotEqual are LT, GT and UN.

I also rephrased the docs for PartialOrd since floats are not the only
types which are not totally ordered.

@sfackler
Copy link
Member Author

sfackler commented Jun 7, 2014

I'm also a bit worried that PartialOrd isn't the right name for that trait since floats aren't a poset (!(NaN <= NaN)).

It is in fact the case that `NaN != NaN`. The true relations for
compareQuietNotEqual are LT, GT *and* UN.

I also rephrased the docs for PartialOrd since floats are not the only
types which are not totally ordered.
I can't think of any sane cases where this restriction would not hold,
and the standard library seems to assume it pretty much everywhere.
bors added a commit that referenced this pull request Jun 8, 2014
It is in fact the case that `NaN != NaN`. The true relations for
compareQuietNotEqual are LT, GT *and* UN.

I also rephrased the docs for PartialOrd since floats are not the only
types which are not totally ordered.
@sfackler
Copy link
Member Author

sfackler commented Jun 8, 2014

cc #12517

@bors bors closed this Jun 8, 2014
@bors bors merged commit 6b3d380 into rust-lang:master Jun 8, 2014
@sfackler sfackler deleted the partial-eq-nan-docs branch November 26, 2016 05:54
bors added a commit to rust-lang-ci/rust that referenced this pull request Jun 5, 2023
Make line-index a lib, use nohash_hasher

These seem like they are not specific to rust-analyzer and could be pulled out to their own libraries. So I did.

azdavis/millet#31
bors added a commit to rust-lang-ci/rust that referenced this pull request Jun 5, 2023
Fix libs publish branch filter

line-index didn't actually get published from rust-lang#14733, probably because the branch filter was for main but the main branch is called master here. This fixes the workflow file

I also tweaked the libs readme mostly just so the paths filter would pick up the changes.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants