python / python/mypy

Add mypy_version to config_type

Open
#10,043 2 comments 2 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

feature
Dominant language
Python
Stars
20.6k
Forks
3.3k
PR merge metrics
PR metrics pending

Description

Feature

Propose to add mypy_version similar to python_version in config_type from mypy/config_parser.py - to indicate which mypy version is recommended when parsing a config file.

Pitch

When developer create the mypy config file, there's no way to indicate which mypy version was used during the development. This could create confusion when different developers installed different versions of mypy while working on the same project.

with mypy_version one can specify the agreed upon mypy_version to be used when parsing a config file. It should print warning/error message when the desired mypy version specified is not the same as the one installed.

Alternative

One could use the package manager config to specify desire mypy version, e.g. requirements.txt. but it doesn't warn developer when a wrong version was installed/used.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start in mypy/config_parser.py at config_type and compare the proposed setting with python_version handling. Trace how configuration values are parsed and how version diagnostics are reported, then clarify whether a mismatch should produce a warning or an error. Done means matching and mismatching mypy versions are handled and covered by parser tests.

Written by the indexing model from the issue text.

Assessment

Tech stack
python
Domain
tooling
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
38/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.