Repeat module in release firmware?

[water]

Code: Select all

help('modules')

__main__ gc uasyncio/stream upip_utarfile
_boot inisetup ubinascii upysh
_onewire machine ubluetooth urandom
_thread math ucollections ure
_uasyncio micropython ucryptolib urequests
_webrepl neopixel uctypes uselect
apa106 network uerrno usocket
btree ntptime uhashlib ussl
builtins onewire uhashlib ustruct
cmath sys uheapq utime
dht uarray uio utimeq
ds18x20 uasyncio/__init__ ujson uwebsocket
esp uasyncio/core umqtt/robust uzlib
esp32 uasyncio/event umqtt/simple webrepl
flashbdev uasyncio/funcs uos webrepl_setup
framebuf uasyncio/lock upip websocket_helper
Plus any modules on the filesystem

Is it have some module path configure incorrect ?
Test on V1.13 ,
ESP32

[jimmo]

Nice find!

This appears to be a misconfiguration in the ESP32 port. uhashlib is added by both objmodule.c and esp32/mpconfigport.h.

It's a quirk of help('modules') that it walks the underlying list of registrations and therefore will see the entry twice, but the rest of the code that uses this list will ignore the duplicate.

I will send a PR to fix this later tonight. Thanks

[jimmo]

OK "later tonight" turned into "next week" but https://github.com/micropython/micropython/pull/6426

[water]

Thanks.