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

Operator precedence table is sorted alphabetically instead of by precedence #4085

Closed
m-dango opened this issue Jun 18, 2022 · 4 comments · Fixed by #4086
Closed

Operator precedence table is sorted alphabetically instead of by precedence #4085

m-dango opened this issue Jun 18, 2022 · 4 comments · Fixed by #4086
Labels
docs Documentation issue (primary issue type)

Comments

@m-dango
Copy link
Contributor

m-dango commented Jun 18, 2022

Changes in #4031 has caused the table to no longer match the exception for the op table in https://github.com/Raku/doc/blob/d29bcbb5205e3c15db09aa85546b05534cdb7af1/assets/js/main.js
@m-dango m-dango added the docs Documentation issue (primary issue type) label Jun 18, 2022
m-dango added a commit that referenced this issue Jun 18, 2022
@m-dango
Fix precedence table ordering
68ca383 
Table header names changed in #4031. Closes #4085.
@m-dango m-dango mentioned this issue Jun 18, 2022
Merged
@Leont
Copy link
Contributor

Leont commented Aug 22, 2022

Yeah I just hit the same issue. It makes the table entirely useless.

@m-dango m-dango reopened this Sep 3, 2022
@m-dango
Copy link
Contributor Author

m-dango commented Sep 3, 2022

Reopened as the issue is still present. It looks like the changes in the PR have not come through to the live site.

@2colours
Copy link
Contributor

2colours commented Nov 7, 2022

The problem persists to this day. I can confirm that @m-dango 's modification doesn't appear in app.js - which I suppose is a Mojo-generated, bundled JS file. It should be regenerated.

@falsifian falsifian mentioned this issue Dec 15, 2022
Closed
@raiph raiph mentioned this issue Dec 25, 2022
Closed
@coke
Copy link
Collaborator

coke commented Mar 5, 2023

This appears to be resolved with the new site.

@coke coke closed this as completed Mar 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
docs Documentation issue (primary issue type)
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix precedence table ordering Raku/doc
4 participants
@coke @Leont @m-dango @2colours