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

TotalEq/TotalOrd for floats #1367

Closed
steveklabnik opened this issue Nov 12, 2015 · 2 comments
Closed

TotalEq/TotalOrd for floats #1367

steveklabnik opened this issue Nov 12, 2015 · 2 comments
Labels
T-libs-api Relevant to the library API team, which will review and decide on the RFC.

Comments

@steveklabnik
Copy link
Member

Moved from rust-lang/rust#5585
@steveklabnik steveklabnik mentioned this issue Nov 12, 2015
Closed
@glaebhoerl
Copy link
Contributor

(see also #1249)

@steveklabnik
Copy link
Member Author

Ah ha! I thought that we had something but couldn't find it.

@petrochenkov petrochenkov added the T-libs-api Relevant to the library API team, which will review and decide on the RFC. label Jan 29, 2018
@jpetkau jpetkau mentioned this issue Feb 26, 2018
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
T-libs-api Relevant to the library API team, which will review and decide on the RFC.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@steveklabnik @glaebhoerl @petrochenkov