New semantic analyzer: better error messages for cyclic cross-module definitions

Ouverte
#6,551 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
4/5
Temps estimé
3-5 jours
Accessibilité débutants
42/100
Type d'issue
Bug
Clarté
Plutôt claire
Activité
À l'abandon
Stack technique
python
Domaine
compilers

Piste de recherche

Commencez par le cas testNewAnalyzerCyclicDefinitionCrossModule présenté dans l’issue et comparez les diagnostics attendus avec le comportement du nouvel analyseur. Lisez le contexte complémentaire dans la pull request 6527 et suivez la manière dont les attributs cycliques entre modules sont résolus. La tâche est terminée lorsque le diagnostic redondant est supprimé, tandis que l’erreur utile de définition cyclique reste couverte par le test.

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

Description

priority-1-normal semantic-analyzer topic-error-reporting topic-usability

This is a follow-up for https://github.com/python/mypy/pull/6527

The new analyzer gives to verbose (and a bit confusing) error in this case:

[case testNewAnalyzerCyclicDefinitionCrossModule]
import b
[file a.py]
import b
x = b.x  # E: Cannot determine type of 'x'
[file b.py]
import a
x = a.x  # E: Cannot resolve attribute "x", possible cyclic definition \
         # E: Module has no attribute "x"

We can probably skip the second part by injecting a dummy Var with Any type in the a module namespace.

Langage dominant
Python
Étoiles
20.6k
Forks
3.3k
Merge moyen
1 j 18 h
PR mergées (30 j)
54

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.

Autres issues de python/mypy

Toutes les issues de python/mypy

Issues similaires

Plus d'issues Python

Recevez les nouvelles issues par e-mail

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