Function lean_py_initialize

LeanPy/native/python_bridge.c:393–426

}

LEAN_EXPORT lean_obj_res lean_py_initialize(lean_obj_arg unit, lean_obj_arg world) {
    (void)world;
    if (py_initialized) {
        return lean_io_result_mk_ok(lean_box(0));
    }
    if (!try_load_python()) {
        return raise_io_error("LeanPy: could not load libpython (set LEANPY_LIBPYTHON to override)");
    }
#define X(ret, name, args)                                          \
    p_##name = (ret (*) args) dlsym(py_handle, #name);              \
    if (!p_##name) {                                                \
        return raise_io_error("LeanPy: dlsym failed for " #name);   \
    }
    PYSYMS
#undef X
    /* Singletons. */
    p_Py_None  = (PyObject *) dlsym(py_handle, "_Py_NoneStruct");
    p_Py_True  = (PyObject *) dlsym(py_handle, "_Py_TrueStruct");
    p_Py_False = (PyObject *) dlsym(py_handle, "_Py_FalseStruct");
    if (!p_Py_None || !p_Py_True || !p_Py_False) {
        return raise_io_error("LeanPy: failed to resolve Py_None/True/False");
    }
    /* PyExc_RuntimeError is exported as a `PyObject *` global; we want the
     * value of the symbol, so dereference once. */
    {
        PyObject **slot = (PyObject **) dlsym(py_handle, "PyExc_RuntimeError");
        if (slot) p_PyExc_RuntimeError = *slot;
    }
    if (!p_Py_IsInitialized()) {
        p_Py_Initialize();
    }
    py_initialized = 1;
    return lean_io_result_mk_ok(lean_box(0));
}

LEAN_EXPORT lean_obj_res lean_py_is_initialized(lean_obj_arg unit, lean_obj_arg world) {
    (void)world;