CircuitPython version

Adafruit CircuitPython 8.2.0-80-g282e93d3e3-dirty on 2023-08-22; Pimoroni Pico DV Base W with rp2040

Code/REPL

import json

Behavior

Traceback (most recent call last):
File "", line 1, in
ImportError: no module named 'json'

Description

Entering

import ujson

works fine

Additional information

I looked through the extmod directory and looked for other modules that might have the same issue and didn't find any but by no means did an exhaustive test.

I also changed the following line in modujson.c

MP_REGISTER_MODULE(MP_QSTR_ujson, mp_module_ujson);

to

MP_REGISTER_MODULE(MP_QSTR_json, mp_module_ujson);

and import json worked, however import ujson no longer worked.