search

CQCL / guppylang

Pythonic quantum-classical programming language
https://pypi.org/project/guppylang
Apache License 2.0
21 stars 2 forks source link

chore: switch to pyright for static type check #94

Open ss2165 opened 7 months ago

ss2165 commented 7 months ago

For TypeAliasType support mainly

https://github.com/python/mypy/issues/16614

qartik commented 7 months ago

I think the docs for pyright are severely lacking. We gave up on pyright for the L3 compiler for this reason and moved to mypy.