microsoft / microsoft/pyright

Diagnostic results are inconsistent when using "--threads" option on sympy

Open
#10,039 4 comments 4 reactions 0 assignees View on GitHub
bug needs investigation
Dominant language
Python
Stars
15.6k
Forks
1.8k
Avg merge
12h 13m
Merged PRs (30d)
52

Description

The "mypy_primer" results for sympy consistent show differences between runs. This is likely due to circular dependencies within the sympy code, but an investigation should verify this hypothesis. If possible, it would be preferable to improve the repeatability even when type checking is parallelized using "--threads".

Contributor guide

Open the contributing guide

Research direction

Start by running mypy_primer against sympy repeatedly with the --threads option and compare the diagnostic results between runs. Investigate whether circular dependencies explain the differences; done means either improving repeatability for parallel type checking or documenting the verified cause and limitations.

Written by the indexing model from the issue text.

Assessment

Tech stack
python
Domain
devtools
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Quiet
Clarity
Needs clarification
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.