1// Lean compiler output
2// Module: Lean.Compiler
3// Imports: Init Lean.Compiler.InlineAttrs Lean.Compiler.Specialize Lean.Compiler.ConstFolding Lean.Compiler.ClosedTermCache Lean.Compiler.ExternAttr Lean.Compiler.ImplementedByAttr Lean.Compiler.NeverExtractAttr Lean.Compiler.IR Lean.Compiler.CSimpAttr Lean.Compiler.FFI Lean.Compiler.NoncomputableAttr Lean.Compiler.Main Lean.Compiler.AtMostOnce Lean.Compiler.Old
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_Compiler_InlineAttrs(uint8_t builtin, lean_object*);
18lean_object* initialize_Lean_Compiler_Specialize(uint8_t builtin, lean_object*);
19lean_object* initialize_Lean_Compiler_ConstFolding(uint8_t builtin, lean_object*);
20lean_object* initialize_Lean_Compiler_ClosedTermCache(uint8_t builtin, lean_object*);
21lean_object* initialize_Lean_Compiler_ExternAttr(uint8_t builtin, lean_object*);
22lean_object* initialize_Lean_Compiler_ImplementedByAttr(uint8_t builtin, lean_object*);
23lean_object* initialize_Lean_Compiler_NeverExtractAttr(uint8_t builtin, lean_object*);
24lean_object* initialize_Lean_Compiler_IR(uint8_t builtin, lean_object*);
25lean_object* initialize_Lean_Compiler_CSimpAttr(uint8_t builtin, lean_object*);
26lean_object* initialize_Lean_Compiler_FFI(uint8_t builtin, lean_object*);
27lean_object* initialize_Lean_Compiler_NoncomputableAttr(uint8_t builtin, lean_object*);
28lean_object* initialize_Lean_Compiler_Main(uint8_t builtin, lean_object*);
29lean_object* initialize_Lean_Compiler_AtMostOnce(uint8_t builtin, lean_object*);
30lean_object* initialize_Lean_Compiler_Old(uint8_t builtin, lean_object*);
31static bool _G_initialized = false;
32LEAN_EXPORT lean_object* initialize_Lean_Compiler(uint8_t builtin, lean_object* w) {
33lean_object * res;
34if (_G_initialized) return lean_io_result_mk_ok(lean_box(0));
35_G_initialized = true;
36res = initialize_Init(builtin, lean_io_mk_world());
37if (lean_io_result_is_error(res)) return res;
38lean_dec_ref(res);
39res = initialize_Lean_Compiler_InlineAttrs(builtin, lean_io_mk_world());
40if (lean_io_result_is_error(res)) return res;
41lean_dec_ref(res);
42res = initialize_Lean_Compiler_Specialize(builtin, lean_io_mk_world());
43if (lean_io_result_is_error(res)) return res;
44lean_dec_ref(res);
45res = initialize_Lean_Compiler_ConstFolding(builtin, lean_io_mk_world());
46if (lean_io_result_is_error(res)) return res;
47lean_dec_ref(res);
48res = initialize_Lean_Compiler_ClosedTermCache(builtin, lean_io_mk_world());
49if (lean_io_result_is_error(res)) return res;
50lean_dec_ref(res);
51res = initialize_Lean_Compiler_ExternAttr(builtin, lean_io_mk_world());
52if (lean_io_result_is_error(res)) return res;
53lean_dec_ref(res);
54res = initialize_Lean_Compiler_ImplementedByAttr(builtin, lean_io_mk_world());
55if (lean_io_result_is_error(res)) return res;
56lean_dec_ref(res);
57res = initialize_Lean_Compiler_NeverExtractAttr(builtin, lean_io_mk_world());
58if (lean_io_result_is_error(res)) return res;
59lean_dec_ref(res);
60res = initialize_Lean_Compiler_IR(builtin, lean_io_mk_world());
61if (lean_io_result_is_error(res)) return res;
62lean_dec_ref(res);
63res = initialize_Lean_Compiler_CSimpAttr(builtin, lean_io_mk_world());
64if (lean_io_result_is_error(res)) return res;
65lean_dec_ref(res);
66res = initialize_Lean_Compiler_FFI(builtin, lean_io_mk_world());
67if (lean_io_result_is_error(res)) return res;
68lean_dec_ref(res);
69res = initialize_Lean_Compiler_NoncomputableAttr(builtin, lean_io_mk_world());
70if (lean_io_result_is_error(res)) return res;
71lean_dec_ref(res);
72res = initialize_Lean_Compiler_Main(builtin, lean_io_mk_world());
73if (lean_io_result_is_error(res)) return res;
74lean_dec_ref(res);
75res = initialize_Lean_Compiler_AtMostOnce(builtin, lean_io_mk_world());
76if (lean_io_result_is_error(res)) return res;
77lean_dec_ref(res);
78res = initialize_Lean_Compiler_Old(builtin, lean_io_mk_world());
79if (lean_io_result_is_error(res)) return res;
80lean_dec_ref(res);
81return lean_io_result_mk_ok(lean_box(0));
82}
83#ifdef __cplusplus
84}
85#endif
86