mujoco icon indicating copy to clipboard operation
mujoco copied to clipboard

Declare runtime dependency on typing_extensions

Open layus opened this issue 6 months ago • 3 comments

It is not only a development dependency. It is needed by python/mujoco/__init__.py at runtime.

layus avatar Jun 05 '25 08:06 layus

@quagla the dependency is coming from TypeAlias in init.py, do we actually need it?

saran-t avatar Jun 17 '25 21:06 saran-t

It's required as long as we support Python 3.9. From Python 3.10 we can use typing (as we do internally).

quagla avatar Jun 18 '25 08:06 quagla

So this PR can be approved, right? @quagla

(maybe add a comment in Init.py to delete this once Python 3.9 is no longer supported)

yuvaltassa avatar Jun 21 '25 11:06 yuvaltassa

@quagla is this something we could get merged/released soon?

kwlzn avatar Sep 26 '25 21:09 kwlzn