Iwan

Results 15 issues of Iwan

This adds support to build the client using CMake and MinGW, so it can be cross-built on Linux. I re-used the nix setup that was done for the server (fun...

If an indexed file contains URL-encoded characters, e.g. "hello%2Fworld.html", the % is not escaped in the resulting URL in the search UI, so the file is not found. I suspect...

Currently doing a [HEAD request](https://developer.mozilla.org/en-US/docs/Web/HTTP/Reference/Methods/HEAD) against a file under /serve returns 404. It would be nice if it could return 200 and some metadata like Content-Length instead. Or maybe just...

This is a copy of this enhancement I proposed for mypy: https://github.com/python/mypy/issues/10246 I use this inference in a project through a mypy plugin, I'm trying out pyrefly so I'm curious...

typechecking
needs-discussion

Tools typically run Python with the workspace root as the current working directory, that's also how python normally runs in the terminal. To discover `sys.path`, the pylance extension runs this...

team needs to reproduce