Opened 2 years ago

Last modified 22 months ago

#30361 closed enhancement

Add pyright config — at Initial Version

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/manifolds/pyright Commit:
Dependencies: Stopgaps:

Status badges

Description

This PR provides a minimal configuration for the static typing checker [pyright](https://github.com/microsoft/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](https://github.com/microsoft/pyright/blob/master/docs/configuration.md). 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 (0)

Note: See TracTickets for help on using tickets.