Skip to content

gh-105481: Fix types and bug for pseudos#105788

Merged
gvanrossum merged 1 commit intopython:mainfrom
gvanrossum:pseudo-fixes
Jun 14, 2023
Merged

gh-105481: Fix types and bug for pseudos#105788
gvanrossum merged 1 commit intopython:mainfrom
gvanrossum:pseudo-fixes

Conversation

@gvanrossum
Copy link
Member

Some type annotations were missing in gh-105481. Fixing these to silence the errors in VS Code made me realize there was an actual bug there, which I also fixed.

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants