Function py_obj_to_lean_string

LeanPy/native/python_bridge.c:588–598

    if (v == -1 && p_PyErr_Occurred()) return raise_py_error();
    return lean_io_result_mk_ok(lean_int64_to_int((int64_t) v));
}

LEAN_EXPORT lean_obj_res lean_py_to_float(b_lean_obj_arg p, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    double d = p_PyFloat_AsDouble(unwrap_pyobject(p));
    if (d == -1.0 && p_PyErr_Occurred()) return raise_py_error();
    return lean_io_result_mk_ok(lean_box_float(d));
}

static lean_object *py_obj_to_lean_string(PyObject *s) {
    if (!s) return raise_py_error();
    const char *cs = p_PyUnicode_AsUTF8(s);
    if (!cs) {
        p_Py_DecRef(s);