Jos Verlinde

Set BinaryIO as the baseclass for BufferedWriter will need to be done using a codemod as the class is not documented in the docstubs already tried lookup: "BufferedWriter": "IOBase", #...

Ah, that is something different. The typing module is not available on MicroPython, only on your pc as part of the stubs. There is a [PR](https://github.com/micropython/micropython-lib/pull/584) open to add that...

@gilesknap - just delete the entire typings folder - then run `pip install -U micropython-stdlib-stubs --pre --target .vscode/Pico-W-Stub --no-user` to update the stdlib stubs in that location

Thanks for confirming. > add the typing.py and typing_extensions.py stubs to the lib folder. - [x] I'll add that to the documentatio - [ ] and sample repro. Still thinking...

ref: https://github.com/paulober/Pico-W-Stub/issues/7

I have run into the same, and have a potential fix in the works. One catch is that the micropython docs state that the value is a tuple, and that...

Thanks for the report, I've tried to test with mypy before, but that reported too many errors then. If you can share your mypy setup / config then I'm happy...

> The option to check all files, including those without dependencies, will be implemented in the future. Thanks - will need to wait for that

@garryp4, Can you open a python repl and try the below commands ? ```py import requests page = requests.get("https://micropython.org/download/?port=stm32") print(page) ``` you should get an output similar to : ```...

Does the download now succeed? I still plan to catch and handle such errors, and it would help to understand what the problem was