Function lean_py_call_kw

LeanPy/native/python_bridge.c:696–722

    if (!tup) return raise_py_error();
    for (size_t i = 0; i < n; i++) {
        PyObject *po = unwrap_pyobject(lean_array_get_core(args, i));
        p_Py_IncRef(po);
        p_PyTuple_SetItem(tup, (Py_ssize_t)i, po);
    }
    PyObject *r = p_PyObject_CallObject(unwrap_pyobject(f), tup);
    p_Py_DecRef(tup);
    return ok_owned_or_err(r);
}

LEAN_EXPORT lean_obj_res lean_py_call_kw(b_lean_obj_arg f, b_lean_obj_arg args, b_lean_obj_arg kwargs, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    size_t n = lean_array_size(args);
    PyObject *tup = p_PyTuple_New((Py_ssize_t)n);
    if (!tup) return raise_py_error();
    for (size_t i = 0; i < n; i++) {
        PyObject *po = unwrap_pyobject(lean_array_get_core(args, i));
        p_Py_IncRef(po);
        p_PyTuple_SetItem(tup, (Py_ssize_t)i, po);
    }
    size_t kn = lean_array_size(kwargs);
    PyObject *d = p_PyDict_New();
    if (!d) { p_Py_DecRef(tup); return raise_py_error(); }
    for (size_t i = 0; i < kn; i++) {
        lean_object *kv = lean_array_get_core(kwargs, i);
        lean_object *key = lean_ctor_get(kv, 0);
        lean_object *val = lean_ctor_get(kv, 1);
        if (p_PyDict_SetItemString(d, lean_string_cstr(key), unwrap_pyobject(val)) != 0) {
            p_Py_DecRef(d); p_Py_DecRef(tup);
            return raise_py_error();
        }