search

microbit-foundation / micropython-microbit-stubs

Type stubs for MicroPython for micro:bit to support the micro:bit Python Editor V3
https://python.microbit.org/
Other
3 stars 2 forks source link

Review and prune builtins #14

Closed microbit-matt-hillsdon closed 1 year ago

microbit-matt-hillsdon commented 2 years ago

The builtins expose many methods on e.g. str, int that aren't supported by MicroPython.

We should prune them to prevent spurious autocomplete suggestions.

It might be helpful to regenerate without dunder methods filtered out.

microbit-matt-hillsdon commented 1 year ago

I did do a round of pruning. Closing this as there is no plan to repeat. Any further work here should probably be alongside adding docs for builtins.