1// Lean compiler output
2// Module: Lean.Elab
3// Imports: Init Lean.Elab.Import Lean.Elab.Exception Lean.Elab.Config Lean.Elab.Command Lean.Elab.Term Lean.Elab.App Lean.Elab.Binders Lean.Elab.LetRec Lean.Elab.Frontend Lean.Elab.BuiltinNotation Lean.Elab.Declaration Lean.Elab.Tactic Lean.Elab.Match Lean.Elab.Quotation Lean.Elab.Syntax Lean.Elab.Do Lean.Elab.StructInst Lean.Elab.Inductive Lean.Elab.Structure Lean.Elab.Print Lean.Elab.MutualDef Lean.Elab.AuxDef Lean.Elab.PreDefinition Lean.Elab.Deriving Lean.Elab.DeclarationRange Lean.Elab.Extra Lean.Elab.GenInjective Lean.Elab.BuiltinTerm Lean.Elab.Arg Lean.Elab.PatternVar Lean.Elab.ElabRules Lean.Elab.Macro Lean.Elab.Notation Lean.Elab.Mixfix Lean.Elab.MacroRules Lean.Elab.BuiltinCommand Lean.Elab.RecAppSyntax Lean.Elab.Eval Lean.Elab.Calc Lean.Elab.InheritDoc Lean.Elab.ParseImportsFast
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_Elab_Import(uint8_t builtin, lean_object*);
18lean_object* initialize_Lean_Elab_Exception(uint8_t builtin, lean_object*);
19lean_object* initialize_Lean_Elab_Config(uint8_t builtin, lean_object*);
20lean_object* initialize_Lean_Elab_Command(uint8_t builtin, lean_object*);
21lean_object* initialize_Lean_Elab_Term(uint8_t builtin, lean_object*);
22lean_object* initialize_Lean_Elab_App(uint8_t builtin, lean_object*);
23lean_object* initialize_Lean_Elab_Binders(uint8_t builtin, lean_object*);
24lean_object* initialize_Lean_Elab_LetRec(uint8_t builtin, lean_object*);
25lean_object* initialize_Lean_Elab_Frontend(uint8_t builtin, lean_object*);
26lean_object* initialize_Lean_Elab_BuiltinNotation(uint8_t builtin, lean_object*);
27lean_object* initialize_Lean_Elab_Declaration(uint8_t builtin, lean_object*);
28lean_object* initialize_Lean_Elab_Tactic(uint8_t builtin, lean_object*);
29lean_object* initialize_Lean_Elab_Match(uint8_t builtin, lean_object*);
30lean_object* initialize_Lean_Elab_Quotation(uint8_t builtin, lean_object*);
31lean_object* initialize_Lean_Elab_Syntax(uint8_t builtin, lean_object*);
32lean_object* initialize_Lean_Elab_Do(uint8_t builtin, lean_object*);
33lean_object* initialize_Lean_Elab_StructInst(uint8_t builtin, lean_object*);
34lean_object* initialize_Lean_Elab_Inductive(uint8_t builtin, lean_object*);
35lean_object* initialize_Lean_Elab_Structure(uint8_t builtin, lean_object*);
36lean_object* initialize_Lean_Elab_Print(uint8_t builtin, lean_object*);
37lean_object* initialize_Lean_Elab_MutualDef(uint8_t builtin, lean_object*);
38lean_object* initialize_Lean_Elab_AuxDef(uint8_t builtin, lean_object*);
39lean_object* initialize_Lean_Elab_PreDefinition(uint8_t builtin, lean_object*);
40lean_object* initialize_Lean_Elab_Deriving(uint8_t builtin, lean_object*);
41lean_object* initialize_Lean_Elab_DeclarationRange(uint8_t builtin, lean_object*);
42lean_object* initialize_Lean_Elab_Extra(uint8_t builtin, lean_object*);
43lean_object* initialize_Lean_Elab_GenInjective(uint8_t builtin, lean_object*);
44lean_object* initialize_Lean_Elab_BuiltinTerm(uint8_t builtin, lean_object*);
45lean_object* initialize_Lean_Elab_Arg(uint8_t builtin, lean_object*);
46lean_object* initialize_Lean_Elab_PatternVar(uint8_t builtin, lean_object*);
47lean_object* initialize_Lean_Elab_ElabRules(uint8_t builtin, lean_object*);
48lean_object* initialize_Lean_Elab_Macro(uint8_t builtin, lean_object*);
49lean_object* initialize_Lean_Elab_Notation(uint8_t builtin, lean_object*);
50lean_object* initialize_Lean_Elab_Mixfix(uint8_t builtin, lean_object*);
51lean_object* initialize_Lean_Elab_MacroRules(uint8_t builtin, lean_object*);
52lean_object* initialize_Lean_Elab_BuiltinCommand(uint8_t builtin, lean_object*);
53lean_object* initialize_Lean_Elab_RecAppSyntax(uint8_t builtin, lean_object*);
54lean_object* initialize_Lean_Elab_Eval(uint8_t builtin, lean_object*);
55lean_object* initialize_Lean_Elab_Calc(uint8_t builtin, lean_object*);
56lean_object* initialize_Lean_Elab_InheritDoc(uint8_t builtin, lean_object*);
57lean_object* initialize_Lean_Elab_ParseImportsFast(uint8_t builtin, lean_object*);
58static bool _G_initialized = false;
59LEAN_EXPORT lean_object* initialize_Lean_Elab(uint8_t builtin, lean_object* w) {
60lean_object * res;
61if (_G_initialized) return lean_io_result_mk_ok(lean_box(0));
62_G_initialized = true;
63res = initialize_Init(builtin, lean_io_mk_world());
64if (lean_io_result_is_error(res)) return res;
65lean_dec_ref(res);
66res = initialize_Lean_Elab_Import(builtin, lean_io_mk_world());
67if (lean_io_result_is_error(res)) return res;
68lean_dec_ref(res);
69res = initialize_Lean_Elab_Exception(builtin, lean_io_mk_world());
70if (lean_io_result_is_error(res)) return res;
71lean_dec_ref(res);
72res = initialize_Lean_Elab_Config(builtin, lean_io_mk_world());
73if (lean_io_result_is_error(res)) return res;
74lean_dec_ref(res);
75res = initialize_Lean_Elab_Command(builtin, lean_io_mk_world());
76if (lean_io_result_is_error(res)) return res;
77lean_dec_ref(res);
78res = initialize_Lean_Elab_Term(builtin, lean_io_mk_world());
79if (lean_io_result_is_error(res)) return res;
80lean_dec_ref(res);
81res = initialize_Lean_Elab_App(builtin, lean_io_mk_world());
82if (lean_io_result_is_error(res)) return res;
83lean_dec_ref(res);
84res = initialize_Lean_Elab_Binders(builtin, lean_io_mk_world());
85if (lean_io_result_is_error(res)) return res;
86lean_dec_ref(res);
87res = initialize_Lean_Elab_LetRec(builtin, lean_io_mk_world());
88if (lean_io_result_is_error(res)) return res;
89lean_dec_ref(res);
90res = initialize_Lean_Elab_Frontend(builtin, lean_io_mk_world());
91if (lean_io_result_is_error(res)) return res;
92lean_dec_ref(res);
93res = initialize_Lean_Elab_BuiltinNotation(builtin, lean_io_mk_world());
94if (lean_io_result_is_error(res)) return res;
95lean_dec_ref(res);
96res = initialize_Lean_Elab_Declaration(builtin, lean_io_mk_world());
97if (lean_io_result_is_error(res)) return res;
98lean_dec_ref(res);
99res = initialize_Lean_Elab_Tactic(builtin, lean_io_mk_world());
100if (lean_io_result_is_error(res)) return res;
101lean_dec_ref(res);
102res = initialize_Lean_Elab_Match(builtin, lean_io_mk_world());
103if (lean_io_result_is_error(res)) return res;
104lean_dec_ref(res);
105res = initialize_Lean_Elab_Quotation(builtin, lean_io_mk_world());
106if (lean_io_result_is_error(res)) return res;
107lean_dec_ref(res);
108res = initialize_Lean_Elab_Syntax(builtin, lean_io_mk_world());
109if (lean_io_result_is_error(res)) return res;
110lean_dec_ref(res);
111res = initialize_Lean_Elab_Do(builtin, lean_io_mk_world());
112if (lean_io_result_is_error(res)) return res;
113lean_dec_ref(res);
114res = initialize_Lean_Elab_StructInst(builtin, lean_io_mk_world());
115if (lean_io_result_is_error(res)) return res;
116lean_dec_ref(res);
117res = initialize_Lean_Elab_Inductive(builtin, lean_io_mk_world());
118if (lean_io_result_is_error(res)) return res;
119lean_dec_ref(res);
120res = initialize_Lean_Elab_Structure(builtin, lean_io_mk_world());
121if (lean_io_result_is_error(res)) return res;
122lean_dec_ref(res);
123res = initialize_Lean_Elab_Print(builtin, lean_io_mk_world());
124if (lean_io_result_is_error(res)) return res;
125lean_dec_ref(res);
126res = initialize_Lean_Elab_MutualDef(builtin, lean_io_mk_world());
127if (lean_io_result_is_error(res)) return res;
128lean_dec_ref(res);
129res = initialize_Lean_Elab_AuxDef(builtin, lean_io_mk_world());
130if (lean_io_result_is_error(res)) return res;
131lean_dec_ref(res);
132res = initialize_Lean_Elab_PreDefinition(builtin, lean_io_mk_world());
133if (lean_io_result_is_error(res)) return res;
134lean_dec_ref(res);
135res = initialize_Lean_Elab_Deriving(builtin, lean_io_mk_world());
136if (lean_io_result_is_error(res)) return res;
137lean_dec_ref(res);
138res = initialize_Lean_Elab_DeclarationRange(builtin, lean_io_mk_world());
139if (lean_io_result_is_error(res)) return res;
140lean_dec_ref(res);
141res = initialize_Lean_Elab_Extra(builtin, lean_io_mk_world());
142if (lean_io_result_is_error(res)) return res;
143lean_dec_ref(res);
144res = initialize_Lean_Elab_GenInjective(builtin, lean_io_mk_world());
145if (lean_io_result_is_error(res)) return res;
146lean_dec_ref(res);
147res = initialize_Lean_Elab_BuiltinTerm(builtin, lean_io_mk_world());
148if (lean_io_result_is_error(res)) return res;
149lean_dec_ref(res);
150res = initialize_Lean_Elab_Arg(builtin, lean_io_mk_world());
151if (lean_io_result_is_error(res)) return res;
152lean_dec_ref(res);
153res = initialize_Lean_Elab_PatternVar(builtin, lean_io_mk_world());
154if (lean_io_result_is_error(res)) return res;
155lean_dec_ref(res);
156res = initialize_Lean_Elab_ElabRules(builtin, lean_io_mk_world());
157if (lean_io_result_is_error(res)) return res;
158lean_dec_ref(res);
159res = initialize_Lean_Elab_Macro(builtin, lean_io_mk_world());
160if (lean_io_result_is_error(res)) return res;
161lean_dec_ref(res);
162res = initialize_Lean_Elab_Notation(builtin, lean_io_mk_world());
163if (lean_io_result_is_error(res)) return res;
164lean_dec_ref(res);
165res = initialize_Lean_Elab_Mixfix(builtin, lean_io_mk_world());
166if (lean_io_result_is_error(res)) return res;
167lean_dec_ref(res);
168res = initialize_Lean_Elab_MacroRules(builtin, lean_io_mk_world());
169if (lean_io_result_is_error(res)) return res;
170lean_dec_ref(res);
171res = initialize_Lean_Elab_BuiltinCommand(builtin, lean_io_mk_world());
172if (lean_io_result_is_error(res)) return res;
173lean_dec_ref(res);
174res = initialize_Lean_Elab_RecAppSyntax(builtin, lean_io_mk_world());
175if (lean_io_result_is_error(res)) return res;
176lean_dec_ref(res);
177res = initialize_Lean_Elab_Eval(builtin, lean_io_mk_world());
178if (lean_io_result_is_error(res)) return res;
179lean_dec_ref(res);
180res = initialize_Lean_Elab_Calc(builtin, lean_io_mk_world());
181if (lean_io_result_is_error(res)) return res;
182lean_dec_ref(res);
183res = initialize_Lean_Elab_InheritDoc(builtin, lean_io_mk_world());
184if (lean_io_result_is_error(res)) return res;
185lean_dec_ref(res);
186res = initialize_Lean_Elab_ParseImportsFast(builtin, lean_io_mk_world());
187if (lean_io_result_is_error(res)) return res;
188lean_dec_ref(res);
189return lean_io_result_mk_ok(lean_box(0));
190}
191#ifdef __cplusplus
192}
193#endif
194