Salut,
J'ai deux branches à faire réviser. D'abord, j'ai la première d'une longue série qui devrait culminer avec l'ajout de la position de fin d'un Location. J'ai déjà ces changements dans une branche, mais je les nettoye et redécoupe pour qu'ils soit plus facile à réviser. Dans cette patch, je fait un peu de nettoyage en déplaçant du code de Util vers Source. Ça empire un peu le code ailleur qui utilise directement les noms de champs, mais je vais corriger ça dans une patch subséquente.
https://gitlab.com/monnier/typer/-/compare/master...consolidate-location
En deuxième, j'avais du code ancien pour vérifier la positivité d'un type. Je l'ai revu et mis dans une nouvelle branche. Remarquez que la vérification n'est pas encore intégrée à Typer. Je prévois ajouter dans un deuxième temps une option à Typer (--check-positivity par exemple) pour activer cette vérification.
https://gitlab.com/monnier/typer/-/compare/master...positivity
Merci Simon
Afficher les réponses par date
J'ai deux branches à faire réviser. D'abord, j'ai la première d'une longue série qui devrait culminer avec l'ajout de la position de fin d'un Location. J'ai déjà ces changements dans une branche, mais je les nettoye et redécoupe pour qu'ils soit plus facile à réviser. Dans cette patch, je fait un peu de nettoyage en déplaçant du code de Util vers Source. Ça empire un peu le code ailleur qui utilise directement les noms de champs, mais je vais corriger ça dans une patch subséquente.
https://gitlab.com/monnier/typer/-/compare/master...consolidate-location
LGTM (il faudrait enlever le "docstr", BTW: il faudra qu'on trouve un autre moyen de mettre des "docstrings", qui opère à un autre niveau).
En deuxième, j'avais du code ancien pour vérifier la positivité d'un type. Je l'ai revu et mis dans une nouvelle branche. Remarquez que la vérification n'est pas encore intégrée à Typer. Je prévois ajouter dans un deuxième temps une option à Typer (--check-positivity par exemple) pour activer cette vérification.
https://gitlab.com/monnier/typer/-/compare/master...positivity
C'est pas complet, en effet, mais je ne vois pas d'inconvéient à le garder déjà dans `master` en attendant de compléter le code.
Stefan