python / python/mypy

code-blockwise configuration settings

Ouverte
#15,547 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

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

Description

Feature

In mypy, we can do something like # type: ignore [error-code]

For some developer tools, we can use some blockwise settings, ex:

# fmt: off
blabla
# fmt: on

Momentarily configuring some mypy settings in a similar fashion would be useful

Pitch

A specific reason why I'd like to see this is that I have a codebase where allow-redefinition is False (and this is good). But I have a small region where I have a lot of type narrowing to do and in this case allowing a block of redefinitions is far more convenient. Plus, the control comments would signal to the reader that this is happening.

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

L’issue ne mentionne aucun fichier, test ni point d’entrée. Commencez par examiner comment mypy gère les commentaires de contrôle inline et les configurations telles que allow-redefinition ; pour considérer le travail comme terminé, il faut définir une syntaxe et un comportement convenus pour une configuration limitée à un bloc, notamment la manière dont le paramètre s’applique à l’intérieur et à l’extérieur du bloc.

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

Évaluation

Stack technique
python
Domaine
tooling
Type d'issue
Fonctionnalité
Difficulté
5/5
Temps estimé
Plus d'une semaine
Activité
À l'abandon
Clarté
Plutôt claire
Accessibilité débutants
30/100

Recevez les nouvelles issues par e-mail

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