Danny Yang comments

Results 182 comments of


                                            Danny Yang

Constrained typevar cannot be attribute-accessed

similar to the first issue from https://github.com/facebook/pyrefly/issues/150

Treat `False` as `0` and `True` as `1` in subscripts

Is this a common pattern? Right now the tuple subscripting stuff matches on the AST node as opposed to the evaluated type of the slice, but we could probably change...

Update is not handled well with empty dict type inference

Thanks for flagging this! TIL you can add string keys via keyword args to dict.update.

Update is not handled well with empty dict type inference

I think that's the behavior is just the what the stdlib stubs for `update` would typecheck as if it was called like a normal function. As shown by your examples,...

Pyrefly Neovim Support

pyproject.toml should work with neovim

Pylance parity - color coding recognized imports

I think this is another case that would be covered once we support semantic highlighting cc @kinto0

Handling @overload with a docstring declaration

Thanks! The `third_party/conformance` tests are pulled from the typing spec conformance test suite, and shouldn't be modified directly here: https://github.com/python/typing/tree/main/conformance For this type of feature, could you please add an...

Handling @overload with a docstring declaration

Sorry for the delay @arnav-jain1 and thanks for your contribution We'll get this merged soon! My only feedback would be that it's more readable to just use a loop and...

Handling @overload with a docstring declaration

> Im tryna learn haskell or functional programming in general and kind of used it as a fun exercise. Functional programming is fun! Pyre being written in OCaml was one...

Update write_pyproject to use toml_edit

Yep, we'll get this merged.