python / python/mypy

Mypy suggests `types-Pygments` but `--install-types` doesn't install it

Ouverte
#21,068 2 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

bug
Langage dominant
Python
Étoiles
20.6k
Forks
3.3k
Métriques de merge des PR
Métriques de PR en attente

Description

Bug Report

(A clear and concise description of what the bug is.)
See below.

To Reproduce

Do from pygments.lexers import ....

mypy file.py would gives:

(3.14) ➜ git: mypy .
error: Library stubs not installed for "pygments.lexers"  [import-untyped]
note: Hint: "python3 -m pip install types-Pygments"
note: (or run "mypy --install-types" to install all missing stub packages)
note: See https://mypy.readthedocs.io/en/stable/running_mypy.html#missing-imports
error: Library stubs not installed for "pygments"  [import-untyped]

Normally for other packages I would fix by mypy --install-types [--non-interactive] ..

But it doesn't install types-Pygments despite mypy knowing that this stub is missing.

# Ideally, a small sample program that demonstrates the problem.
# Or even better, a reproducible playground link https://mypy-play.net/ (use the "Gist" button)

Expected Behavior

Actual Behavior

Your Environment

  • Mypy version used: mypy 1.19.1 (compiled: yes)
  • Mypy command-line flags: See above
  • Mypy configuration options from mypy.ini (and other config files): No
  • Python version used: Python 3.14.3

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Piste de recherche

Commencez par reproduire l’échec signalé de mypy . avec from pygments.lexers import ..., puis suivez le chemin --install-types --non-interactive qui gère le paquet manquant types-Pygments. C’est terminé lorsque la commande installe le paquet de stubs suggéré et que les diagnostics signalant l’absence de stubs ne se produisent plus.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Stack technique
python
Domaine
devtools
Type d'issue
Bug
Difficulté
3/5
Temps estimé
1-2 jours
Activité
Calme
Clarté
Plutôt claire
Accessibilité débutants
55/100

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.