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

Standard Library Links (left side of page) Need Updates #356

Open
mahSource opened this issue Sep 21, 2023 · 0 comments
Open

Standard Library Links (left side of page) Need Updates #356

mahSource opened this issue Sep 21, 2023 · 0 comments

Comments

@mahSource
Copy link

Some notable items with Standard Library Links

  1. There are two Randoms, one should be named something more fitting.
  2. File, , Process, and the second Random are out of alphabetic order; since these are part of the sys/ library maybe one could put sys/XXXX in front of the last four in the list and then they will be in order.
  3. Pervasives is out of order, but maybe since it is automatically imported you put it up top.

All minor comments. I think (1) is the one that might trip someone since if they don't see the other random that is all they will think there is.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant