Repository navigation
marimo notebooks try to install submodules of modules #44
Description
When running code like this, exported via marimo export md --no-sandbox path:
import marimo as mo
import sys
if "pyodide" in sys.modules:
import micropip
await micropip.install("xdsl")
import xdsl.utils.marimo as xmo
from xdsl.dialects.eqsat import EClassOpI see way more calls to micropip than I expect:
Loading from micropip: ['xdsl', 'xdsl.context', 'xdsl.dialects', 'xdsl.dialects.eqsat', 'xdsl.parser', 'xdsl.transforms', 'xdsl.transforms.apply-eqsat-pdl-interp', 'xdsl.transforms.eqsat-add-costs', 'xdsl.transforms.eqsat-create-eclasses', 'xdsl.transforms.eqsat-extract', 'xdsl.utils', 'xdsl.utils.lexer', 'xdsl.utils.marimo']
XHRGET
https://pypi.org/simple/xdsl/
[HTTP/2 200 40ms]
XHRGET
https://pypi.org/simple/xdsl-context/
[HTTP/2 404 41ms]
XHRGET
https://pypi.org/simple/xdsl-transforms/
[HTTP/2 404 36ms]
XHRGET
https://pypi.org/simple/xdsl-parser/
[HTTP/2 404 33ms]
XHRGET
https://pypi.org/simple/xdsl-dialects-eqsat/
[HTTP/2 404 37ms]
XHRGET
https://pypi.org/simple/xdsl-dialects/
[HTTP/2 404 33ms]
XHRGET
https://pypi.org/simple/xdsl-utils/
[HTTP/2 404 28ms]
XHRGET
https://pypi.org/simple/xdsl-transforms-eqsat-extract/
[HTTP/2 404 28ms]
XHRGET
https://pypi.org/simple/xdsl-transforms-eqsat-create-eclasses/
[HTTP/2 404 28ms]
XHRGET
https://pypi.org/simple/xdsl-transforms-eqsat-add-costs/
[HTTP/2 404 28ms]
XHRGET
https://pypi.org/simple/xdsl-transforms-apply-eqsat-pdl-interp/
[HTTP/2 404 27ms]
XHRGET
https://pypi.org/simple/xdsl-utils-marimo/
[HTTP/2 404 27ms]
XHRGET
https://pypi.org/simple/xdsl-utils-lexer/
Here's a WIP PR showing this failure mode:
xdslproject/xdsl#5076
https://xdsl--5076.org.readthedocs.build/5076/marimo/eqsat/
Would love some advice/workaround to fix this. The same code in the marimo notebook works just fine.
Reacted by Tobias Christian Grosser
Activity
tobiasgrosser commentedon Aug 21, 2025
Indeed, I see the same issue and would be interested in learning if this can be resolved or how to debug this issue best.
tobiasgrosser commentedon Aug 23, 2025
This seems to cause errors in the console output, but is actually not blocking for me at the moment.