wide-midnight-78598
05/18/2024, 1:30 AMfast-nail-55400
05/18/2024, 3:05 AMfast-nail-55400
05/18/2024, 3:05 AMfast-nail-55400
05/18/2024, 3:05 AMwide-midnight-78598
05/18/2024, 3:47 AMfast-nail-55400
05/18/2024, 6:59 AMfast-nail-55400
05/18/2024, 6:59 AMwide-midnight-78598
05/18/2024, 1:47 PMbuiltins.pyi file .
One option is more a polling-style, which seems strange (every time we call pants, or we call pants after checking the pants.toml and generated file timestamps - generate this file - which is my short term hack).
The other option is that there was a hook or something to let me know when the global options had change, and I could add a post-restart hook that generated the builtins as a side effectfast-nail-55400
05/19/2024, 12:38 PMbuiltins.pyi? I.e., is it in the request path when VSCode tries to access that file?wide-midnight-78598
05/19/2024, 1:02 PMpyright as the BUILD file LSP, and pyright allows providing a custom __builtins__.pyi - so we just need it located in the project somewhere, and then we pass that into pyright's configurationwide-midnight-78598
05/19/2024, 1:04 PM