int to float promotion doesn't seem to work with the new semantic analyzer. ... python / mypy Public. Notifications Fork 2.7k; Star 17.3k. Code; Issues 2.5k; Pull requests 215; Actions; Projects 1; ..

Disclose C++ ATen ops type promotion rules under OpOverload in Python #103640. Open BowenBao opened this issue Jun 15, 2023 · 1 comment Open Disclose C++ ATen ops type promotion rules under OpOverload ...

Pyrefly is not the first Python type-checking tool from Meta. Previously, the company delivered Pyre, written in OCaml. Pyre has since been retired; Pyrefly, written from scratch in Rust, replaces it.