Function raise_io_error

LeanPy/native/python_bridge.c:264–267

/* ------------------------------------------------------------------ */

static lean_object *raise_io_error(const char *msg) {
    return lean_io_result_mk_error(
        lean_mk_io_user_error(lean_mk_string(msg)));
}

/* If a Python exception is set, fetch a string for it, clear, and return
 * a Lean IO error result. Caller transfers ownership. */