1// Lean compiler output
2// Module: Lean.Server
3// Imports: Init Lean.Server.Watchdog Lean.Server.FileWorker Lean.Server.Rpc Lean.Server.CodeActions
4#include <lean/lean.h>
5#if defined(__clang__)
6#pragma clang diagnostic ignored "-Wunused-parameter"
7#pragma clang diagnostic ignored "-Wunused-label"
8#elif defined(__GNUC__) && !defined(__CLANG__)
9#pragma GCC diagnostic ignored "-Wunused-parameter"
10#pragma GCC diagnostic ignored "-Wunused-label"
11#pragma GCC diagnostic ignored "-Wunused-but-set-variable"
12#endif
13#ifdef __cplusplus
14extern "C" {
15#endif
16lean_object* initialize_Init(uint8_t builtin, lean_object*);
17lean_object* initialize_Lean_Server_Watchdog(uint8_t builtin, lean_object*);
18lean_object* initialize_Lean_Server_FileWorker(uint8_t builtin, lean_object*);
19lean_object* initialize_Lean_Server_Rpc(uint8_t builtin, lean_object*);
20lean_object* initialize_Lean_Server_CodeActions(uint8_t builtin, lean_object*);
21static bool _G_initialized = false;
22LEAN_EXPORT lean_object* initialize_Lean_Server(uint8_t builtin, lean_object* w) {
23lean_object * res;
24if (_G_initialized) return lean_io_result_mk_ok(lean_box(0));
25_G_initialized = true;
26res = initialize_Init(builtin, lean_io_mk_world());
27if (lean_io_result_is_error(res)) return res;
28lean_dec_ref(res);
29res = initialize_Lean_Server_Watchdog(builtin, lean_io_mk_world());
30if (lean_io_result_is_error(res)) return res;
31lean_dec_ref(res);
32res = initialize_Lean_Server_FileWorker(builtin, lean_io_mk_world());
33if (lean_io_result_is_error(res)) return res;
34lean_dec_ref(res);
35res = initialize_Lean_Server_Rpc(builtin, lean_io_mk_world());
36if (lean_io_result_is_error(res)) return res;
37lean_dec_ref(res);
38res = initialize_Lean_Server_CodeActions(builtin, lean_io_mk_world());
39if (lean_io_result_is_error(res)) return res;
40lean_dec_ref(res);
41return lean_io_result_mk_ok(lean_box(0));
42}
43#ifdef __cplusplus
44}
45#endif
46