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

Core: Import random for type hint on World.random #1927

Merged
merged 1 commit into from
Jul 2, 2023

Conversation

Zunawe
Copy link
Collaborator

@Zunawe Zunawe commented Jul 2, 2023

What is this fixing or adding?

#1649 added self.random with a correct type hint, but didn't import random, which caused the hint to be interpreted as Any (at least in VS Code for me)

How was this tested?

Seeing VS Code pick up the type hint in other files and running Generate.py

If this makes graphical changes, please attach screenshots.

N/A

@ThePhar ThePhar added the is: documentation Improvements or additions to documentation. label Jul 2, 2023
Copy link
Member

@black-sliver black-sliver left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@black-sliver black-sliver merged commit d94bee2 into ArchipelagoMW:main Jul 2, 2023
11 checks passed
@Zunawe Zunawe deleted the random-hint branch July 3, 2023 03:44
FlySniper pushed a commit to FlySniper/Archipelago that referenced this pull request Nov 14, 2023
Jouramie pushed a commit to Jouramie/Archipelago that referenced this pull request Feb 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
is: documentation Improvements or additions to documentation.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants