Fix named split sorting and remove unnecessary casting
NONE
_The documentation is not available anymore as the PR was closed or merged._
2022-07-19T09:58:24Z
https://github.com/huggingface/datasets/pull/4714#issuecomment-1188851691
https://api.github.com/repos/huggingface/datasets/issues/4714
IC_kwDODunzps5G3G_r
https://api.github.com/repos/huggingface/datasets/issues/comments/1188851691/reactions
2022-07-22T09:26:19Z
https://api.github.com/repos/huggingface/datasets/issues/comments/1188851691
https://avatars.githubusercontent.com/u/99929124?v=4
https://api.github.com/users/HuggingFaceDocBuilderDev/events{/privacy}
https://api.github.com/users/HuggingFaceDocBuilderDev/followers
https://api.github.com/users/HuggingFaceDocBuilderDev/following{/other_user}
https://api.github.com/users/HuggingFaceDocBuilderDev/gists{/gist_id}
https://github.com/HuggingFaceDocBuilderDev
HuggingFaceDocBuilderDev
U_kgDOBfTMJA
https://api.github.com/users/HuggingFaceDocBuilderDev/orgs
https://api.github.com/users/HuggingFaceDocBuilderDev/received_events
https://api.github.com/users/HuggingFaceDocBuilderDev/repos
https://api.github.com/users/HuggingFaceDocBuilderDev/starred{/owner}{/repo}
https://api.github.com/users/HuggingFaceDocBuilderDev/subscriptions
User
https://api.github.com/users/HuggingFaceDocBuilderDev
public
MEMBER
hahaha what a timing, I added my comment right after you merged x)

you can ignore my (nit), it's fine
2022-07-22T09:12:52Z
https://github.com/huggingface/datasets/pull/4714#issuecomment-1192358933
https://api.github.com/repos/huggingface/datasets/issues/4714
IC_kwDODunzps5HEfQV
https://api.github.com/repos/huggingface/datasets/issues/comments/1192358933/reactions
2022-07-22T09:12:52Z
https://api.github.com/repos/huggingface/datasets/issues/comments/1192358933
https://avatars.githubusercontent.com/u/42851186?v=4
https://api.github.com/users/lhoestq/events{/privacy}
https://api.github.com/users/lhoestq/followers
https://api.github.com/users/lhoestq/following{/other_user}
https://api.github.com/users/lhoestq/gists{/gist_id}
https://github.com/lhoestq
lhoestq
MDQ6VXNlcjQyODUxMTg2
https://api.github.com/users/lhoestq/orgs
https://api.github.com/users/lhoestq/received_events
https://api.github.com/users/lhoestq/repos
https://api.github.com/users/lhoestq/starred{/owner}{/repo}
https://api.github.com/users/lhoestq/subscriptions
User
https://api.github.com/users/lhoestq
public
MEMBER
Sorry, just too sync... :sweat_smile: 
2022-07-22T09:37:09Z
https://github.com/huggingface/datasets/pull/4714#issuecomment-1192380959
https://api.github.com/repos/huggingface/datasets/issues/4714
IC_kwDODunzps5HEkof
https://api.github.com/repos/huggingface/datasets/issues/comments/1192380959/reactions
2022-07-22T09:37:09Z
https://api.github.com/repos/huggingface/datasets/issues/comments/1192380959
https://avatars.githubusercontent.com/u/8515462?v=4
https://api.github.com/users/albertvillanova/events{/privacy}
https://api.github.com/users/albertvillanova/followers
https://api.github.com/users/albertvillanova/following{/other_user}
https://api.github.com/users/albertvillanova/gists{/gist_id}
https://github.com/albertvillanova
albertvillanova
MDQ6VXNlcjg1MTU0NjI=
https://api.github.com/users/albertvillanova/orgs
https://api.github.com/users/albertvillanova/received_events
https://api.github.com/users/albertvillanova/repos
https://api.github.com/users/albertvillanova/starred{/owner}{/repo}
https://api.github.com/users/albertvillanova/subscriptions
User
https://api.github.com/users/albertvillanova
public
This PR:
- makes `NamedSplit` sortable: so that `sorted()` can be called on them
- removes unnecessary `sorted()` on `dict.keys()`: `dict_keys` view is already like a `set`
- removes unnecessary casting of `NamedSplit` to `str`