Skip to content

Add type annotations so that the project can be checked using mypy - #6

Open
Gaspi wants to merge 6 commits into
ludo2ne:tp4-basefrom
Gaspi:type-annotation
Open

Add type annotations so that the project can be checked using mypy#6
Gaspi wants to merge 6 commits into
ludo2ne:tp4-basefrom
Gaspi:type-annotation

Conversation

@Gaspi

@Gaspi Gaspi commented Sep 18, 2025

Copy link
Copy Markdown

The mypy type checker can be run manually with mypy src.
The project can also be checked with ruff check ..

@Gaspi

Gaspi commented Sep 20, 2025

Copy link
Copy Markdown
Author

The following instruction could also be added to setup the extension.

To install the mypy vscode extension:

code-server --install-extension ms-python.mypy-type-checker

then access the Settings of the extension and set Mypy-type-checker: Cwd to ${nearestConfig}.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant