Thanks for the PR.
At first I thought, what's the point of running pyright on different operating systems, the results should be identical. Now we see that this is not true.
I don't really understand the Winows error though, readline should not be available under Windows. I would have to start Windows and see if this is easy to fix.
Thanks for the PR. At first I thought, what's the point of running pyright on different operating systems, the results should be identical. Now we see that this is not true.
I don't really understand the Winows error though,
readlineshould not be available under Windows. I would have to start Windows and see if this is easy to fix.