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.

Sign up for GitHub

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

Jump to bottom

mypy fails to check Gradio frontend #25

Open
dustalov opened this issue Dec 21, 2024 · 2 comments · Fixed by gradio-app/gradio#10238
Open

mypy fails to check Gradio frontend #25

dustalov opened this issue Dec 21, 2024 · 2 comments · Fixed by gradio-app/gradio#10238
Assignees
@dustalov
Labels
bug Something isn't working python Pull requests that update Python code

Comments

@dustalov
Copy link
Owner

The current version of Gradio does not export symbols correctly, causing mypy checks to fail. We can either submit a fix upstream or temporarily ignore the affected lines.

error: Module "gradio" does not explicitly export attribute "Checkbox"  [attr-defined]
error: Module "gradio" does not explicitly export attribute "Dataframe"  [attr-defined]
error: Module "gradio" does not explicitly export attribute "Dropdown"  [attr-defined]
error: Module "gradio" does not explicitly export attribute "Error"  [attr-defined]
error: Module "gradio" does not explicitly export attribute "File"  [attr-defined]
error: Module "gradio" does not explicitly export attribute "Interface"  [attr-defined]
error: Module "gradio" does not explicitly export attribute "Plot"  [attr-defined]
error: Name "gr.Interface" is not defined  [name-defined]
@dustalov dustalov added bug Something isn't working python Pull requests that update Python code labels Dec 21, 2024
@dustalov dustalov self-assigned this Dec 21, 2024
@dustalov
Copy link
Owner Author

The fix is trivial and implies adding the __all__ array to Gradio's __init__.py.

@dustalov dustalov mentioned this issue Dec 21, 2024
Merged
@dustalov
Copy link
Owner Author

Waiting for the release in gradio-app/gradio#10218.

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

@dustalov dustalov

Labels
bug Something isn't working python Pull requests that update Python code
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Declare exports in __all__ for type checking dustalov/gradio
1 participant
@dustalov