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

Sort elements case-insensitively #46

Closed
tfausak opened this issue Feb 29, 2024 · 1 comment
Closed

Sort elements case-insensitively #46

tfausak opened this issue Feb 29, 2024 · 1 comment
Labels
enhancement New feature or request wontfix This will not be worked on

Comments

@tfausak
Copy link
Owner

tfausak commented Feb 29, 2024

See #45, which also has to do with sorting.

Currently most (if not all) fields with sorted values are sorted case-sensitively. So for example Cabal-syntax is sorted before base. I think this is not what people expect. Instead they should be sorted case-insensitively. I think this can be done without dragging in the case-insensitive library since most (if not all) of these values are actually ASCII (or Latin-1).

@tfausak tfausak added the enhancement New feature or request label Feb 29, 2024
@tfausak tfausak changed the title Sort element case-insensitively Sort elements case-insensitively Feb 29, 2024
@tfausak
Copy link
Owner Author

tfausak commented Mar 2, 2024

I think this isn't worth the trouble. The only uppercase package names I can think of without looking are Cabal(-syntax) and QuickCheck. Pretty much everything else is lowercase anyway.

And module names are more complicated since they can have (more or less) arbitrary Unicode characters in them. I don't want to have to drag in case-insensitive or text-icu just for sorting things.

If anyone stumbles across this issue and really wants this feature, let me know. But at this point I don't think it's worth the effort.

@tfausak tfausak closed this as not planned Won't fix, can't repro, duplicate, stale Mar 2, 2024
@tfausak tfausak added the wontfix This will not be worked on label Mar 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request wontfix This will not be worked on
Projects
None yet
Development

No branches or pull requests

1 participant