Opened 2 years ago

Last modified 22 months ago

#30361 closed enhancement

Add pyright config — at Version 2

Reported by: gh-tobiasdiez Owned by:
Priority: minor Milestone: sage-9.3
Component: build Keywords:
Cc: mkoeppe, chapoton, gh-mjungmath, gh-kliem Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: public/mainfolds/pyright (Commits, GitHub, GitLab) Commit: 6ab9fe9e9ad650ef8cf6dd0f148d5370f68d5572
Dependencies: Stopgaps:

Status badges

Description (last modified by slelievre)

This PR provides a minimal configuration for the static typing checker pyright. In #29775 typing for the manifolds package is added. As this is currently the only place where typing is used, it's the only source folder for pyright.

There are also quite a few other code check options. These seem to cover similar rules as pyflakes and pycodestyle. Since these two checker have problems with typings (at least in the versions that they are currently used in the patchbot), it might be worthwhile to investigate if they can be completely replaced by pyright.

Change History (2)

comment:1 Changed 2 years ago by gh-tobiasdiez

  • Branch changed from public/manifolds/pyright to public/mainfolds/pyright
  • Commit set to 6ab9fe9e9ad650ef8cf6dd0f148d5370f68d5572

New commits:

6ab9fe9Add pyright config

comment:2 Changed 2 years ago by slelievre

  • Description modified (diff)
Note: See TracTickets for help on using tickets.