chore: update stage0
This commit is contained in:
Sebastian Ullrich
parent
d7e35c77ca
commit
22152b8bfb
5 changed files with 5130 additions and 1267 deletions
279
stage0/stdlib/Init/Grind/Ring/Poly.c
generated
279
stage0/stdlib/Init/Grind/Ring/Poly.c
generated
|
|
@ -59,13 +59,16 @@ LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing
|
|||
static lean_object* l_Lean_Grind_CommRing_reprPower___redArg___closed__5____x40_Init_Grind_Ring_Poly___hyg_1255_;
|
||||
LEAN_EXPORT uint8_t l_Lean_Grind_CommRing_Stepwise_d__step1__certC(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing_Mon_denote_match__1_splitter(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Poly_normEq0(lean_object*, lean_object*);
|
||||
LEAN_EXPORT uint8_t l_Lean_Grind_CommRing_NullCert_eq__unsat__certC(lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Grind_CommRing_instReprPoly___closed__0;
|
||||
LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing_Expr_denote_match__1_splitter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing_Poly_combine_go_match__1_splitter___redArg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_NullCert_denote___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_reprMon____x40_Init_Grind_Ring_Poly___hyg_1704____boxed(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_eq__gcd__cert___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing_Poly_insert_go_match__1_splitter(lean_object*, uint8_t, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing_eq__gcd__cert_match__1_splitter(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Grind_CommRing_reprPower___redArg___closed__3____x40_Init_Grind_Ring_Poly___hyg_1255_;
|
||||
lean_object* lean_int_emod(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Mon_ofVar(lean_object*);
|
||||
|
|
@ -137,6 +140,7 @@ LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Mon_revlexWF___boxed(lean_object*
|
|||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_NullCert_eq__certC___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT uint8_t l_Lean_Grind_CommRing_Stepwise_imp__keq__certC(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Poly_mulMon(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_eq__normEq0__cert___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* lean_nat_to_int(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_reprExpr____x40_Init_Grind_Ring_Poly___hyg_593____boxed(lean_object*, lean_object*);
|
||||
LEAN_EXPORT uint64_t l_Lean_Grind_CommRing_hashPower____x40_Init_Grind_Ring_Poly___hyg_1324_(lean_object*);
|
||||
|
|
@ -144,6 +148,7 @@ LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Stepwise_unsat__eq__certC___boxed
|
|||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Stepwise_simp__certC___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Grind_CommRing_reprExpr___closed__1____x40_Init_Grind_Ring_Poly___hyg_593_;
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Stepwise_imp__keq__cert___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing_reprPoly_match__1_splitter____x40_Init_Grind_Ring_Poly___hyg_4621_(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Grind_CommRing_reprExpr___closed__7____x40_Init_Grind_Ring_Poly___hyg_593_;
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Poly_mulConstC_go(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Ordering_then_match__1_splitter___redArg___boxed(lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -207,6 +212,7 @@ LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_hashExpr____x40_Init_Grind_Ring_P
|
|||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Power_denote___redArg___boxed(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing_Power_denote_match__1_splitter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Var_denote___boxed(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT uint8_t l_Lean_Grind_CommRing_eq__gcd__cert(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Expr_toPolyC(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Grind_CommRing_reprExpr___closed__5____x40_Init_Grind_Ring_Poly___hyg_593_;
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Poly_addConst___boxed(lean_object*, lean_object*);
|
||||
|
|
@ -222,6 +228,7 @@ LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Expr_denote___boxed(lean_object*,
|
|||
LEAN_EXPORT uint8_t l_Lean_Grind_CommRing_beqPower____x40_Init_Grind_Ring_Poly___hyg_1181_(lean_object*, lean_object*);
|
||||
LEAN_EXPORT uint8_t l_Lean_Grind_CommRing_Stepwise_core__certC(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Poly_insert_go(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing_reprPoly_match__1_splitter___redArg____x40_Init_Grind_Ring_Poly___hyg_4621_(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_instHashablePoly;
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Mon_length___boxed(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_reprPower____x40_Init_Grind_Ring_Poly___hyg_1255_(lean_object*, lean_object*);
|
||||
|
|
@ -246,6 +253,7 @@ LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Mon_revlex___boxed(lean_object*,
|
|||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Poly_insertC_go(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Poly_addConst_go___boxed(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Ordering_then_match__1_splitter___redArg(uint8_t, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing_eq__gcd__cert_match__1_splitter___redArg(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Poly_denote(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Grind_CommRing_reprExpr___closed__2____x40_Init_Grind_Ring_Poly___hyg_593_;
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Power_varLt___boxed(lean_object*, lean_object*);
|
||||
|
|
@ -267,6 +275,7 @@ LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing
|
|||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Poly_denoteAsIntModule___redArg___boxed(lean_object*, lean_object*, lean_object*);
|
||||
uint8_t lean_nat_dec_eq(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing_Mon_mul_go_match__1_splitter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT uint8_t l_Lean_Grind_CommRing_eq__normEq0__cert(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Poly_denote___redArg(lean_object*, lean_object*, lean_object*);
|
||||
uint8_t lean_nat_dec_lt(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Poly_combineC_go(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -5294,6 +5303,104 @@ return x_50;
|
|||
}
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Poly_normEq0(lean_object* x_1, lean_object* x_2) {
|
||||
_start:
|
||||
{
|
||||
if (lean_obj_tag(x_1) == 0)
|
||||
{
|
||||
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; uint8_t x_7;
|
||||
x_3 = lean_ctor_get(x_1, 0);
|
||||
lean_inc(x_3);
|
||||
x_4 = lean_nat_to_int(x_2);
|
||||
x_5 = lean_int_emod(x_3, x_4);
|
||||
lean_dec(x_4);
|
||||
lean_dec(x_3);
|
||||
x_6 = l_Lean_Grind_CommRing_instInhabitedExpr___closed__0;
|
||||
x_7 = lean_int_dec_eq(x_5, x_6);
|
||||
lean_dec(x_5);
|
||||
if (x_7 == 0)
|
||||
{
|
||||
return x_1;
|
||||
}
|
||||
else
|
||||
{
|
||||
lean_object* x_8;
|
||||
lean_dec(x_1);
|
||||
x_8 = l_Lean_Grind_CommRing_instInhabitedPoly___closed__0;
|
||||
return x_8;
|
||||
}
|
||||
}
|
||||
else
|
||||
{
|
||||
uint8_t x_9;
|
||||
x_9 = !lean_is_exclusive(x_1);
|
||||
if (x_9 == 0)
|
||||
{
|
||||
lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; uint8_t x_16;
|
||||
x_10 = lean_ctor_get(x_1, 0);
|
||||
x_11 = lean_ctor_get(x_1, 1);
|
||||
x_12 = lean_ctor_get(x_1, 2);
|
||||
lean_inc(x_2);
|
||||
x_13 = lean_nat_to_int(x_2);
|
||||
x_14 = lean_int_emod(x_10, x_13);
|
||||
lean_dec(x_13);
|
||||
x_15 = l_Lean_Grind_CommRing_instInhabitedExpr___closed__0;
|
||||
x_16 = lean_int_dec_eq(x_14, x_15);
|
||||
lean_dec(x_14);
|
||||
if (x_16 == 0)
|
||||
{
|
||||
lean_object* x_17;
|
||||
x_17 = l_Lean_Grind_CommRing_Poly_normEq0(x_12, x_2);
|
||||
lean_ctor_set(x_1, 2, x_17);
|
||||
return x_1;
|
||||
}
|
||||
else
|
||||
{
|
||||
lean_free_object(x_1);
|
||||
lean_dec(x_11);
|
||||
lean_dec(x_10);
|
||||
x_1 = x_12;
|
||||
goto _start;
|
||||
}
|
||||
}
|
||||
else
|
||||
{
|
||||
lean_object* x_19; lean_object* x_20; lean_object* x_21; lean_object* x_22; lean_object* x_23; lean_object* x_24; uint8_t x_25;
|
||||
x_19 = lean_ctor_get(x_1, 0);
|
||||
x_20 = lean_ctor_get(x_1, 1);
|
||||
x_21 = lean_ctor_get(x_1, 2);
|
||||
lean_inc(x_21);
|
||||
lean_inc(x_20);
|
||||
lean_inc(x_19);
|
||||
lean_dec(x_1);
|
||||
lean_inc(x_2);
|
||||
x_22 = lean_nat_to_int(x_2);
|
||||
x_23 = lean_int_emod(x_19, x_22);
|
||||
lean_dec(x_22);
|
||||
x_24 = l_Lean_Grind_CommRing_instInhabitedExpr___closed__0;
|
||||
x_25 = lean_int_dec_eq(x_23, x_24);
|
||||
lean_dec(x_23);
|
||||
if (x_25 == 0)
|
||||
{
|
||||
lean_object* x_26; lean_object* x_27;
|
||||
x_26 = l_Lean_Grind_CommRing_Poly_normEq0(x_21, x_2);
|
||||
x_27 = lean_alloc_ctor(1, 3, 0);
|
||||
lean_ctor_set(x_27, 0, x_19);
|
||||
lean_ctor_set(x_27, 1, x_20);
|
||||
lean_ctor_set(x_27, 2, x_26);
|
||||
return x_27;
|
||||
}
|
||||
else
|
||||
{
|
||||
lean_dec(x_20);
|
||||
lean_dec(x_19);
|
||||
x_1 = x_21;
|
||||
goto _start;
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_Poly_addConstC(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -8554,6 +8661,178 @@ x_3 = lean_box(x_2);
|
|||
return x_3;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing_reprPoly_match__1_splitter___redArg____x40_Init_Grind_Ring_Poly___hyg_4621_(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
_start:
|
||||
{
|
||||
if (lean_obj_tag(x_1) == 0)
|
||||
{
|
||||
lean_object* x_4; lean_object* x_5;
|
||||
lean_dec(x_3);
|
||||
x_4 = lean_ctor_get(x_1, 0);
|
||||
lean_inc(x_4);
|
||||
lean_dec(x_1);
|
||||
x_5 = lean_apply_1(x_2, x_4);
|
||||
return x_5;
|
||||
}
|
||||
else
|
||||
{
|
||||
lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9;
|
||||
lean_dec(x_2);
|
||||
x_6 = lean_ctor_get(x_1, 0);
|
||||
lean_inc(x_6);
|
||||
x_7 = lean_ctor_get(x_1, 1);
|
||||
lean_inc(x_7);
|
||||
x_8 = lean_ctor_get(x_1, 2);
|
||||
lean_inc(x_8);
|
||||
lean_dec(x_1);
|
||||
x_9 = lean_apply_3(x_3, x_6, x_7, x_8);
|
||||
return x_9;
|
||||
}
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing_reprPoly_match__1_splitter____x40_Init_Grind_Ring_Poly___hyg_4621_(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_5;
|
||||
x_5 = l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing_reprPoly_match__1_splitter___redArg____x40_Init_Grind_Ring_Poly___hyg_4621_(x_2, x_3, x_4);
|
||||
return x_5;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT uint8_t l_Lean_Grind_CommRing_eq__normEq0__cert(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_5; lean_object* x_6; uint8_t x_7;
|
||||
lean_inc(x_1);
|
||||
x_5 = lean_nat_to_int(x_1);
|
||||
x_6 = lean_alloc_ctor(0, 1, 0);
|
||||
lean_ctor_set(x_6, 0, x_5);
|
||||
x_7 = l_Lean_Grind_CommRing_beqPoly____x40_Init_Grind_Ring_Poly___hyg_4508_(x_2, x_6);
|
||||
lean_dec(x_6);
|
||||
if (x_7 == 0)
|
||||
{
|
||||
lean_dec(x_3);
|
||||
lean_dec(x_1);
|
||||
return x_7;
|
||||
}
|
||||
else
|
||||
{
|
||||
lean_object* x_8; uint8_t x_9;
|
||||
x_8 = l_Lean_Grind_CommRing_Poly_normEq0(x_3, x_1);
|
||||
x_9 = l_Lean_Grind_CommRing_beqPoly____x40_Init_Grind_Ring_Poly___hyg_4508_(x_4, x_8);
|
||||
lean_dec(x_8);
|
||||
return x_9;
|
||||
}
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_eq__normEq0__cert___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
|
||||
_start:
|
||||
{
|
||||
uint8_t x_5; lean_object* x_6;
|
||||
x_5 = l_Lean_Grind_CommRing_eq__normEq0__cert(x_1, x_2, x_3, x_4);
|
||||
lean_dec(x_4);
|
||||
lean_dec(x_2);
|
||||
x_6 = lean_box(x_5);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT uint8_t l_Lean_Grind_CommRing_eq__gcd__cert(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) {
|
||||
_start:
|
||||
{
|
||||
if (lean_obj_tag(x_3) == 0)
|
||||
{
|
||||
if (lean_obj_tag(x_4) == 0)
|
||||
{
|
||||
if (lean_obj_tag(x_5) == 0)
|
||||
{
|
||||
lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; uint8_t x_12;
|
||||
x_6 = lean_ctor_get(x_3, 0);
|
||||
x_7 = lean_ctor_get(x_4, 0);
|
||||
x_8 = lean_ctor_get(x_5, 0);
|
||||
x_9 = lean_int_mul(x_1, x_6);
|
||||
x_10 = lean_int_mul(x_2, x_7);
|
||||
x_11 = lean_int_add(x_9, x_10);
|
||||
lean_dec(x_10);
|
||||
lean_dec(x_9);
|
||||
x_12 = lean_int_dec_eq(x_8, x_11);
|
||||
lean_dec(x_11);
|
||||
return x_12;
|
||||
}
|
||||
else
|
||||
{
|
||||
lean_object* x_13; uint8_t x_14;
|
||||
x_13 = lean_box(0);
|
||||
x_14 = lean_unbox(x_13);
|
||||
return x_14;
|
||||
}
|
||||
}
|
||||
else
|
||||
{
|
||||
lean_object* x_15; uint8_t x_16;
|
||||
x_15 = lean_box(0);
|
||||
x_16 = lean_unbox(x_15);
|
||||
return x_16;
|
||||
}
|
||||
}
|
||||
else
|
||||
{
|
||||
lean_object* x_17; uint8_t x_18;
|
||||
x_17 = lean_box(0);
|
||||
x_18 = lean_unbox(x_17);
|
||||
return x_18;
|
||||
}
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_Grind_CommRing_eq__gcd__cert___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) {
|
||||
_start:
|
||||
{
|
||||
uint8_t x_6; lean_object* x_7;
|
||||
x_6 = l_Lean_Grind_CommRing_eq__gcd__cert(x_1, x_2, x_3, x_4, x_5);
|
||||
lean_dec(x_5);
|
||||
lean_dec(x_4);
|
||||
lean_dec(x_3);
|
||||
lean_dec(x_2);
|
||||
lean_dec(x_1);
|
||||
x_7 = lean_box(x_6);
|
||||
return x_7;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing_eq__gcd__cert_match__1_splitter___redArg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
_start:
|
||||
{
|
||||
if (lean_obj_tag(x_1) == 0)
|
||||
{
|
||||
lean_object* x_4; lean_object* x_5;
|
||||
lean_dec(x_2);
|
||||
x_4 = lean_ctor_get(x_1, 0);
|
||||
lean_inc(x_4);
|
||||
lean_dec(x_1);
|
||||
x_5 = lean_apply_1(x_3, x_4);
|
||||
return x_5;
|
||||
}
|
||||
else
|
||||
{
|
||||
lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9;
|
||||
lean_dec(x_3);
|
||||
x_6 = lean_ctor_get(x_1, 0);
|
||||
lean_inc(x_6);
|
||||
x_7 = lean_ctor_get(x_1, 1);
|
||||
lean_inc(x_7);
|
||||
x_8 = lean_ctor_get(x_1, 2);
|
||||
lean_inc(x_8);
|
||||
lean_dec(x_1);
|
||||
x_9 = lean_apply_3(x_2, x_6, x_7, x_8);
|
||||
return x_9;
|
||||
}
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing_eq__gcd__cert_match__1_splitter(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_5;
|
||||
x_5 = l___private_Init_Grind_Ring_Poly_0__Lean_Grind_CommRing_eq__gcd__cert_match__1_splitter___redArg(x_2, x_3, x_4);
|
||||
return x_5;
|
||||
}
|
||||
}
|
||||
lean_object* initialize_Init_Data_Nat_Lemmas(uint8_t builtin, lean_object*);
|
||||
lean_object* initialize_Init_Data_Hashable(uint8_t builtin, lean_object*);
|
||||
lean_object* initialize_Init_Data_Ord(uint8_t builtin, lean_object*);
|
||||
|
|
|
|||
6
stage0/stdlib/Lake/CLI/Main.c
generated
6
stage0/stdlib/Lake/CLI/Main.c
generated
|
|
@ -107,6 +107,7 @@ LEAN_EXPORT lean_object* l_Lake_lake_script_doc(lean_object*, lean_object*, lean
|
|||
lean_object* l_System_FilePath_withExtension(lean_object*, lean_object*);
|
||||
static lean_object* l_Lake_lakeCli___closed__0;
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Lake_lake_queryKind_spec__1___boxed__const__1;
|
||||
lean_object* l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__1(lean_object*);
|
||||
lean_object* l_String_split___at___Lean_stringToMessageData_spec__0(lean_object*);
|
||||
static lean_object* l_Lake_lakeCli___closed__10;
|
||||
LEAN_EXPORT lean_object* l___private_Lake_CLI_Main_0__Lake_lake_evalLeanFile___elam__0(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -219,7 +220,6 @@ LEAN_EXPORT lean_object* l_Lake_lake_pack(lean_object*, lean_object*, lean_objec
|
|||
static lean_object* l_Lake_parseTemplateLangSpec___closed__1;
|
||||
LEAN_EXPORT lean_object* l_Lake_lake_serve___lam__0(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* l_Lake_Workspace_findScript_x3f(lean_object*, lean_object*);
|
||||
lean_object* l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__1(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lake_parseTemplateSpec(lean_object*);
|
||||
static lean_object* l_Lake_lake_script_list___closed__1;
|
||||
lean_object* l_Lake_stringToLegalOrSimpleName(lean_object*);
|
||||
|
|
@ -33676,7 +33676,7 @@ _start:
|
|||
{
|
||||
lean_object* x_2; lean_object* x_3;
|
||||
x_2 = lean_array_mk(x_1);
|
||||
x_3 = l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__1(x_2);
|
||||
x_3 = l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__1(x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
|
|
@ -33871,7 +33871,7 @@ x_31 = lean_alloc_ctor(1, 2, 0);
|
|||
lean_ctor_set(x_31, 0, x_30);
|
||||
lean_ctor_set(x_31, 1, x_17);
|
||||
x_32 = l___private_Lake_CLI_Main_0__Lake_lake_toJsonReservoirConfig___closed__4____x40_Lake_CLI_Main___hyg_7208_;
|
||||
x_33 = l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__1(x_6);
|
||||
x_33 = l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__1(x_6);
|
||||
x_34 = lean_alloc_ctor(0, 2, 0);
|
||||
lean_ctor_set(x_34, 0, x_32);
|
||||
lean_ctor_set(x_34, 1, x_33);
|
||||
|
|
|
|||
4868
stage0/stdlib/Lean/Elab/Import.c
generated
4868
stage0/stdlib/Lean/Elab/Import.c
generated
File diff suppressed because it is too large
Load diff
408
stage0/stdlib/Lean/Elab/ParseImportsFast.c
generated
408
stage0/stdlib/Lean/Elab/ParseImportsFast.c
generated
|
|
@ -14,7 +14,6 @@
|
|||
extern "C" {
|
||||
#endif
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Lean_printImportsJson_spec__0(size_t, size_t, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__1_spec__1(size_t, size_t, lean_object*);
|
||||
lean_object* lean_string_utf8_extract(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_setIsMeta___redArg___boxed(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -22,29 +21,30 @@ LEAN_EXPORT lean_object* l_Lean_ParseImports_isIdCont___boxed(lean_object*, lean
|
|||
lean_object* l_Lean_Json_compress(lean_object*);
|
||||
uint32_t lean_string_utf8_get(lean_object*, lean_object*);
|
||||
lean_object* lean_mk_empty_array_with_capacity(lean_object*);
|
||||
static lean_object* l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__2____x40_Lean_Elab_ParseImportsFast___hyg_1540_;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6___redArg(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_takeWhile___lam__0___boxed(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_takeWhile___boxed(lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__0;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__1___lam__0___boxed(lean_object*, lean_object*, lean_object*);
|
||||
lean_object* l_Lean_Json_mkObj(lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__2;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_andthen(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0___closed__0;
|
||||
LEAN_EXPORT lean_object* l_Lean_Json_opt___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__0(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_main___closed__0;
|
||||
static lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__1;
|
||||
lean_object* lean_array_push(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_setImportAll___redArg___boxed(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__1_spec__1(size_t, size_t, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keyword___lam__0___boxed(lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__2;
|
||||
LEAN_EXPORT lean_object* l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552_(lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_instInhabitedState___closed__1;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_moduleIdent_parse(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_moduleIdent___lam__0(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__1(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_isIdRestFast___boxed(lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0___closed__1;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6___redArg___boxed(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1611__spec__0_spec__0___boxed(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_setIsExported___redArg___boxed(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1599__spec__0_spec__0___boxed(lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0___closed__0;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_State_pushImport(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_keyword___lam__0___closed__0;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -52,10 +52,9 @@ static lean_object* l_Lean_parseImports_x27___closed__1;
|
|||
static lean_object* l_Lean_ParseImports_moduleIdent_parse___closed__1;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_takeUntil___boxed(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_setIsExported(uint8_t, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1599__spec__0(lean_object*);
|
||||
lean_object* lean_string_utf8_next(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___boxed(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_takeUntil(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1599_(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_setImportAll___boxed(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_takeUntil___at___Lean_ParseImports_moduleIdent_parse_spec__1___boxed(lean_object*, lean_object*);
|
||||
lean_object* l_List_flatMapTR_go___at_____private_Lean_Server_Rpc_Basic_0__Lean_Lsp_toJsonRpcRef____x40_Lean_Server_Rpc_Basic___hyg_187__spec__0(lean_object*, lean_object*);
|
||||
|
|
@ -63,17 +62,14 @@ static lean_object* l_Lean_ParseImports_whitespace___closed__0;
|
|||
uint8_t lean_uint32_dec_le(uint32_t, uint32_t);
|
||||
lean_object* l_Array_empty(lean_object*);
|
||||
LEAN_EXPORT uint8_t l_Lean_ParseImports_takeWhile___lam__0(lean_object*, uint32_t);
|
||||
LEAN_EXPORT lean_object* l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540_(lean_object*);
|
||||
lean_object* l_Array_shrink___redArg(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_whitespace(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_instAndThenParser___lam__0(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_setImportAll(uint8_t, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__1(lean_object*);
|
||||
static lean_object* l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__1____x40_Lean_Elab_ParseImportsFast___hyg_1540_;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6(lean_object*, uint8_t, uint8_t, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__3;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0___boxed(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_instInhabitedState___closed__0;
|
||||
LEAN_EXPORT lean_object* l_Lean_Json_opt___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__0(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__0;
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1611__spec__0_spec__0(size_t, size_t, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_keyword___lam__0___closed__1;
|
||||
uint8_t lean_string_utf8_at_end(lean_object*, lean_object*);
|
||||
|
|
@ -82,7 +78,6 @@ lean_object* l___private_Lean_Setup_0__Lean_toJsonModuleHeader____x40_Lean_Setup
|
|||
LEAN_EXPORT uint8_t l_Lean_ParseImports_isIdCont(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_main___closed__1;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0___boxed(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_finishCommentBlock_eoi___closed__0;
|
||||
static lean_object* l_Lean_instToJsonPrintImportsResult___closed__0;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_setIsExported___redArg(uint8_t, lean_object*);
|
||||
|
|
@ -90,6 +85,7 @@ lean_object* l_Lean_Name_str___override(lean_object*, lean_object*);
|
|||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Lean_printImportsJson_spec__0___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
uint32_t lean_string_utf8_get_fast(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_finishCommentBlock___boxed(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__6(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__1___lam__0___closed__1;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_setIsMeta___redArg(uint8_t, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_takeUntil___at___Lean_ParseImports_moduleIdent_parse_spec__0(uint8_t, uint8_t, lean_object*, lean_object*);
|
||||
|
|
@ -102,7 +98,9 @@ lean_object* l_IO_println___at___Lean_Environment_displayStats_spec__2(lean_obje
|
|||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__0(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_instToJsonPrintImportResult___closed__0;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_State_mkEOIError(lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1611_(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_setIsExported___boxed(lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__2____x40_Lean_Elab_ParseImportsFast___hyg_1552_;
|
||||
lean_object* l_IO_FS_readFile(lean_object*, lean_object*);
|
||||
uint8_t l_Lean_isLetterLike(uint32_t);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_State_next_x27___redArg___boxed(lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -113,8 +111,10 @@ LEAN_EXPORT lean_object* l_Lean_ParseImports_State_next_x27___boxed(lean_object*
|
|||
LEAN_EXPORT lean_object* l_Lean_ParseImports_isIdRestCold___boxed(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_State_mkEOIError___closed__1;
|
||||
static lean_object* l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1611_;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_setIsMeta___boxed(lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_parseImports_x27___closed__2;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__6___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_takeUntil___at___Lean_ParseImports_moduleIdent_parse_spec__1(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_State_mkError(lean_object*, lean_object*);
|
||||
uint8_t lean_nat_dec_eq(lean_object*, lean_object*);
|
||||
|
|
@ -129,8 +129,9 @@ LEAN_EXPORT lean_object* l_Lean_parseImports_x27(lean_object*, lean_object*, lea
|
|||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keyword___lam__0(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1611__spec__0(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_takeUntil___at___Lean_ParseImports_whitespace_spec__0___boxed(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* lean_nat_sub(lean_object*, lean_object*);
|
||||
|
|
@ -138,22 +139,26 @@ static lean_object* l_Lean_ParseImports_main___closed__2;
|
|||
static lean_object* l_Lean_ParseImports_whitespace___closed__1;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_finishCommentBlock(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_main(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__1;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_moduleIdent(lean_object*, lean_object*);
|
||||
lean_object* lean_string_utf8_next_fast(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_instToJsonPrintImportsResult;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7___redArg___boxed(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7(lean_object*, lean_object*, lean_object*);
|
||||
size_t lean_usize_add(size_t, size_t);
|
||||
static lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0___closed__1;
|
||||
lean_object* lean_array_uget(lean_object*, size_t);
|
||||
size_t lean_array_size(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* lean_io_error_to_string(lean_object*);
|
||||
lean_object* l_Lean_Name_mkStr1(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__1_spec__1___boxed(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT uint8_t l_Lean_ParseImports_isIdRestCold(uint32_t);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7(lean_object*, uint8_t, uint8_t, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_setIsMeta(uint8_t, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_finishCommentBlock_eoi___closed__1;
|
||||
static lean_object* l_Lean_parseImports_x27___closed__0;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0(lean_object*, lean_object*);
|
||||
lean_object* lean_string_append(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_State_mkEOIError___closed__0;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_takeUntil___at___Lean_ParseImports_moduleIdent_parse_spec__0___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -162,27 +167,25 @@ LEAN_EXPORT lean_object* l_Lean_ParseImports_State_next(lean_object*, lean_objec
|
|||
LEAN_EXPORT lean_object* l_Lean_ParseImports_instInhabitedParser___lam__0___boxed(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_instInhabitedParser___lam__0(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1599_;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_setImportAll___redArg(uint8_t, lean_object*);
|
||||
uint8_t lean_usize_dec_lt(size_t, size_t);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_instInhabitedState;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__0___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_moduleIdent___lam__0___boxed(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__1___lam__0(uint8_t, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__1_spec__1___boxed(lean_object*, lean_object*, lean_object*);
|
||||
lean_object* lean_nat_add(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_State_setPos(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_takeWhile(lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1552_;
|
||||
static lean_object* l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__1____x40_Lean_Elab_ParseImportsFast___hyg_1552_;
|
||||
LEAN_EXPORT lean_object* l_Lean_printImportsJson(lean_object*, lean_object*);
|
||||
lean_object* lean_array_uset(lean_object*, size_t, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_moduleIdent_parse___closed__2;
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_whitespace___boxed(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___boxed(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1599__spec__0_spec__0(size_t, size_t, lean_object*);
|
||||
LEAN_EXPORT uint8_t l_Lean_ParseImports_isIdRestFast(uint32_t);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7___redArg(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_State_next_x27___redArg(lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_ParseImports_keyword___closed__0;
|
||||
static lean_object* l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1540_;
|
||||
LEAN_EXPORT lean_object* l_Lean_instToJsonPrintImportResult;
|
||||
static lean_object* _init_l_Lean_ParseImports_instInhabitedState___closed__0() {
|
||||
_start:
|
||||
|
|
@ -4101,6 +4104,109 @@ return x_37;
|
|||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__3(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_6; uint8_t x_7;
|
||||
x_6 = lean_box(1);
|
||||
x_7 = lean_string_utf8_at_end(x_1, x_4);
|
||||
if (x_7 == 0)
|
||||
{
|
||||
uint8_t x_8;
|
||||
x_8 = lean_string_utf8_at_end(x_2, x_5);
|
||||
if (x_8 == 0)
|
||||
{
|
||||
uint32_t x_9; uint32_t x_10; uint8_t x_11;
|
||||
x_9 = lean_string_utf8_get_fast(x_1, x_4);
|
||||
x_10 = lean_string_utf8_get_fast(x_2, x_5);
|
||||
x_11 = lean_uint32_dec_eq(x_9, x_10);
|
||||
if (x_11 == 0)
|
||||
{
|
||||
uint8_t x_12; lean_object* x_13;
|
||||
lean_dec(x_5);
|
||||
lean_dec(x_4);
|
||||
x_12 = lean_unbox(x_6);
|
||||
x_13 = l_Lean_ParseImports_setIsExported___redArg(x_12, x_3);
|
||||
return x_13;
|
||||
}
|
||||
else
|
||||
{
|
||||
if (x_8 == 0)
|
||||
{
|
||||
lean_object* x_14; lean_object* x_15;
|
||||
x_14 = lean_string_utf8_next_fast(x_1, x_4);
|
||||
lean_dec(x_4);
|
||||
x_15 = lean_string_utf8_next_fast(x_2, x_5);
|
||||
lean_dec(x_5);
|
||||
x_4 = x_14;
|
||||
x_5 = x_15;
|
||||
goto _start;
|
||||
}
|
||||
else
|
||||
{
|
||||
uint8_t x_17; lean_object* x_18;
|
||||
lean_dec(x_5);
|
||||
lean_dec(x_4);
|
||||
x_17 = lean_unbox(x_6);
|
||||
x_18 = l_Lean_ParseImports_setIsExported___redArg(x_17, x_3);
|
||||
return x_18;
|
||||
}
|
||||
}
|
||||
}
|
||||
else
|
||||
{
|
||||
uint8_t x_19; lean_object* x_20;
|
||||
lean_dec(x_5);
|
||||
lean_dec(x_4);
|
||||
x_19 = lean_unbox(x_6);
|
||||
x_20 = l_Lean_ParseImports_setIsExported___redArg(x_19, x_3);
|
||||
return x_20;
|
||||
}
|
||||
}
|
||||
else
|
||||
{
|
||||
uint8_t x_21;
|
||||
lean_dec(x_4);
|
||||
x_21 = !lean_is_exclusive(x_3);
|
||||
if (x_21 == 0)
|
||||
{
|
||||
lean_object* x_22; lean_object* x_23; uint8_t x_24; lean_object* x_25;
|
||||
x_22 = lean_ctor_get(x_3, 1);
|
||||
lean_dec(x_22);
|
||||
lean_ctor_set(x_3, 1, x_5);
|
||||
x_23 = l_Lean_ParseImports_whitespace(x_2, x_3);
|
||||
x_24 = lean_unbox(x_6);
|
||||
x_25 = l_Lean_ParseImports_setIsExported___redArg(x_24, x_23);
|
||||
return x_25;
|
||||
}
|
||||
else
|
||||
{
|
||||
lean_object* x_26; lean_object* x_27; uint8_t x_28; uint8_t x_29; uint8_t x_30; uint8_t x_31; lean_object* x_32; lean_object* x_33; uint8_t x_34; lean_object* x_35;
|
||||
x_26 = lean_ctor_get(x_3, 0);
|
||||
x_27 = lean_ctor_get(x_3, 2);
|
||||
x_28 = lean_ctor_get_uint8(x_3, sizeof(void*)*3);
|
||||
x_29 = lean_ctor_get_uint8(x_3, sizeof(void*)*3 + 1);
|
||||
x_30 = lean_ctor_get_uint8(x_3, sizeof(void*)*3 + 2);
|
||||
x_31 = lean_ctor_get_uint8(x_3, sizeof(void*)*3 + 3);
|
||||
lean_inc(x_27);
|
||||
lean_inc(x_26);
|
||||
lean_dec(x_3);
|
||||
x_32 = lean_alloc_ctor(0, 3, 4);
|
||||
lean_ctor_set(x_32, 0, x_26);
|
||||
lean_ctor_set(x_32, 1, x_5);
|
||||
lean_ctor_set(x_32, 2, x_27);
|
||||
lean_ctor_set_uint8(x_32, sizeof(void*)*3, x_28);
|
||||
lean_ctor_set_uint8(x_32, sizeof(void*)*3 + 1, x_29);
|
||||
lean_ctor_set_uint8(x_32, sizeof(void*)*3 + 2, x_30);
|
||||
lean_ctor_set_uint8(x_32, sizeof(void*)*3 + 3, x_31);
|
||||
x_33 = l_Lean_ParseImports_whitespace(x_2, x_32);
|
||||
x_34 = lean_unbox(x_6);
|
||||
x_35 = l_Lean_ParseImports_setIsExported___redArg(x_34, x_33);
|
||||
return x_35;
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) {
|
||||
_start:
|
||||
{
|
||||
uint8_t x_6;
|
||||
x_6 = lean_string_utf8_at_end(x_1, x_4);
|
||||
if (x_6 == 0)
|
||||
|
|
@ -4195,7 +4301,7 @@ return x_29;
|
|||
}
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0___closed__0() {
|
||||
static lean_object* _init_l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0___closed__0() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
|
|
@ -4203,17 +4309,17 @@ x_1 = lean_mk_string_unchecked("`import` expected", 17, 17);
|
|||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0___closed__1() {
|
||||
static lean_object* _init_l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2;
|
||||
x_1 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0___closed__0;
|
||||
x_1 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0___closed__0;
|
||||
x_2 = lean_alloc_ctor(1, 1, 0);
|
||||
lean_ctor_set(x_2, 0, x_1);
|
||||
return x_2;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0(lean_object* x_1, lean_object* x_2) {
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0(lean_object* x_1, lean_object* x_2) {
|
||||
_start:
|
||||
{
|
||||
uint8_t x_3;
|
||||
|
|
@ -4223,7 +4329,7 @@ if (x_3 == 0)
|
|||
lean_object* x_4; lean_object* x_5;
|
||||
x_4 = lean_ctor_get(x_2, 2);
|
||||
lean_dec(x_4);
|
||||
x_5 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0___closed__1;
|
||||
x_5 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0___closed__1;
|
||||
lean_ctor_set(x_2, 2, x_5);
|
||||
return x_2;
|
||||
}
|
||||
|
|
@ -4239,7 +4345,7 @@ x_11 = lean_ctor_get_uint8(x_2, sizeof(void*)*3 + 3);
|
|||
lean_inc(x_7);
|
||||
lean_inc(x_6);
|
||||
lean_dec(x_2);
|
||||
x_12 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0___closed__1;
|
||||
x_12 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0___closed__1;
|
||||
x_13 = lean_alloc_ctor(0, 3, 4);
|
||||
lean_ctor_set(x_13, 0, x_6);
|
||||
lean_ctor_set(x_13, 1, x_7);
|
||||
|
|
@ -4252,7 +4358,7 @@ return x_13;
|
|||
}
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) {
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) {
|
||||
_start:
|
||||
{
|
||||
uint8_t x_6;
|
||||
|
|
@ -4272,7 +4378,7 @@ if (x_10 == 0)
|
|||
lean_object* x_11;
|
||||
lean_dec(x_5);
|
||||
lean_dec(x_4);
|
||||
x_11 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0(x_2, x_3);
|
||||
x_11 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0(x_2, x_3);
|
||||
return x_11;
|
||||
}
|
||||
else
|
||||
|
|
@ -4293,7 +4399,7 @@ else
|
|||
lean_object* x_15;
|
||||
lean_dec(x_5);
|
||||
lean_dec(x_4);
|
||||
x_15 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0(x_2, x_3);
|
||||
x_15 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0(x_2, x_3);
|
||||
return x_15;
|
||||
}
|
||||
}
|
||||
|
|
@ -4303,7 +4409,7 @@ else
|
|||
lean_object* x_16;
|
||||
lean_dec(x_5);
|
||||
lean_dec(x_4);
|
||||
x_16 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0(x_2, x_3);
|
||||
x_16 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0(x_2, x_3);
|
||||
return x_16;
|
||||
}
|
||||
}
|
||||
|
|
@ -4347,7 +4453,7 @@ return x_27;
|
|||
}
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) {
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__6(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) {
|
||||
_start:
|
||||
{
|
||||
uint8_t x_6;
|
||||
|
|
@ -4444,7 +4550,15 @@ return x_29;
|
|||
}
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__0() {
|
||||
static lean_object* _init_l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__0() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_mk_string_unchecked("public", 6, 6);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
|
|
@ -4452,7 +4566,7 @@ x_1 = lean_mk_string_unchecked("meta", 4, 4);
|
|||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__1() {
|
||||
static lean_object* _init_l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
|
|
@ -4460,7 +4574,7 @@ x_1 = lean_mk_string_unchecked("import", 6, 6);
|
|||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__2() {
|
||||
static lean_object* _init_l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__3() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
|
|
@ -4468,7 +4582,7 @@ x_1 = lean_mk_string_unchecked("all", 3, 3);
|
|||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_26; lean_object* x_27; lean_object* x_28;
|
||||
|
|
@ -4486,7 +4600,7 @@ if (lean_obj_tag(x_28) == 0)
|
|||
lean_object* x_29; lean_object* x_30; lean_object* x_31; lean_object* x_32;
|
||||
x_29 = lean_ctor_get(x_27, 1);
|
||||
lean_inc(x_29);
|
||||
x_30 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__0;
|
||||
x_30 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__0;
|
||||
x_31 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__3(x_30, x_2, x_27, x_26, x_29);
|
||||
x_32 = lean_ctor_get(x_31, 2);
|
||||
lean_inc(x_32);
|
||||
|
|
@ -4495,7 +4609,7 @@ if (lean_obj_tag(x_32) == 0)
|
|||
lean_object* x_33; lean_object* x_34; lean_object* x_35; lean_object* x_36;
|
||||
x_33 = lean_ctor_get(x_31, 1);
|
||||
lean_inc(x_33);
|
||||
x_34 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__1;
|
||||
x_34 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__1;
|
||||
x_35 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4(x_34, x_2, x_31, x_26, x_33);
|
||||
x_36 = lean_ctor_get(x_35, 2);
|
||||
lean_inc(x_36);
|
||||
|
|
@ -4504,20 +4618,36 @@ if (lean_obj_tag(x_36) == 0)
|
|||
lean_object* x_37; lean_object* x_38; lean_object* x_39; lean_object* x_40;
|
||||
x_37 = lean_ctor_get(x_35, 1);
|
||||
lean_inc(x_37);
|
||||
x_38 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__2;
|
||||
x_38 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__2;
|
||||
x_39 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5(x_38, x_2, x_35, x_26, x_37);
|
||||
x_40 = lean_ctor_get(x_39, 2);
|
||||
lean_inc(x_40);
|
||||
if (lean_obj_tag(x_40) == 0)
|
||||
{
|
||||
lean_object* x_41;
|
||||
lean_object* x_41; lean_object* x_42; lean_object* x_43; lean_object* x_44;
|
||||
x_41 = lean_ctor_get(x_39, 1);
|
||||
lean_inc(x_41);
|
||||
x_42 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__3;
|
||||
x_43 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__6(x_42, x_2, x_39, x_26, x_41);
|
||||
x_44 = lean_ctor_get(x_43, 2);
|
||||
lean_inc(x_44);
|
||||
if (lean_obj_tag(x_44) == 0)
|
||||
{
|
||||
lean_object* x_45;
|
||||
lean_inc(x_2);
|
||||
x_41 = l_Lean_ParseImports_moduleIdent(x_2, x_39);
|
||||
x_6 = x_41;
|
||||
x_45 = l_Lean_ParseImports_moduleIdent(x_2, x_43);
|
||||
x_6 = x_45;
|
||||
goto block_25;
|
||||
}
|
||||
else
|
||||
{
|
||||
lean_dec(x_44);
|
||||
x_6 = x_43;
|
||||
goto block_25;
|
||||
}
|
||||
}
|
||||
else
|
||||
{
|
||||
lean_dec(x_40);
|
||||
x_6 = x_39;
|
||||
goto block_25;
|
||||
|
|
@ -4608,7 +4738,7 @@ return x_24;
|
|||
}
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6___redArg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7___redArg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_26; lean_object* x_27; lean_object* x_28;
|
||||
|
|
@ -4626,7 +4756,7 @@ if (lean_obj_tag(x_28) == 0)
|
|||
lean_object* x_29; lean_object* x_30; lean_object* x_31; lean_object* x_32;
|
||||
x_29 = lean_ctor_get(x_27, 1);
|
||||
lean_inc(x_29);
|
||||
x_30 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__0;
|
||||
x_30 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__0;
|
||||
x_31 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__3(x_30, x_2, x_27, x_26, x_29);
|
||||
x_32 = lean_ctor_get(x_31, 2);
|
||||
lean_inc(x_32);
|
||||
|
|
@ -4635,7 +4765,7 @@ if (lean_obj_tag(x_32) == 0)
|
|||
lean_object* x_33; lean_object* x_34; lean_object* x_35; lean_object* x_36;
|
||||
x_33 = lean_ctor_get(x_31, 1);
|
||||
lean_inc(x_33);
|
||||
x_34 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__1;
|
||||
x_34 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__1;
|
||||
x_35 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4(x_34, x_2, x_31, x_26, x_33);
|
||||
x_36 = lean_ctor_get(x_35, 2);
|
||||
lean_inc(x_36);
|
||||
|
|
@ -4644,20 +4774,36 @@ if (lean_obj_tag(x_36) == 0)
|
|||
lean_object* x_37; lean_object* x_38; lean_object* x_39; lean_object* x_40;
|
||||
x_37 = lean_ctor_get(x_35, 1);
|
||||
lean_inc(x_37);
|
||||
x_38 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__2;
|
||||
x_38 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__2;
|
||||
x_39 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5(x_38, x_2, x_35, x_26, x_37);
|
||||
x_40 = lean_ctor_get(x_39, 2);
|
||||
lean_inc(x_40);
|
||||
if (lean_obj_tag(x_40) == 0)
|
||||
{
|
||||
lean_object* x_41;
|
||||
lean_object* x_41; lean_object* x_42; lean_object* x_43; lean_object* x_44;
|
||||
x_41 = lean_ctor_get(x_39, 1);
|
||||
lean_inc(x_41);
|
||||
x_42 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__3;
|
||||
x_43 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__6(x_42, x_2, x_39, x_26, x_41);
|
||||
x_44 = lean_ctor_get(x_43, 2);
|
||||
lean_inc(x_44);
|
||||
if (lean_obj_tag(x_44) == 0)
|
||||
{
|
||||
lean_object* x_45;
|
||||
lean_inc(x_2);
|
||||
x_41 = l_Lean_ParseImports_moduleIdent(x_2, x_39);
|
||||
x_6 = x_41;
|
||||
x_45 = l_Lean_ParseImports_moduleIdent(x_2, x_43);
|
||||
x_6 = x_45;
|
||||
goto block_25;
|
||||
}
|
||||
else
|
||||
{
|
||||
lean_dec(x_44);
|
||||
x_6 = x_43;
|
||||
goto block_25;
|
||||
}
|
||||
}
|
||||
else
|
||||
{
|
||||
lean_dec(x_40);
|
||||
x_6 = x_39;
|
||||
goto block_25;
|
||||
|
|
@ -4693,7 +4839,7 @@ if (lean_obj_tag(x_7) == 0)
|
|||
lean_object* x_8;
|
||||
lean_dec(x_5);
|
||||
lean_dec(x_4);
|
||||
x_8 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6(x_1, x_2, x_6);
|
||||
x_8 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7(x_1, x_2, x_6);
|
||||
return x_8;
|
||||
}
|
||||
else
|
||||
|
|
@ -4749,11 +4895,11 @@ return x_24;
|
|||
}
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6(lean_object* x_1, uint8_t x_2, uint8_t x_3, lean_object* x_4, lean_object* x_5) {
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7(lean_object* x_1, uint8_t x_2, uint8_t x_3, lean_object* x_4, lean_object* x_5) {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_6;
|
||||
x_6 = l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6___redArg(x_1, x_4, x_5);
|
||||
x_6 = l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7___redArg(x_1, x_4, x_5);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
|
|
@ -4805,7 +4951,7 @@ if (lean_obj_tag(x_11) == 0)
|
|||
{
|
||||
lean_object* x_12; lean_object* x_13;
|
||||
x_12 = l_Lean_ParseImports_main___closed__2;
|
||||
x_13 = l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6___redArg(x_12, x_1, x_10);
|
||||
x_13 = l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7___redArg(x_12, x_1, x_10);
|
||||
return x_13;
|
||||
}
|
||||
else
|
||||
|
|
@ -4874,15 +5020,6 @@ lean_dec(x_1);
|
|||
return x_6;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0___boxed(lean_object* x_1, lean_object* x_2) {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_3;
|
||||
x_3 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0(x_1, x_2);
|
||||
lean_dec(x_1);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -4893,6 +5030,15 @@ lean_dec(x_1);
|
|||
return x_6;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0___boxed(lean_object* x_1, lean_object* x_2) {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_3;
|
||||
x_3 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0(x_1, x_2);
|
||||
lean_dec(x_1);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -4903,25 +5049,35 @@ lean_dec(x_1);
|
|||
return x_6;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__6___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_6;
|
||||
x_6 = l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__6(x_1, x_2, x_3, x_4, x_5);
|
||||
lean_dec(x_2);
|
||||
lean_dec(x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_4;
|
||||
x_4 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6(x_1, x_2, x_3);
|
||||
x_4 = l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7(x_1, x_2, x_3);
|
||||
lean_dec(x_1);
|
||||
return x_4;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6___redArg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7___redArg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_4;
|
||||
x_4 = l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6___redArg(x_1, x_2, x_3);
|
||||
x_4 = l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7___redArg(x_1, x_2, x_3);
|
||||
lean_dec(x_1);
|
||||
return x_4;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) {
|
||||
LEAN_EXPORT lean_object* l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) {
|
||||
_start:
|
||||
{
|
||||
uint8_t x_6; uint8_t x_7; lean_object* x_8;
|
||||
|
|
@ -4929,7 +5085,7 @@ x_6 = lean_unbox(x_2);
|
|||
lean_dec(x_2);
|
||||
x_7 = lean_unbox(x_3);
|
||||
lean_dec(x_3);
|
||||
x_8 = l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6(x_1, x_6, x_7, x_4, x_5);
|
||||
x_8 = l_Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7(x_1, x_6, x_7, x_4, x_5);
|
||||
lean_dec(x_1);
|
||||
return x_8;
|
||||
}
|
||||
|
|
@ -5039,7 +5195,7 @@ return x_23;
|
|||
}
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_Json_opt___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__0(lean_object* x_1, lean_object* x_2) {
|
||||
LEAN_EXPORT lean_object* l_Lean_Json_opt___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__0(lean_object* x_1, lean_object* x_2) {
|
||||
_start:
|
||||
{
|
||||
if (lean_obj_tag(x_2) == 0)
|
||||
|
|
@ -5067,7 +5223,7 @@ return x_8;
|
|||
}
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__1_spec__1(size_t x_1, size_t x_2, lean_object* x_3) {
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__1_spec__1(size_t x_1, size_t x_2, lean_object* x_3) {
|
||||
_start:
|
||||
{
|
||||
uint8_t x_4;
|
||||
|
|
@ -5093,19 +5249,19 @@ goto _start;
|
|||
}
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__1(lean_object* x_1) {
|
||||
LEAN_EXPORT lean_object* l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__1(lean_object* x_1) {
|
||||
_start:
|
||||
{
|
||||
size_t x_2; size_t x_3; lean_object* x_4; lean_object* x_5;
|
||||
x_2 = lean_array_size(x_1);
|
||||
x_3 = 0;
|
||||
x_4 = l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__1_spec__1(x_2, x_3, x_1);
|
||||
x_4 = l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__1_spec__1(x_2, x_3, x_1);
|
||||
x_5 = lean_alloc_ctor(4, 1, 0);
|
||||
lean_ctor_set(x_5, 0, x_4);
|
||||
return x_5;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1540_() {
|
||||
static lean_object* _init_l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1552_() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
|
|
@ -5113,7 +5269,7 @@ x_1 = lean_mk_string_unchecked("result", 6, 6);
|
|||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__1____x40_Lean_Elab_ParseImportsFast___hyg_1540_() {
|
||||
static lean_object* _init_l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__1____x40_Lean_Elab_ParseImportsFast___hyg_1552_() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
|
|
@ -5121,7 +5277,7 @@ x_1 = lean_mk_string_unchecked("errors", 6, 6);
|
|||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__2____x40_Lean_Elab_ParseImportsFast___hyg_1540_() {
|
||||
static lean_object* _init_l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__2____x40_Lean_Elab_ParseImportsFast___hyg_1552_() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2;
|
||||
|
|
@ -5130,7 +5286,7 @@ x_2 = lean_mk_empty_array_with_capacity(x_1);
|
|||
return x_2;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540_(lean_object* x_1) {
|
||||
LEAN_EXPORT lean_object* l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552_(lean_object* x_1) {
|
||||
_start:
|
||||
{
|
||||
uint8_t x_2;
|
||||
|
|
@ -5140,10 +5296,10 @@ if (x_2 == 0)
|
|||
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16;
|
||||
x_3 = lean_ctor_get(x_1, 0);
|
||||
x_4 = lean_ctor_get(x_1, 1);
|
||||
x_5 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1540_;
|
||||
x_6 = l_Lean_Json_opt___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__0(x_5, x_3);
|
||||
x_7 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__1____x40_Lean_Elab_ParseImportsFast___hyg_1540_;
|
||||
x_8 = l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__1(x_4);
|
||||
x_5 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1552_;
|
||||
x_6 = l_Lean_Json_opt___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__0(x_5, x_3);
|
||||
x_7 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__1____x40_Lean_Elab_ParseImportsFast___hyg_1552_;
|
||||
x_8 = l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__1(x_4);
|
||||
lean_ctor_set(x_1, 1, x_8);
|
||||
lean_ctor_set(x_1, 0, x_7);
|
||||
x_9 = lean_box(0);
|
||||
|
|
@ -5157,7 +5313,7 @@ lean_ctor_set(x_12, 1, x_11);
|
|||
x_13 = lean_alloc_ctor(1, 2, 0);
|
||||
lean_ctor_set(x_13, 0, x_6);
|
||||
lean_ctor_set(x_13, 1, x_12);
|
||||
x_14 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__2____x40_Lean_Elab_ParseImportsFast___hyg_1540_;
|
||||
x_14 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__2____x40_Lean_Elab_ParseImportsFast___hyg_1552_;
|
||||
x_15 = l_List_flatMapTR_go___at_____private_Lean_Server_Rpc_Basic_0__Lean_Lsp_toJsonRpcRef____x40_Lean_Server_Rpc_Basic___hyg_187__spec__0(x_13, x_14);
|
||||
x_16 = l_Lean_Json_mkObj(x_15);
|
||||
return x_16;
|
||||
|
|
@ -5170,10 +5326,10 @@ x_18 = lean_ctor_get(x_1, 1);
|
|||
lean_inc(x_18);
|
||||
lean_inc(x_17);
|
||||
lean_dec(x_1);
|
||||
x_19 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1540_;
|
||||
x_20 = l_Lean_Json_opt___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__0(x_19, x_17);
|
||||
x_21 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__1____x40_Lean_Elab_ParseImportsFast___hyg_1540_;
|
||||
x_22 = l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__1(x_18);
|
||||
x_19 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1552_;
|
||||
x_20 = l_Lean_Json_opt___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__0(x_19, x_17);
|
||||
x_21 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__1____x40_Lean_Elab_ParseImportsFast___hyg_1552_;
|
||||
x_22 = l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__1(x_18);
|
||||
x_23 = lean_alloc_ctor(0, 2, 0);
|
||||
lean_ctor_set(x_23, 0, x_21);
|
||||
lean_ctor_set(x_23, 1, x_22);
|
||||
|
|
@ -5188,14 +5344,14 @@ lean_ctor_set(x_27, 1, x_26);
|
|||
x_28 = lean_alloc_ctor(1, 2, 0);
|
||||
lean_ctor_set(x_28, 0, x_20);
|
||||
lean_ctor_set(x_28, 1, x_27);
|
||||
x_29 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__2____x40_Lean_Elab_ParseImportsFast___hyg_1540_;
|
||||
x_29 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__2____x40_Lean_Elab_ParseImportsFast___hyg_1552_;
|
||||
x_30 = l_List_flatMapTR_go___at_____private_Lean_Server_Rpc_Basic_0__Lean_Lsp_toJsonRpcRef____x40_Lean_Server_Rpc_Basic___hyg_187__spec__0(x_28, x_29);
|
||||
x_31 = l_Lean_Json_mkObj(x_30);
|
||||
return x_31;
|
||||
}
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__1_spec__1___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__1_spec__1___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
_start:
|
||||
{
|
||||
size_t x_4; size_t x_5; lean_object* x_6;
|
||||
|
|
@ -5203,7 +5359,7 @@ x_4 = lean_unbox_usize(x_1);
|
|||
lean_dec(x_1);
|
||||
x_5 = lean_unbox_usize(x_2);
|
||||
lean_dec(x_2);
|
||||
x_6 = l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540__spec__1_spec__1(x_4, x_5, x_3);
|
||||
x_6 = l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552__spec__1_spec__1(x_4, x_5, x_3);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
|
|
@ -5211,7 +5367,7 @@ static lean_object* _init_l_Lean_instToJsonPrintImportResult___closed__0() {
|
|||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540_), 1, 0);
|
||||
x_1 = lean_alloc_closure((void*)(l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552_), 1, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
|
|
@ -5223,7 +5379,7 @@ x_1 = l_Lean_instToJsonPrintImportResult___closed__0;
|
|||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1599__spec__0_spec__0(size_t x_1, size_t x_2, lean_object* x_3) {
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1611__spec__0_spec__0(size_t x_1, size_t x_2, lean_object* x_3) {
|
||||
_start:
|
||||
{
|
||||
uint8_t x_4;
|
||||
|
|
@ -5238,7 +5394,7 @@ lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; size_t x
|
|||
x_5 = lean_array_uget(x_3, x_2);
|
||||
x_6 = lean_box(0);
|
||||
x_7 = lean_array_uset(x_3, x_2, x_6);
|
||||
x_8 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1540_(x_5);
|
||||
x_8 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult____x40_Lean_Elab_ParseImportsFast___hyg_1552_(x_5);
|
||||
x_9 = 1;
|
||||
x_10 = lean_usize_add(x_2, x_9);
|
||||
x_11 = lean_array_uset(x_7, x_2, x_8);
|
||||
|
|
@ -5248,19 +5404,19 @@ goto _start;
|
|||
}
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1599__spec__0(lean_object* x_1) {
|
||||
LEAN_EXPORT lean_object* l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1611__spec__0(lean_object* x_1) {
|
||||
_start:
|
||||
{
|
||||
size_t x_2; size_t x_3; lean_object* x_4; lean_object* x_5;
|
||||
x_2 = lean_array_size(x_1);
|
||||
x_3 = 0;
|
||||
x_4 = l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1599__spec__0_spec__0(x_2, x_3, x_1);
|
||||
x_4 = l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1611__spec__0_spec__0(x_2, x_3, x_1);
|
||||
x_5 = lean_alloc_ctor(4, 1, 0);
|
||||
lean_ctor_set(x_5, 0, x_4);
|
||||
return x_5;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1599_() {
|
||||
static lean_object* _init_l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1611_() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
|
|
@ -5268,12 +5424,12 @@ x_1 = lean_mk_string_unchecked("imports", 7, 7);
|
|||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1599_(lean_object* x_1) {
|
||||
LEAN_EXPORT lean_object* l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1611_(lean_object* x_1) {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11;
|
||||
x_2 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1599_;
|
||||
x_3 = l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1599__spec__0(x_1);
|
||||
x_2 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1611_;
|
||||
x_3 = l_Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1611__spec__0(x_1);
|
||||
x_4 = lean_alloc_ctor(0, 2, 0);
|
||||
lean_ctor_set(x_4, 0, x_2);
|
||||
lean_ctor_set(x_4, 1, x_3);
|
||||
|
|
@ -5285,13 +5441,13 @@ x_7 = lean_box(0);
|
|||
x_8 = lean_alloc_ctor(1, 2, 0);
|
||||
lean_ctor_set(x_8, 0, x_6);
|
||||
lean_ctor_set(x_8, 1, x_7);
|
||||
x_9 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__2____x40_Lean_Elab_ParseImportsFast___hyg_1540_;
|
||||
x_9 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__2____x40_Lean_Elab_ParseImportsFast___hyg_1552_;
|
||||
x_10 = l_List_flatMapTR_go___at_____private_Lean_Server_Rpc_Basic_0__Lean_Lsp_toJsonRpcRef____x40_Lean_Server_Rpc_Basic___hyg_187__spec__0(x_8, x_9);
|
||||
x_11 = l_Lean_Json_mkObj(x_10);
|
||||
return x_11;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1599__spec__0_spec__0___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1611__spec__0_spec__0___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
_start:
|
||||
{
|
||||
size_t x_4; size_t x_5; lean_object* x_6;
|
||||
|
|
@ -5299,7 +5455,7 @@ x_4 = lean_unbox_usize(x_1);
|
|||
lean_dec(x_1);
|
||||
x_5 = lean_unbox_usize(x_2);
|
||||
lean_dec(x_2);
|
||||
x_6 = l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1599__spec__0_spec__0(x_4, x_5, x_3);
|
||||
x_6 = l_Array_mapMUnsafe_map___at___Array_toJson___at_____private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1611__spec__0_spec__0(x_4, x_5, x_3);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
|
|
@ -5307,7 +5463,7 @@ static lean_object* _init_l_Lean_instToJsonPrintImportsResult___closed__0() {
|
|||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1599_), 1, 0);
|
||||
x_1 = lean_alloc_closure((void*)(l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1611_), 1, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
|
|
@ -5469,7 +5625,7 @@ lean_inc(x_6);
|
|||
x_7 = lean_ctor_get(x_5, 1);
|
||||
lean_inc(x_7);
|
||||
lean_dec(x_5);
|
||||
x_8 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1599_(x_6);
|
||||
x_8 = l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult____x40_Lean_Elab_ParseImportsFast___hyg_1611_(x_6);
|
||||
x_9 = l_Lean_Json_compress(x_8);
|
||||
x_10 = l_IO_println___at___Lean_Environment_displayStats_spec__2(x_9, x_7);
|
||||
return x_10;
|
||||
|
|
@ -5536,16 +5692,18 @@ l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__1___lam__
|
|||
lean_mark_persistent(l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__1___lam__0___closed__0);
|
||||
l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__1___lam__0___closed__1 = _init_l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__1___lam__0___closed__1();
|
||||
lean_mark_persistent(l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__1___lam__0___closed__1);
|
||||
l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0___closed__0 = _init_l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0___closed__0();
|
||||
lean_mark_persistent(l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0___closed__0);
|
||||
l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0___closed__1 = _init_l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0___closed__1();
|
||||
lean_mark_persistent(l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__4___lam__0___closed__1);
|
||||
l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__0 = _init_l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__0();
|
||||
lean_mark_persistent(l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__0);
|
||||
l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__1 = _init_l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__1();
|
||||
lean_mark_persistent(l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__1);
|
||||
l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__2 = _init_l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__2();
|
||||
lean_mark_persistent(l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__6_spec__6___closed__2);
|
||||
l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0___closed__0 = _init_l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0___closed__0();
|
||||
lean_mark_persistent(l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0___closed__0);
|
||||
l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0___closed__1 = _init_l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0___closed__1();
|
||||
lean_mark_persistent(l_Lean_ParseImports_keywordCore_go___at___Lean_ParseImports_main_spec__5___lam__0___closed__1);
|
||||
l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__0 = _init_l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__0();
|
||||
lean_mark_persistent(l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__0);
|
||||
l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__1 = _init_l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__1();
|
||||
lean_mark_persistent(l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__1);
|
||||
l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__2 = _init_l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__2();
|
||||
lean_mark_persistent(l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__2);
|
||||
l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__3 = _init_l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__3();
|
||||
lean_mark_persistent(l_Lean_ParseImports_many___at___Lean_ParseImports_many___at___Lean_ParseImports_main_spec__7_spec__7___closed__3);
|
||||
l_Lean_ParseImports_main___closed__0 = _init_l_Lean_ParseImports_main___closed__0();
|
||||
lean_mark_persistent(l_Lean_ParseImports_main___closed__0);
|
||||
l_Lean_ParseImports_main___closed__1 = _init_l_Lean_ParseImports_main___closed__1();
|
||||
|
|
@ -5558,18 +5716,18 @@ l_Lean_parseImports_x27___closed__1 = _init_l_Lean_parseImports_x27___closed__1(
|
|||
lean_mark_persistent(l_Lean_parseImports_x27___closed__1);
|
||||
l_Lean_parseImports_x27___closed__2 = _init_l_Lean_parseImports_x27___closed__2();
|
||||
lean_mark_persistent(l_Lean_parseImports_x27___closed__2);
|
||||
l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1540_ = _init_l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1540_();
|
||||
lean_mark_persistent(l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1540_);
|
||||
l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__1____x40_Lean_Elab_ParseImportsFast___hyg_1540_ = _init_l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__1____x40_Lean_Elab_ParseImportsFast___hyg_1540_();
|
||||
lean_mark_persistent(l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__1____x40_Lean_Elab_ParseImportsFast___hyg_1540_);
|
||||
l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__2____x40_Lean_Elab_ParseImportsFast___hyg_1540_ = _init_l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__2____x40_Lean_Elab_ParseImportsFast___hyg_1540_();
|
||||
lean_mark_persistent(l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__2____x40_Lean_Elab_ParseImportsFast___hyg_1540_);
|
||||
l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1552_ = _init_l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1552_();
|
||||
lean_mark_persistent(l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1552_);
|
||||
l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__1____x40_Lean_Elab_ParseImportsFast___hyg_1552_ = _init_l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__1____x40_Lean_Elab_ParseImportsFast___hyg_1552_();
|
||||
lean_mark_persistent(l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__1____x40_Lean_Elab_ParseImportsFast___hyg_1552_);
|
||||
l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__2____x40_Lean_Elab_ParseImportsFast___hyg_1552_ = _init_l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__2____x40_Lean_Elab_ParseImportsFast___hyg_1552_();
|
||||
lean_mark_persistent(l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportResult___closed__2____x40_Lean_Elab_ParseImportsFast___hyg_1552_);
|
||||
l_Lean_instToJsonPrintImportResult___closed__0 = _init_l_Lean_instToJsonPrintImportResult___closed__0();
|
||||
lean_mark_persistent(l_Lean_instToJsonPrintImportResult___closed__0);
|
||||
l_Lean_instToJsonPrintImportResult = _init_l_Lean_instToJsonPrintImportResult();
|
||||
lean_mark_persistent(l_Lean_instToJsonPrintImportResult);
|
||||
l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1599_ = _init_l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1599_();
|
||||
lean_mark_persistent(l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1599_);
|
||||
l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1611_ = _init_l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1611_();
|
||||
lean_mark_persistent(l___private_Lean_Elab_ParseImportsFast_0__Lean_toJsonPrintImportsResult___closed__0____x40_Lean_Elab_ParseImportsFast___hyg_1611_);
|
||||
l_Lean_instToJsonPrintImportsResult___closed__0 = _init_l_Lean_instToJsonPrintImportsResult___closed__0();
|
||||
lean_mark_persistent(l_Lean_instToJsonPrintImportsResult___closed__0);
|
||||
l_Lean_instToJsonPrintImportsResult = _init_l_Lean_instToJsonPrintImportsResult();
|
||||
|
|
|
|||
836
stage0/stdlib/Lean/Parser/Module.c
generated
836
stage0/stdlib/Lean/Parser/Module.c
generated
File diff suppressed because it is too large
Load diff
Loading…
Add table
Reference in a new issue