/ecma262

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

editorial: definition of strict total order #823

Closed
jmdyck opened this Issue Feb 21, 2017 · 2 comments

Comments

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
2 participants
@jmdyck @syg
@jmdyck
Collaborator

jmdyck commented Feb 21, 2017

The definition of 'strict total order' includes the condition _a_ _R_ _b_ or _b_ _R_ _a_, but this can't be true when _a_ = _b_. Possible fixes:

  • Start that line with If _a_ ≠ _b_,
  • Insert the word distinct into the For all line.
@syg

This comment has been minimized.

Show comment
Hide comment
@syg

syg Feb 21, 2017

Member

I prefer inserting the word "distinct"
Member

syg commented Feb 21, 2017

I prefer inserting the word "distinct"
@jmdyck

This comment has been minimized.

Show comment
Hide comment
@jmdyck

jmdyck Jul 30, 2017

Collaborator

PR #946 resolved this.
Collaborator

jmdyck commented Jul 30, 2017

PR #946 resolved this.

@jmdyck jmdyck closed this Jul 30, 2017

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