Danny Yang
Danny Yang
@kinto0 as far as I'm aware, the pre-commit hook has to be explicitly installed/added to a repository's pre-commit config before it works, I don't think it will "turn on by...
Hi, thanks for reaching out. We do plan to support semantic syntax highlighting. cc @kinto0 Possibly the same request as https://github.com/facebook/pyrefly/issues/218
Closing this to consolidate our tracking
Weird, we're somehow pinning the type of the type var to just `Foo` when we call the constructor. The contextual typing works if it's a regular assignment, like `x: Sequence[type[Foo...
Oh, I have a theory, we might be breaking up the union and doing is_subset_eq on the union members one by one, pinning the var to the first union member...
cc @shiftkey please take a look when you have time, thanks!
thank you!
Thanks for reporting, there are some known gaps in how we analyze match statements. I'm not sure if its feasible to be 100% accurate for exhaustiveness checks when matching on...
Ah, this was in the diff I had a few weeks back that got reverted because of deadlock
What is this? is it the same as https://github.com/facebook/pyrefly/issues/377 ?