Pyright: Update from 1.345 - Githubissues

xdslproject / xdsl

A Python Compiler Design Toolkit

Other

278 stars 72 forks source link

Pyright: Update from 1.345 #2791

Open AntonLydike opened 5 months ago

AntonLydike commented 5 months ago

We need to update pyright to a newer version (maybe BasedPyright).

There are a number of things that need to be fixed for this to happen:

[ ] Change the API for ConstraintVars, Annotated[Attribute, ConstraintVar("T")] is technically not valid for Python typing purposes
[ ] Either wait until the TypeExpr proposal to land or use a different technique (I have a WIP branch that annotates constraints with the types of attributes they accept, which gets us quite far in terms of reducing errors)
[ ] A number of unrelated issues that have accumulated as Pyright has evolved since 1.345

superlopuh commented 5 months ago

I've started working on this, will try to merge some things bit by bit to get us closer. I'll update the Task description with progress.