You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I’ve found some type annotation errors in manim. For example, the argument color of FadeToColor expected str, which should actually be ParsableManimColor.
As there may be also other type annotation errors, I suggest using type checkers like mypy to check type annotations.
How can the new feature be used?
This helps ensure that you’re using variables and functions in your code correctly. Plus, it would benefit other Python projects using type checkers to import manim.
Additional comments
The text was updated successfully, but these errors were encountered:
dsr20030703
added
the
new feature
Enhancement specifically adding a new feature (feature request should be used for issues instead)
label
May 13, 2025
Description of proposed feature
I’ve found some type annotation errors in manim. For example, the argument
color
ofFadeToColor
expectedstr
, which should actually beParsableManimColor
.As there may be also other type annotation errors, I suggest using type checkers like mypy to check type annotations.
How can the new feature be used?
This helps ensure that you’re using variables and functions in your code correctly. Plus, it would benefit other Python projects using type checkers to import manim.
Additional comments
The text was updated successfully, but these errors were encountered: