DetachHead

Results 933 comments of DetachHead

i really wish the LSP spec contained screenshots or some sort of visual representation of its features. it's hard to tell what any of this stuff is. i'm looking at...

this is doable with [`textDocument/implementation`](https://microsoft.github.io/language-server-protocol/specifications/specification-3-14/#textDocument_implementation), though in vscode it will be an option in the right click menu / keyboard shortcut instead of a gutter icon. not sure about other...

can you please check if #323 fixes this? ``` pip install git+https://github.com/DetachHead/basedpyright@fa71759782c1d3b97eae50504711d670739208d7 ``` (note that it will probably take several minutes to install due to #335)

so that just patches it to use a different node binary. i don't know anything about nix but is it a problem with the node binary we're using that can...

do you think that's a decent solution? we can add a "nixOS" section in [the installation instructions](https://github.com/DetachHead/basedpyright/blob/main/docs/installation.md) that says to install it from [your repo](https://github.com/leiserfg/leiserfg-overlay/blob/master/pkgs/basedpyright/default.nix)

sounds good, thanks

thanks! if you don't mind would you like to also write some [installation instructions](https://github.com/DetachHead/basedpyright/blob/main/docs/installation.md) for nixOS?

it was never officially deprecated, however [the docs in python 3.11](https://docs.python.org/3.11/library/typing.html#typing.NoReturn) heavily implied that it was: `Never`: > New in version 3.11: On older Python versions, [`NoReturn`](https://docs.python.org/3/library/typing.html#typing.NoReturn) may be used...

this seems to need some rework to the existing `deprecatedTypingAliases` system to make it work with `Never` and `NoReturn`

> whats even the difference between these 2 options? one of them should be deleted i think https://docs.basedpyright.com/#/configuration?id=main-configuration-options > - **exclude** [array of paths, optional]: Paths of directories or files...