-
-
Notifications
You must be signed in to change notification settings - Fork 940
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
Reference to rand_type in use_random_source documentation #3425
Comments
Awesome - any chance you could create a PR fixing this? |
Sure, I'll give it a try (first such occasion, so will first need to find language reference sources in the repository whenever I have a moment). |
I just submitted pull request #3426 to the best of my ability. For future reference, here is the procedure I followed, based on these instructions. Feel free to (gently) correct. 🙃
Should I (generally) close an issue for which a pull request was requested once that's been taken care of? Or should I wait until the pull request has been merged? (I'll leave this one open for now.) |
I'm just watching the repo but here's my two cents.
What seems to be the preferred way on Github is to leave an issue open until the PR is merged. Btw, you should just be able to say |
Closing this after pull request #3426 has been merged. |
The following applies to Sonic Pi v4.5.0 under macOS (Apple silicon):
In the Sonic Pi language reference that comes with the app, the documentation for
use_random_source
includes the following code excerpt just before the Examples section:However, this code fails to run in the given Sonic Pi version, due to the reference to
rand_type
, which I'm guessing has been renamed touse_random_source
at some point. The code works if all references are replaced accordingly to:Reporting this as a required update to the documentation.
The text was updated successfully, but these errors were encountered: