1// Lean compiler output
2// Module: Lake.Version
3// Imports: Init
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
16static lean_object* l_Lake_uiVersionString___closed__4;
17static lean_object* l_Lake_uiVersionString___closed__1;
18LEAN_EXPORT lean_object* l_Lake_versionStringCore;
19static lean_object* l_Lake_uiVersionString___closed__7;
20static lean_object* l_Lake_versionString___closed__4;
21static uint8_t l_Lake_version_isRelease___closed__1;
22static lean_object* l_Lake_versionStringCore___closed__8;
23static lean_object* l_Lake_uiVersionString___closed__3;
24static lean_object* l_Lake_versionStringCore___closed__7;
25LEAN_EXPORT lean_object* l_Lake_version_specialDesc;
26LEAN_EXPORT lean_object* l_Lake_versionString;
27uint8_t lean_string_dec_eq(lean_object*, lean_object*);
28static lean_object* l_Lake_version_specialDesc___closed__3;
29static lean_object* l_Lake_versionStringCore___closed__9;
30static lean_object* l_Lake_versionStringCore___closed__5;
31static lean_object* l_Lake_versionStringCore___closed__10;
32static lean_object* l_Lake_versionStringCore___closed__1;
33static lean_object* l_Lake_versionStringCore___closed__6;
34static lean_object* l_Lake_uiVersionString___closed__5;
35uint8_t l_instDecidableNot___rarg(uint8_t);
36static uint8_t l_Lake_versionString___closed__1;
37static lean_object* l_Lake_version_specialDesc___closed__1;
38static lean_object* l_Lake_version_specialDesc___closed__2;
39extern lean_object* l_Lean_versionString;
40static lean_object* l_Lake_versionStringCore___closed__4;
41static lean_object* l_Lake_versionStringCore___closed__3;
42static lean_object* l_Lake_versionString___closed__6;
43LEAN_EXPORT lean_object* l_Lake_version_patch;
44static lean_object* l_Lake_versionString___closed__7;
45static lean_object* l_Lake_versionString___closed__8;
46LEAN_EXPORT lean_object* l_Lake_version_minor;
47LEAN_EXPORT uint8_t l_Lake_version_isRelease;
48static lean_object* l_Lake_versionStringCore___closed__2;
49static lean_object* l_Lake_versionString___closed__3;
50static lean_object* l_Lake_uiVersionString___closed__2;
51LEAN_EXPORT uint8_t l_Lake_version_isPrerelease;
52LEAN_EXPORT lean_object* l_Lake_version_major;
53static uint8_t l_Lake_versionString___closed__2;
54lean_object* lean_string_append(lean_object*, lean_object*);
55static lean_object* l_Lake_versionString___closed__5;
56lean_object* l_Nat_repr(lean_object*);
57LEAN_EXPORT lean_object* l_Lake_uiVersionString;
58static lean_object* l_Lake_uiVersionString___closed__6;
59static lean_object* _init_l_Lake_version_major() {
60_start:
61{
62lean_object* x_1;
63x_1 = lean_unsigned_to_nat(4u);
64return x_1;
65}
66}
67static lean_object* _init_l_Lake_version_minor() {
68_start:
69{
70lean_object* x_1;
71x_1 = lean_unsigned_to_nat(1u);
72return x_1;
73}
74}
75static lean_object* _init_l_Lake_version_patch() {
76_start:
77{
78lean_object* x_1;
79x_1 = lean_unsigned_to_nat(0u);
80return x_1;
81}
82}
83static uint8_t _init_l_Lake_version_isPrerelease() {
84_start:
85{
86uint8_t x_1;
87x_1 = 1;
88return x_1;
89}
90}
91static uint8_t _init_l_Lake_version_isRelease___closed__1() {
92_start:
93{
94uint8_t x_1;
95x_1 = l_Lake_version_isPrerelease;
96if (x_1 == 0)
97{
98uint8_t x_2;
99x_2 = 1;
100return x_2;
101}
102else
103{
104uint8_t x_3;
105x_3 = 0;
106return x_3;
107}
108}
109}
110static uint8_t _init_l_Lake_version_isRelease() {
111_start:
112{
113uint8_t x_1;
114x_1 = l_Lake_version_isRelease___closed__1;
115return x_1;
116}
117}
118static lean_object* _init_l_Lake_version_specialDesc___closed__1() {
119_start:
120{
121lean_object* x_1;
122x_1 = lean_mk_string_from_bytes("", 0);
123return x_1;
124}
125}
126static lean_object* _init_l_Lake_version_specialDesc___closed__2() {
127_start:
128{
129lean_object* x_1;
130x_1 = lean_mk_string_from_bytes("pre", 3);
131return x_1;
132}
133}
134static lean_object* _init_l_Lake_version_specialDesc___closed__3() {
135_start:
136{
137uint8_t x_1;
138x_1 = l_Lake_version_isPrerelease;
139if (x_1 == 0)
140{
141lean_object* x_2;
142x_2 = l_Lake_version_specialDesc___closed__1;
143return x_2;
144}
145else
146{
147lean_object* x_3;
148x_3 = l_Lake_version_specialDesc___closed__2;
149return x_3;
150}
151}
152}
153static lean_object* _init_l_Lake_version_specialDesc() {
154_start:
155{
156lean_object* x_1;
157x_1 = l_Lake_version_specialDesc___closed__3;
158return x_1;
159}
160}
161static lean_object* _init_l_Lake_versionStringCore___closed__1() {
162_start:
163{
164lean_object* x_1; lean_object* x_2;
165x_1 = l_Lake_version_major;
166x_2 = l_Nat_repr(x_1);
167return x_2;
168}
169}
170static lean_object* _init_l_Lake_versionStringCore___closed__2() {
171_start:
172{
173lean_object* x_1; lean_object* x_2; lean_object* x_3;
174x_1 = l_Lake_version_specialDesc___closed__1;
175x_2 = l_Lake_versionStringCore___closed__1;
176x_3 = lean_string_append(x_1, x_2);
177return x_3;
178}
179}
180static lean_object* _init_l_Lake_versionStringCore___closed__3() {
181_start:
182{
183lean_object* x_1;
184x_1 = lean_mk_string_from_bytes(".", 1);
185return x_1;
186}
187}
188static lean_object* _init_l_Lake_versionStringCore___closed__4() {
189_start:
190{
191lean_object* x_1; lean_object* x_2; lean_object* x_3;
192x_1 = l_Lake_versionStringCore___closed__2;
193x_2 = l_Lake_versionStringCore___closed__3;
194x_3 = lean_string_append(x_1, x_2);
195return x_3;
196}
197}
198static lean_object* _init_l_Lake_versionStringCore___closed__5() {
199_start:
200{
201lean_object* x_1; lean_object* x_2;
202x_1 = l_Lake_version_minor;
203x_2 = l_Nat_repr(x_1);
204return x_2;
205}
206}
207static lean_object* _init_l_Lake_versionStringCore___closed__6() {
208_start:
209{
210lean_object* x_1; lean_object* x_2; lean_object* x_3;
211x_1 = l_Lake_versionStringCore___closed__4;
212x_2 = l_Lake_versionStringCore___closed__5;
213x_3 = lean_string_append(x_1, x_2);
214return x_3;
215}
216}
217static lean_object* _init_l_Lake_versionStringCore___closed__7() {
218_start:
219{
220lean_object* x_1; lean_object* x_2; lean_object* x_3;
221x_1 = l_Lake_versionStringCore___closed__6;
222x_2 = l_Lake_versionStringCore___closed__3;
223x_3 = lean_string_append(x_1, x_2);
224return x_3;
225}
226}
227static lean_object* _init_l_Lake_versionStringCore___closed__8() {
228_start:
229{
230lean_object* x_1; lean_object* x_2;
231x_1 = l_Lake_version_patch;
232x_2 = l_Nat_repr(x_1);
233return x_2;
234}
235}
236static lean_object* _init_l_Lake_versionStringCore___closed__9() {
237_start:
238{
239lean_object* x_1; lean_object* x_2; lean_object* x_3;
240x_1 = l_Lake_versionStringCore___closed__7;
241x_2 = l_Lake_versionStringCore___closed__8;
242x_3 = lean_string_append(x_1, x_2);
243return x_3;
244}
245}
246static lean_object* _init_l_Lake_versionStringCore___closed__10() {
247_start:
248{
249lean_object* x_1; lean_object* x_2; lean_object* x_3;
250x_1 = l_Lake_versionStringCore___closed__9;
251x_2 = l_Lake_version_specialDesc___closed__1;
252x_3 = lean_string_append(x_1, x_2);
253return x_3;
254}
255}
256static lean_object* _init_l_Lake_versionStringCore() {
257_start:
258{
259lean_object* x_1;
260x_1 = l_Lake_versionStringCore___closed__10;
261return x_1;
262}
263}
264static uint8_t _init_l_Lake_versionString___closed__1() {
265_start:
266{
267lean_object* x_1; lean_object* x_2; uint8_t x_3;
268x_1 = l_Lake_version_specialDesc;
269x_2 = l_Lake_version_specialDesc___closed__1;
270x_3 = lean_string_dec_eq(x_1, x_2);
271return x_3;
272}
273}
274static uint8_t _init_l_Lake_versionString___closed__2() {
275_start:
276{
277uint8_t x_1; uint8_t x_2;
278x_1 = l_Lake_versionString___closed__1;
279x_2 = l_instDecidableNot___rarg(x_1);
280return x_2;
281}
282}
283static lean_object* _init_l_Lake_versionString___closed__3() {
284_start:
285{
286lean_object* x_1; lean_object* x_2; lean_object* x_3;
287x_1 = l_Lake_version_specialDesc___closed__1;
288x_2 = l_Lake_versionStringCore;
289x_3 = lean_string_append(x_1, x_2);
290return x_3;
291}
292}
293static lean_object* _init_l_Lake_versionString___closed__4() {
294_start:
295{
296lean_object* x_1;
297x_1 = lean_mk_string_from_bytes("-", 1);
298return x_1;
299}
300}
301static lean_object* _init_l_Lake_versionString___closed__5() {
302_start:
303{
304lean_object* x_1; lean_object* x_2; lean_object* x_3;
305x_1 = l_Lake_versionString___closed__3;
306x_2 = l_Lake_versionString___closed__4;
307x_3 = lean_string_append(x_1, x_2);
308return x_3;
309}
310}
311static lean_object* _init_l_Lake_versionString___closed__6() {
312_start:
313{
314lean_object* x_1; lean_object* x_2; lean_object* x_3;
315x_1 = l_Lake_versionString___closed__5;
316x_2 = l_Lake_version_specialDesc;
317x_3 = lean_string_append(x_1, x_2);
318return x_3;
319}
320}
321static lean_object* _init_l_Lake_versionString___closed__7() {
322_start:
323{
324lean_object* x_1; lean_object* x_2; lean_object* x_3;
325x_1 = l_Lake_versionString___closed__6;
326x_2 = l_Lake_version_specialDesc___closed__1;
327x_3 = lean_string_append(x_1, x_2);
328return x_3;
329}
330}
331static lean_object* _init_l_Lake_versionString___closed__8() {
332_start:
333{
334uint8_t x_1;
335x_1 = l_Lake_versionString___closed__2;
336if (x_1 == 0)
337{
338lean_object* x_2;
339x_2 = l_Lake_versionStringCore;
340return x_2;
341}
342else
343{
344lean_object* x_3;
345x_3 = l_Lake_versionString___closed__7;
346return x_3;
347}
348}
349}
350static lean_object* _init_l_Lake_versionString() {
351_start:
352{
353lean_object* x_1;
354x_1 = l_Lake_versionString___closed__8;
355return x_1;
356}
357}
358static lean_object* _init_l_Lake_uiVersionString___closed__1() {
359_start:
360{
361lean_object* x_1;
362x_1 = lean_mk_string_from_bytes("Lake version ", 13);
363return x_1;
364}
365}
366static lean_object* _init_l_Lake_uiVersionString___closed__2() {
367_start:
368{
369lean_object* x_1; lean_object* x_2; lean_object* x_3;
370x_1 = l_Lake_uiVersionString___closed__1;
371x_2 = l_Lake_versionString;
372x_3 = lean_string_append(x_1, x_2);
373return x_3;
374}
375}
376static lean_object* _init_l_Lake_uiVersionString___closed__3() {
377_start:
378{
379lean_object* x_1;
380x_1 = lean_mk_string_from_bytes(" (Lean version ", 15);
381return x_1;
382}
383}
384static lean_object* _init_l_Lake_uiVersionString___closed__4() {
385_start:
386{
387lean_object* x_1; lean_object* x_2; lean_object* x_3;
388x_1 = l_Lake_uiVersionString___closed__2;
389x_2 = l_Lake_uiVersionString___closed__3;
390x_3 = lean_string_append(x_1, x_2);
391return x_3;
392}
393}
394static lean_object* _init_l_Lake_uiVersionString___closed__5() {
395_start:
396{
397lean_object* x_1; lean_object* x_2; lean_object* x_3;
398x_1 = l_Lake_uiVersionString___closed__4;
399x_2 = l_Lean_versionString;
400x_3 = lean_string_append(x_1, x_2);
401return x_3;
402}
403}
404static lean_object* _init_l_Lake_uiVersionString___closed__6() {
405_start:
406{
407lean_object* x_1;
408x_1 = lean_mk_string_from_bytes(")", 1);
409return x_1;
410}
411}
412static lean_object* _init_l_Lake_uiVersionString___closed__7() {
413_start:
414{
415lean_object* x_1; lean_object* x_2; lean_object* x_3;
416x_1 = l_Lake_uiVersionString___closed__5;
417x_2 = l_Lake_uiVersionString___closed__6;
418x_3 = lean_string_append(x_1, x_2);
419return x_3;
420}
421}
422static lean_object* _init_l_Lake_uiVersionString() {
423_start:
424{
425lean_object* x_1;
426x_1 = l_Lake_uiVersionString___closed__7;
427return x_1;
428}
429}
430lean_object* initialize_Init(uint8_t builtin, lean_object*);
431static bool _G_initialized = false;
432LEAN_EXPORT lean_object* initialize_Lake_Version(uint8_t builtin, lean_object* w) {
433lean_object * res;
434if (_G_initialized) return lean_io_result_mk_ok(lean_box(0));
435_G_initialized = true;
436res = initialize_Init(builtin, lean_io_mk_world());
437if (lean_io_result_is_error(res)) return res;
438lean_dec_ref(res);
439l_Lake_version_major = _init_l_Lake_version_major();
440lean_mark_persistent(l_Lake_version_major);
441l_Lake_version_minor = _init_l_Lake_version_minor();
442lean_mark_persistent(l_Lake_version_minor);
443l_Lake_version_patch = _init_l_Lake_version_patch();
444lean_mark_persistent(l_Lake_version_patch);
445l_Lake_version_isPrerelease = _init_l_Lake_version_isPrerelease();
446l_Lake_version_isRelease___closed__1 = _init_l_Lake_version_isRelease___closed__1();
447l_Lake_version_isRelease = _init_l_Lake_version_isRelease();
448l_Lake_version_specialDesc___closed__1 = _init_l_Lake_version_specialDesc___closed__1();
449lean_mark_persistent(l_Lake_version_specialDesc___closed__1);
450l_Lake_version_specialDesc___closed__2 = _init_l_Lake_version_specialDesc___closed__2();
451lean_mark_persistent(l_Lake_version_specialDesc___closed__2);
452l_Lake_version_specialDesc___closed__3 = _init_l_Lake_version_specialDesc___closed__3();
453lean_mark_persistent(l_Lake_version_specialDesc___closed__3);
454l_Lake_version_specialDesc = _init_l_Lake_version_specialDesc();
455lean_mark_persistent(l_Lake_version_specialDesc);
456l_Lake_versionStringCore___closed__1 = _init_l_Lake_versionStringCore___closed__1();
457lean_mark_persistent(l_Lake_versionStringCore___closed__1);
458l_Lake_versionStringCore___closed__2 = _init_l_Lake_versionStringCore___closed__2();
459lean_mark_persistent(l_Lake_versionStringCore___closed__2);
460l_Lake_versionStringCore___closed__3 = _init_l_Lake_versionStringCore___closed__3();
461lean_mark_persistent(l_Lake_versionStringCore___closed__3);
462l_Lake_versionStringCore___closed__4 = _init_l_Lake_versionStringCore___closed__4();
463lean_mark_persistent(l_Lake_versionStringCore___closed__4);
464l_Lake_versionStringCore___closed__5 = _init_l_Lake_versionStringCore___closed__5();
465lean_mark_persistent(l_Lake_versionStringCore___closed__5);
466l_Lake_versionStringCore___closed__6 = _init_l_Lake_versionStringCore___closed__6();
467lean_mark_persistent(l_Lake_versionStringCore___closed__6);
468l_Lake_versionStringCore___closed__7 = _init_l_Lake_versionStringCore___closed__7();
469lean_mark_persistent(l_Lake_versionStringCore___closed__7);
470l_Lake_versionStringCore___closed__8 = _init_l_Lake_versionStringCore___closed__8();
471lean_mark_persistent(l_Lake_versionStringCore___closed__8);
472l_Lake_versionStringCore___closed__9 = _init_l_Lake_versionStringCore___closed__9();
473lean_mark_persistent(l_Lake_versionStringCore___closed__9);
474l_Lake_versionStringCore___closed__10 = _init_l_Lake_versionStringCore___closed__10();
475lean_mark_persistent(l_Lake_versionStringCore___closed__10);
476l_Lake_versionStringCore = _init_l_Lake_versionStringCore();
477lean_mark_persistent(l_Lake_versionStringCore);
478l_Lake_versionString___closed__1 = _init_l_Lake_versionString___closed__1();
479l_Lake_versionString___closed__2 = _init_l_Lake_versionString___closed__2();
480l_Lake_versionString___closed__3 = _init_l_Lake_versionString___closed__3();
481lean_mark_persistent(l_Lake_versionString___closed__3);
482l_Lake_versionString___closed__4 = _init_l_Lake_versionString___closed__4();
483lean_mark_persistent(l_Lake_versionString___closed__4);
484l_Lake_versionString___closed__5 = _init_l_Lake_versionString___closed__5();
485lean_mark_persistent(l_Lake_versionString___closed__5);
486l_Lake_versionString___closed__6 = _init_l_Lake_versionString___closed__6();
487lean_mark_persistent(l_Lake_versionString___closed__6);
488l_Lake_versionString___closed__7 = _init_l_Lake_versionString___closed__7();
489lean_mark_persistent(l_Lake_versionString___closed__7);
490l_Lake_versionString___closed__8 = _init_l_Lake_versionString___closed__8();
491lean_mark_persistent(l_Lake_versionString___closed__8);
492l_Lake_versionString = _init_l_Lake_versionString();
493lean_mark_persistent(l_Lake_versionString);
494l_Lake_uiVersionString___closed__1 = _init_l_Lake_uiVersionString___closed__1();
495lean_mark_persistent(l_Lake_uiVersionString___closed__1);
496l_Lake_uiVersionString___closed__2 = _init_l_Lake_uiVersionString___closed__2();
497lean_mark_persistent(l_Lake_uiVersionString___closed__2);
498l_Lake_uiVersionString___closed__3 = _init_l_Lake_uiVersionString___closed__3();
499lean_mark_persistent(l_Lake_uiVersionString___closed__3);
500l_Lake_uiVersionString___closed__4 = _init_l_Lake_uiVersionString___closed__4();
501lean_mark_persistent(l_Lake_uiVersionString___closed__4);
502l_Lake_uiVersionString___closed__5 = _init_l_Lake_uiVersionString___closed__5();
503lean_mark_persistent(l_Lake_uiVersionString___closed__5);
504l_Lake_uiVersionString___closed__6 = _init_l_Lake_uiVersionString___closed__6();
505lean_mark_persistent(l_Lake_uiVersionString___closed__6);
506l_Lake_uiVersionString___closed__7 = _init_l_Lake_uiVersionString___closed__7();
507lean_mark_persistent(l_Lake_uiVersionString___closed__7);
508l_Lake_uiVersionString = _init_l_Lake_uiVersionString();
509lean_mark_persistent(l_Lake_uiVersionString);
510return lean_io_result_mk_ok(lean_box(0));
511}
512#ifdef __cplusplus
513}
514#endif
515