MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / _format_io_error

Method _format_io_error

lean_py/marshal.py:1180–1187  ·  view source on GitHub ↗

Legacy stringification — preserved for callers that just want a printable error message. Use `_build_io_exception` for typed exceptions.

(self, ptr: Any)

Source from the content-addressed store, hash-verified

1178 )
1179
1180 def _format_io_error(self, ptr: Any) -> str:
1181 """Legacy stringification — preserved for callers that just want
1182 a printable error message. Use `_build_io_exception` for typed
1183 exceptions."""
1184 try:
1185 return str(self._build_io_exception(ptr))
1186 except Exception:
1187 return "<unprintable IO.Error>"

Callers

nothing calls this directly

Calls 1

_build_io_exceptionMethod · 0.95

Tested by

no test coverage detected