max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: update stage0

Browse source
This commit is contained in:
Lean stage0 autoupdater 2025-02-06 08:27:23 +00:00
parent b01ca8ee23
commit ee42e8cf24
10 changed files with 30729 additions and 9688 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

127
stage0/stdlib/Init/Notation.c generated
View file

@ -342,6 +342,7 @@ LEAN_EXPORT lean_object* l_prioLow;
static lean_object* l_stx___x2a___closed__3;
LEAN_EXPORT lean_object* l___aux__Init__Notation______macroRules__term_x2d____2(lean_object*, lean_object*, lean_object*);
static lean_object* l___aux__Init__Notation______macroRules__term___x2a_x3e____1___closed__4;
static lean_object* l_Lean_infoTreesCmd___closed__6;
static lean_object* l_termIfThenElse___closed__8;
static lean_object* l___aux__Init__Notation______macroRules__term___x5c_x2f____1___closed__1;
static lean_object* l_Lean_Parser_commandSeal_______closed__2;
@ -448,6 +449,7 @@ static lean_object* l_term___x7c_x7c_____closed__2;
static lean_object* l_Lean_withAnnotateTerm___closed__1;
static lean_object* l_Lean_runCmd___closed__2;
static lean_object* l___aux__Init__Notation______macroRules__term___x3c____1___closed__1;
static lean_object* l_Lean_infoTreesCmd___closed__4;
static lean_object* l_precMax___closed__2;
static lean_object* l_Lean_Attr_coe___closed__4;
static lean_object* l_Lean_deprecated___closed__1;
@ -708,6 +710,7 @@ static lean_object* l_term___x3a_x3a_____closed__3;
static lean_object* l___aux__Init__Notation______macroRules__term___x2a____1___closed__3;
static lean_object* l_term_x2d_____closed__5;
static lean_object* l_term___x3c_x24_x3e_____closed__2;
static lean_object* l_Lean_infoTreesCmd___closed__3;
LEAN_EXPORT lean_object* l_prio_x28___x29;
static lean_object* l_Lean_guardMsgsOrderingArg___closed__6;
static lean_object* l___aux__Init__Notation______macroRules__boolIfThenElse__1___closed__2;
@ -721,6 +724,7 @@ static lean_object* l_term_x2d_____closed__2;
static lean_object* l___aux__Init__Notation______macroRules__term___u2208____1___closed__5;
LEAN_EXPORT lean_object* l___aux__Init__Notation______unexpand__HShiftRight__hShiftRight__1___boxed(lean_object*, lean_object*, lean_object*);
static lean_object* l___aux__Init__Notation______macroRules__termWithout__expected__type____1___closed__4;
LEAN_EXPORT lean_object* l_Lean_infoTreesCmd;
static lean_object* l_term___u2265_____closed__2;
static lean_object* l_Lean_Parser_commandUnseal_______closed__5;
static lean_object* l___aux__Init__Notation______macroRules__term___u2223____1___closed__6;
@ -1097,6 +1101,7 @@ static lean_object* l_term_x7b___x3a___x2f_x2f___x7d___closed__13;
static lean_object* l___aux__Init__Notation______macroRules__stx___x3f__1___closed__3;
LEAN_EXPORT lean_object* l_Lean_instCoeOutTSyntaxSyntax(lean_object*);
static lean_object* l___aux__Init__Notation______macroRules__term_xac____1___closed__2;
static lean_object* l_Lean_infoTreesCmd___closed__2;
static lean_object* l_termIfLet___closed__2;
static lean_object* l___aux__Init__Notation______macroRules__term___x2b____1___closed__4;
static lean_object* l_Lean_guardMsgsCmd___closed__9;
@ -1141,6 +1146,7 @@ LEAN_EXPORT lean_object* l___aux__Init__Notation______unexpand__Dvd__dvd__1___bo
static lean_object* l_Lean_Parser___aux__Init__Notation______macroRules__Lean__Parser__commandSeal______1___closed__13;
static lean_object* l_term___x5c_x2f_____closed__6;
LEAN_EXPORT lean_object* l___aux__Init__Notation______unexpand__Membership__mem__1(lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_infoTreesCmd___closed__5;
static lean_object* l_term___x3c_x2a_x3e_____closed__2;
static lean_object* l_term___u2265_____closed__3;
static lean_object* l___aux__Init__Notation______macroRules__stx___x3f__1___closed__2;
@ -1218,6 +1224,7 @@ static lean_object* l_Lean_Parser_checkTactic___closed__2;
static lean_object* l_termDepIfThenElse___closed__5;
LEAN_EXPORT lean_object* l_termMax__prec;
static lean_object* l___aux__Init__Notation______macroRules__term___x26_x26____1___closed__6;
static lean_object* l_Lean_infoTreesCmd___closed__1;
static lean_object* l_Lean_guardMsgsCmd___closed__7;
static lean_object* l___aux__Init__Notation______macroRules__term___x3e_x3d____1___closed__4;
static lean_object* l___aux__Init__Notation______macroRules__term___x3e_x3e____1___closed__3;
@ -1238,6 +1245,7 @@ static lean_object* l_Lean_guardMsgsFilterSeverity___closed__11;
static lean_object* l___aux__Init__Notation______macroRules__term___x2b____1___closed__5;
LEAN_EXPORT lean_object* l___aux__Init__Notation______unexpand__HXor__hXor__1(lean_object*, lean_object*, lean_object*);
static lean_object* l_stx___x3f___closed__2;
static lean_object* l_Lean_infoTreesCmd___closed__7;
static lean_object* l_Lean_guardMsgsWhitespace___closed__6;
static lean_object* l_Lean_runMeta___closed__4;
static lean_object* l___aux__Init__Notation______macroRules__term___x3c____1___closed__5;
@ -1270,6 +1278,7 @@ static lean_object* l_termIfLet___closed__4;
static lean_object* l_term___x3a_x3a_____closed__1;
static lean_object* l___aux__Init__Notation______macroRules__term___x3e_x3e_x3d____1___closed__1;
LEAN_EXPORT lean_object* l_Lean_binderIdent;
static lean_object* l_Lean_infoTreesCmd___closed__8;
static lean_object* l___aux__Init__Notation______macroRules__term___x3e____1___closed__2;
static lean_object* l___aux__Init__Notation______macroRules__term___x25____1___closed__6;
static lean_object* l___aux__Init__Notation______macroRules__term___x3c_x2a_x3e____1___closed__8;
@ -25464,6 +25473,106 @@ x_1 = l_Lean_guardMsgsCmd___closed__24;
return x_1;
}
}
static lean_object* _init_l_Lean_infoTreesCmd___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("infoTreesCmd", 12, 12);
return x_1;
}
}
static lean_object* _init_l_Lean_infoTreesCmd___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = l_Lean_Parser_Syntax_addPrec___closed__1;
x_2 = l_Lean_infoTreesCmd___closed__1;
x_3 = l_Lean_Name_mkStr2(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lean_infoTreesCmd___closed__3() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("#info_trees", 11, 11);
return x_1;
}
}
static lean_object* _init_l_Lean_infoTreesCmd___closed__4() {
_start:
{
lean_object* x_1; lean_object* x_2;
x_1 = l_Lean_infoTreesCmd___closed__3;
x_2 = lean_alloc_ctor(5, 1, 0);
lean_ctor_set(x_2, 0, x_1);
return x_2;
}
}
static lean_object* _init_l_Lean_infoTreesCmd___closed__5() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_1 = l_Lean_Parser_Syntax_addPrec___closed__7;
x_2 = l_Lean_infoTreesCmd___closed__4;
x_3 = l_Lean_guardMsgsCmd___closed__14;
x_4 = lean_alloc_ctor(2, 3, 0);
lean_ctor_set(x_4, 0, x_1);
lean_ctor_set(x_4, 1, x_2);
lean_ctor_set(x_4, 2, x_3);
return x_4;
}
}
static lean_object* _init_l_Lean_infoTreesCmd___closed__6() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_1 = l_Lean_Parser_Syntax_addPrec___closed__7;
x_2 = l_Lean_infoTreesCmd___closed__5;
x_3 = l_Lean_guardMsgsCmd___closed__18;
x_4 = lean_alloc_ctor(2, 3, 0);
lean_ctor_set(x_4, 0, x_1);
lean_ctor_set(x_4, 1, x_2);
lean_ctor_set(x_4, 2, x_3);
return x_4;
}
}
static lean_object* _init_l_Lean_infoTreesCmd___closed__7() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_1 = l_Lean_Parser_Syntax_addPrec___closed__7;
x_2 = l_Lean_infoTreesCmd___closed__6;
x_3 = l_Lean_guardMsgsCmd___closed__22;
x_4 = lean_alloc_ctor(2, 3, 0);
lean_ctor_set(x_4, 0, x_1);
lean_ctor_set(x_4, 1, x_2);
lean_ctor_set(x_4, 2, x_3);
return x_4;
}
}
static lean_object* _init_l_Lean_infoTreesCmd___closed__8() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_1 = l_Lean_infoTreesCmd___closed__2;
x_2 = lean_unsigned_to_nat(1022u);
x_3 = l_Lean_infoTreesCmd___closed__7;
x_4 = lean_alloc_ctor(3, 3, 0);
lean_ctor_set(x_4, 0, x_1);
lean_ctor_set(x_4, 1, x_2);
lean_ctor_set(x_4, 2, x_3);
return x_4;
}
}
static lean_object* _init_l_Lean_infoTreesCmd() {
_start:
{
lean_object* x_1;
x_1 = l_Lean_infoTreesCmd___closed__8;
return x_1;
}
}
static lean_object* _init_l_Lean_Parser_checkTactic___closed__1() {
_start:
{
@ -29398,6 +29507,24 @@ l_Lean_guardMsgsCmd___closed__24 = _init_l_Lean_guardMsgsCmd___closed__24();
lean_mark_persistent(l_Lean_guardMsgsCmd___closed__24);
l_Lean_guardMsgsCmd = _init_l_Lean_guardMsgsCmd();
lean_mark_persistent(l_Lean_guardMsgsCmd);
l_Lean_infoTreesCmd___closed__1 = _init_l_Lean_infoTreesCmd___closed__1();
lean_mark_persistent(l_Lean_infoTreesCmd___closed__1);
l_Lean_infoTreesCmd___closed__2 = _init_l_Lean_infoTreesCmd___closed__2();
lean_mark_persistent(l_Lean_infoTreesCmd___closed__2);
l_Lean_infoTreesCmd___closed__3 = _init_l_Lean_infoTreesCmd___closed__3();
lean_mark_persistent(l_Lean_infoTreesCmd___closed__3);
l_Lean_infoTreesCmd___closed__4 = _init_l_Lean_infoTreesCmd___closed__4();
lean_mark_persistent(l_Lean_infoTreesCmd___closed__4);
l_Lean_infoTreesCmd___closed__5 = _init_l_Lean_infoTreesCmd___closed__5();
lean_mark_persistent(l_Lean_infoTreesCmd___closed__5);
l_Lean_infoTreesCmd___closed__6 = _init_l_Lean_infoTreesCmd___closed__6();
lean_mark_persistent(l_Lean_infoTreesCmd___closed__6);
l_Lean_infoTreesCmd___closed__7 = _init_l_Lean_infoTreesCmd___closed__7();
lean_mark_persistent(l_Lean_infoTreesCmd___closed__7);
l_Lean_infoTreesCmd___closed__8 = _init_l_Lean_infoTreesCmd___closed__8();
lean_mark_persistent(l_Lean_infoTreesCmd___closed__8);
l_Lean_infoTreesCmd = _init_l_Lean_infoTreesCmd();
lean_mark_persistent(l_Lean_infoTreesCmd);
l_Lean_Parser_checkTactic___closed__1 = _init_l_Lean_Parser_checkTactic___closed__1();
lean_mark_persistent(l_Lean_Parser_checkTactic___closed__1);
l_Lean_Parser_checkTactic___closed__2 = _init_l_Lean_Parser_checkTactic___closed__2();

439
stage0/stdlib/Init/Try.c generated
View file

@ -13,23 +13,56 @@
#ifdef __cplusplus
extern "C" {
#endif
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__22;
static lean_object* l_Lean_Parser_Tactic_tryTrace___closed__2;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__19;
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_tryTrace;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__16;
extern lean_object* l_Lean_Parser_Tactic_optConfig;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__25;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__29;
LEAN_EXPORT lean_object* l_Lean_Try_instInhabitedConfig;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__20;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__31;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__21;
static lean_object* l_Lean_Parser_Tactic_tryTrace___closed__10;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__15;
static lean_object* l_Lean_Parser_Tactic_tryTrace___closed__1;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__3;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__13;
static lean_object* l_Lean_Parser_Tactic_tryTrace___closed__11;
static lean_object* l_Lean_Parser_Tactic_tryTrace___closed__5;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__6;
static lean_object* l_Lean_Parser_Tactic_tryTrace___closed__4;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__4;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__17;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__23;
lean_object* l_Lean_Name_str___override(lean_object*, lean_object*);
static lean_object* l_Lean_Try_instInhabitedConfig___closed__1;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__5;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__14;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__1;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__9;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__7;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__11;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__32;
static lean_object* l_Lean_Parser_Tactic_tryTrace___closed__9;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__8;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__2;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__10;
static lean_object* l_Lean_Parser_Tactic_tryTrace___closed__8;
static lean_object* l_Lean_Parser_Tactic_tryTrace___closed__7;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__27;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__24;
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_attemptAll;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__28;
static lean_object* l_Lean_Parser_Tactic_tryTrace___closed__6;
lean_object* l_Lean_Name_mkStr4(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__26;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__30;
static lean_object* l_Lean_Parser_Tactic_tryTrace___closed__3;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__12;
static lean_object* l_Lean_Parser_Tactic_attemptAll___closed__18;
static lean_object* _init_l_Lean_Try_instInhabitedConfig___closed__1() {
_start:
{
@ -169,6 +202,346 @@ x_1 = l_Lean_Parser_Tactic_tryTrace___closed__11;
return x_1;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("attemptAll", 10, 10);
return x_1;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5;
x_1 = l_Lean_Parser_Tactic_tryTrace___closed__1;
x_2 = l_Lean_Parser_Tactic_tryTrace___closed__2;
x_3 = l_Lean_Parser_Tactic_tryTrace___closed__3;
x_4 = l_Lean_Parser_Tactic_attemptAll___closed__1;
x_5 = l_Lean_Name_mkStr4(x_1, x_2, x_3, x_4);
return x_5;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__3() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("attempt_all ", 12, 12);
return x_1;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__4() {
_start:
{
lean_object* x_1; uint8_t x_2; lean_object* x_3;
x_1 = l_Lean_Parser_Tactic_attemptAll___closed__3;
x_2 = 0;
x_3 = lean_alloc_ctor(6, 1, 1);
lean_ctor_set(x_3, 0, x_1);
lean_ctor_set_uint8(x_3, sizeof(void*)*1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__5() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("withPosition", 12, 12);
return x_1;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__6() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_box(0);
x_2 = l_Lean_Parser_Tactic_attemptAll___closed__5;
x_3 = l_Lean_Name_str___override(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__7() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("many1", 5, 5);
return x_1;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__8() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_box(0);
x_2 = l_Lean_Parser_Tactic_attemptAll___closed__7;
x_3 = l_Lean_Name_str___override(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__9() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("group", 5, 5);
return x_1;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__10() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_box(0);
x_2 = l_Lean_Parser_Tactic_attemptAll___closed__9;
x_3 = l_Lean_Name_str___override(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__11() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("ppDedent", 8, 8);
return x_1;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__12() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_box(0);
x_2 = l_Lean_Parser_Tactic_attemptAll___closed__11;
x_3 = l_Lean_Name_str___override(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__13() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("ppLine", 6, 6);
return x_1;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__14() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_box(0);
x_2 = l_Lean_Parser_Tactic_attemptAll___closed__13;
x_3 = l_Lean_Name_str___override(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__15() {
_start:
{
lean_object* x_1; lean_object* x_2;
x_1 = l_Lean_Parser_Tactic_attemptAll___closed__14;
x_2 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_2, 0, x_1);
return x_2;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__16() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = l_Lean_Parser_Tactic_attemptAll___closed__12;
x_2 = l_Lean_Parser_Tactic_attemptAll___closed__15;
x_3 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_3, 0, x_1);
lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__17() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("colGe", 5, 5);
return x_1;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__18() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_box(0);
x_2 = l_Lean_Parser_Tactic_attemptAll___closed__17;
x_3 = l_Lean_Name_str___override(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__19() {
_start:
{
lean_object* x_1; lean_object* x_2;
x_1 = l_Lean_Parser_Tactic_attemptAll___closed__18;
x_2 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_2, 0, x_1);
return x_2;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__20() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_1 = l_Lean_Parser_Tactic_tryTrace___closed__7;
x_2 = l_Lean_Parser_Tactic_attemptAll___closed__16;
x_3 = l_Lean_Parser_Tactic_attemptAll___closed__19;
x_4 = lean_alloc_ctor(2, 3, 0);
lean_ctor_set(x_4, 0, x_1);
lean_ctor_set(x_4, 1, x_2);
lean_ctor_set(x_4, 2, x_3);
return x_4;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__21() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("| ", 2, 2);
return x_1;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__22() {
_start:
{
lean_object* x_1; lean_object* x_2;
x_1 = l_Lean_Parser_Tactic_attemptAll___closed__21;
x_2 = lean_alloc_ctor(5, 1, 0);
lean_ctor_set(x_2, 0, x_1);
return x_2;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__23() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_1 = l_Lean_Parser_Tactic_tryTrace___closed__7;
x_2 = l_Lean_Parser_Tactic_attemptAll___closed__20;
x_3 = l_Lean_Parser_Tactic_attemptAll___closed__22;
x_4 = lean_alloc_ctor(2, 3, 0);
lean_ctor_set(x_4, 0, x_1);
lean_ctor_set(x_4, 1, x_2);
lean_ctor_set(x_4, 2, x_3);
return x_4;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__24() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("tacticSeq", 9, 9);
return x_1;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__25() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_box(0);
x_2 = l_Lean_Parser_Tactic_attemptAll___closed__24;
x_3 = l_Lean_Name_str___override(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__26() {
_start:
{
lean_object* x_1; lean_object* x_2;
x_1 = l_Lean_Parser_Tactic_attemptAll___closed__25;
x_2 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_2, 0, x_1);
return x_2;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__27() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_1 = l_Lean_Parser_Tactic_tryTrace___closed__7;
x_2 = l_Lean_Parser_Tactic_attemptAll___closed__23;
x_3 = l_Lean_Parser_Tactic_attemptAll___closed__26;
x_4 = lean_alloc_ctor(2, 3, 0);
lean_ctor_set(x_4, 0, x_1);
lean_ctor_set(x_4, 1, x_2);
lean_ctor_set(x_4, 2, x_3);
return x_4;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__28() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = l_Lean_Parser_Tactic_attemptAll___closed__10;
x_2 = l_Lean_Parser_Tactic_attemptAll___closed__27;
x_3 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_3, 0, x_1);
lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__29() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = l_Lean_Parser_Tactic_attemptAll___closed__8;
x_2 = l_Lean_Parser_Tactic_attemptAll___closed__28;
x_3 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_3, 0, x_1);
lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__30() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = l_Lean_Parser_Tactic_attemptAll___closed__6;
x_2 = l_Lean_Parser_Tactic_attemptAll___closed__29;
x_3 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_3, 0, x_1);
lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__31() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_1 = l_Lean_Parser_Tactic_tryTrace___closed__7;
x_2 = l_Lean_Parser_Tactic_attemptAll___closed__4;
x_3 = l_Lean_Parser_Tactic_attemptAll___closed__30;
x_4 = lean_alloc_ctor(2, 3, 0);
lean_ctor_set(x_4, 0, x_1);
lean_ctor_set(x_4, 1, x_2);
lean_ctor_set(x_4, 2, x_3);
return x_4;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll___closed__32() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_1 = l_Lean_Parser_Tactic_attemptAll___closed__2;
x_2 = lean_unsigned_to_nat(1022u);
x_3 = l_Lean_Parser_Tactic_attemptAll___closed__31;
x_4 = lean_alloc_ctor(3, 3, 0);
lean_ctor_set(x_4, 0, x_1);
lean_ctor_set(x_4, 1, x_2);
lean_ctor_set(x_4, 2, x_3);
return x_4;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_attemptAll() {
_start:
{
lean_object* x_1;
x_1 = l_Lean_Parser_Tactic_attemptAll___closed__32;
return x_1;
}
}
lean_object* initialize_Init_Tactics(uint8_t builtin, lean_object*);
static bool _G_initialized = false;
LEAN_EXPORT lean_object* initialize_Init_Try(uint8_t builtin, lean_object* w) {
@ -206,6 +579,72 @@ l_Lean_Parser_Tactic_tryTrace___closed__11 = _init_l_Lean_Parser_Tactic_tryTrace
lean_mark_persistent(l_Lean_Parser_Tactic_tryTrace___closed__11);
l_Lean_Parser_Tactic_tryTrace = _init_l_Lean_Parser_Tactic_tryTrace();
lean_mark_persistent(l_Lean_Parser_Tactic_tryTrace);
l_Lean_Parser_Tactic_attemptAll___closed__1 = _init_l_Lean_Parser_Tactic_attemptAll___closed__1();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__1);
l_Lean_Parser_Tactic_attemptAll___closed__2 = _init_l_Lean_Parser_Tactic_attemptAll___closed__2();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__2);
l_Lean_Parser_Tactic_attemptAll___closed__3 = _init_l_Lean_Parser_Tactic_attemptAll___closed__3();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__3);
l_Lean_Parser_Tactic_attemptAll___closed__4 = _init_l_Lean_Parser_Tactic_attemptAll___closed__4();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__4);
l_Lean_Parser_Tactic_attemptAll___closed__5 = _init_l_Lean_Parser_Tactic_attemptAll___closed__5();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__5);
l_Lean_Parser_Tactic_attemptAll___closed__6 = _init_l_Lean_Parser_Tactic_attemptAll___closed__6();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__6);
l_Lean_Parser_Tactic_attemptAll___closed__7 = _init_l_Lean_Parser_Tactic_attemptAll___closed__7();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__7);
l_Lean_Parser_Tactic_attemptAll___closed__8 = _init_l_Lean_Parser_Tactic_attemptAll___closed__8();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__8);
l_Lean_Parser_Tactic_attemptAll___closed__9 = _init_l_Lean_Parser_Tactic_attemptAll___closed__9();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__9);
l_Lean_Parser_Tactic_attemptAll___closed__10 = _init_l_Lean_Parser_Tactic_attemptAll___closed__10();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__10);
l_Lean_Parser_Tactic_attemptAll___closed__11 = _init_l_Lean_Parser_Tactic_attemptAll___closed__11();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__11);
l_Lean_Parser_Tactic_attemptAll___closed__12 = _init_l_Lean_Parser_Tactic_attemptAll___closed__12();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__12);
l_Lean_Parser_Tactic_attemptAll___closed__13 = _init_l_Lean_Parser_Tactic_attemptAll___closed__13();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__13);
l_Lean_Parser_Tactic_attemptAll___closed__14 = _init_l_Lean_Parser_Tactic_attemptAll___closed__14();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__14);
l_Lean_Parser_Tactic_attemptAll___closed__15 = _init_l_Lean_Parser_Tactic_attemptAll___closed__15();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__15);
l_Lean_Parser_Tactic_attemptAll___closed__16 = _init_l_Lean_Parser_Tactic_attemptAll___closed__16();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__16);
l_Lean_Parser_Tactic_attemptAll___closed__17 = _init_l_Lean_Parser_Tactic_attemptAll___closed__17();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__17);
l_Lean_Parser_Tactic_attemptAll___closed__18 = _init_l_Lean_Parser_Tactic_attemptAll___closed__18();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__18);
l_Lean_Parser_Tactic_attemptAll___closed__19 = _init_l_Lean_Parser_Tactic_attemptAll___closed__19();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__19);
l_Lean_Parser_Tactic_attemptAll___closed__20 = _init_l_Lean_Parser_Tactic_attemptAll___closed__20();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__20);
l_Lean_Parser_Tactic_attemptAll___closed__21 = _init_l_Lean_Parser_Tactic_attemptAll___closed__21();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__21);
l_Lean_Parser_Tactic_attemptAll___closed__22 = _init_l_Lean_Parser_Tactic_attemptAll___closed__22();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__22);
l_Lean_Parser_Tactic_attemptAll___closed__23 = _init_l_Lean_Parser_Tactic_attemptAll___closed__23();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__23);
l_Lean_Parser_Tactic_attemptAll___closed__24 = _init_l_Lean_Parser_Tactic_attemptAll___closed__24();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__24);
l_Lean_Parser_Tactic_attemptAll___closed__25 = _init_l_Lean_Parser_Tactic_attemptAll___closed__25();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__25);
l_Lean_Parser_Tactic_attemptAll___closed__26 = _init_l_Lean_Parser_Tactic_attemptAll___closed__26();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__26);
l_Lean_Parser_Tactic_attemptAll___closed__27 = _init_l_Lean_Parser_Tactic_attemptAll___closed__27();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__27);
l_Lean_Parser_Tactic_attemptAll___closed__28 = _init_l_Lean_Parser_Tactic_attemptAll___closed__28();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__28);
l_Lean_Parser_Tactic_attemptAll___closed__29 = _init_l_Lean_Parser_Tactic_attemptAll___closed__29();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__29);
l_Lean_Parser_Tactic_attemptAll___closed__30 = _init_l_Lean_Parser_Tactic_attemptAll___closed__30();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__30);
l_Lean_Parser_Tactic_attemptAll___closed__31 = _init_l_Lean_Parser_Tactic_attemptAll___closed__31();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__31);
l_Lean_Parser_Tactic_attemptAll___closed__32 = _init_l_Lean_Parser_Tactic_attemptAll___closed__32();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll___closed__32);
l_Lean_Parser_Tactic_attemptAll = _init_l_Lean_Parser_Tactic_attemptAll();
lean_mark_persistent(l_Lean_Parser_Tactic_attemptAll);
return lean_io_result_mk_ok(lean_box(0));
}
#ifdef __cplusplus

6
stage0/stdlib/Lean/Elab.c generated
View file

@ -1,6 +1,6 @@
// Lean compiler output
// Module: Lean.Elab
// Imports: Lean.Elab.Import Lean.Elab.Exception Lean.Elab.Config Lean.Elab.Command Lean.Elab.Term Lean.Elab.App Lean.Elab.Binders Lean.Elab.BinderPredicates Lean.Elab.LetRec Lean.Elab.Frontend Lean.Elab.BuiltinNotation Lean.Elab.Declaration Lean.Elab.Tactic Lean.Elab.Match Lean.Elab.Quotation Lean.Elab.Syntax Lean.Elab.Do Lean.Elab.StructInst Lean.Elab.MutualInductive Lean.Elab.Inductive Lean.Elab.Structure Lean.Elab.Print Lean.Elab.MutualDef Lean.Elab.AuxDef Lean.Elab.PreDefinition Lean.Elab.Deriving Lean.Elab.DeclarationRange Lean.Elab.Extra Lean.Elab.GenInjective Lean.Elab.BuiltinTerm Lean.Elab.Arg Lean.Elab.PatternVar Lean.Elab.ElabRules Lean.Elab.Macro Lean.Elab.Notation Lean.Elab.Mixfix Lean.Elab.MacroRules Lean.Elab.BuiltinCommand Lean.Elab.BuiltinEvalCommand Lean.Elab.RecAppSyntax Lean.Elab.Eval Lean.Elab.Calc Lean.Elab.InheritDoc Lean.Elab.ParseImportsFast Lean.Elab.GuardMsgs Lean.Elab.CheckTactic Lean.Elab.MatchExpr Lean.Elab.Tactic.Doc Lean.Elab.Time Lean.Elab.RecommendedSpelling
// Imports: Lean.Elab.Import Lean.Elab.Exception Lean.Elab.Config Lean.Elab.Command Lean.Elab.Term Lean.Elab.App Lean.Elab.Binders Lean.Elab.BinderPredicates Lean.Elab.LetRec Lean.Elab.Frontend Lean.Elab.BuiltinNotation Lean.Elab.Declaration Lean.Elab.Tactic Lean.Elab.Match Lean.Elab.Quotation Lean.Elab.Syntax Lean.Elab.Do Lean.Elab.StructInst Lean.Elab.MutualInductive Lean.Elab.Inductive Lean.Elab.Structure Lean.Elab.Print Lean.Elab.MutualDef Lean.Elab.AuxDef Lean.Elab.PreDefinition Lean.Elab.Deriving Lean.Elab.DeclarationRange Lean.Elab.Extra Lean.Elab.GenInjective Lean.Elab.BuiltinTerm Lean.Elab.Arg Lean.Elab.PatternVar Lean.Elab.ElabRules Lean.Elab.Macro Lean.Elab.Notation Lean.Elab.Mixfix Lean.Elab.MacroRules Lean.Elab.BuiltinCommand Lean.Elab.BuiltinEvalCommand Lean.Elab.RecAppSyntax Lean.Elab.Eval Lean.Elab.Calc Lean.Elab.InheritDoc Lean.Elab.ParseImportsFast Lean.Elab.GuardMsgs Lean.Elab.CheckTactic Lean.Elab.MatchExpr Lean.Elab.Tactic.Doc Lean.Elab.Time Lean.Elab.RecommendedSpelling Lean.Elab.InfoTrees
#include <lean/lean.h>
#if defined(__clang__)
#pragma clang diagnostic ignored "-Wunused-parameter"
@ -63,6 +63,7 @@ lean_object* initialize_Lean_Elab_MatchExpr(uint8_t builtin, lean_object*);
lean_object* initialize_Lean_Elab_Tactic_Doc(uint8_t builtin, lean_object*);
lean_object* initialize_Lean_Elab_Time(uint8_t builtin, lean_object*);
lean_object* initialize_Lean_Elab_RecommendedSpelling(uint8_t builtin, lean_object*);
lean_object* initialize_Lean_Elab_InfoTrees(uint8_t builtin, lean_object*);
static bool _G_initialized = false;
LEAN_EXPORT lean_object* initialize_Lean_Elab(uint8_t builtin, lean_object* w) {
lean_object * res;
@ -218,6 +219,9 @@ lean_dec_ref(res);
res = initialize_Lean_Elab_RecommendedSpelling(builtin, lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
res = initialize_Lean_Elab_InfoTrees(builtin, lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
return lean_io_result_mk_ok(lean_box(0));
}
#ifdef __cplusplus

1402
stage0/stdlib/Lean/Elab/InfoTrees.c generated Normal file
View file

File diff suppressed because it is too large Load diff

2637
stage0/stdlib/Lean/Elab/Tactic/Grind.c generated
View file

File diff suppressed because it is too large Load diff

20532
stage0/stdlib/Lean/Elab/Tactic/Try.c generated
View file

File diff suppressed because it is too large Load diff

10158
stage0/stdlib/Lean/Linter/List.c generated
View file

File diff suppressed because it is too large Load diff

503
stage0/stdlib/Lean/Server/FileWorker/SemanticHighlighting.c generated
View file

@ -28,6 +28,7 @@ lean_object* l_Lean_Server_Snapshots_Snapshot_infoTree(lean_object*);
lean_object* lean_mk_empty_array_with_capacity(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_collectSyntaxBasedSemanticTokens(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_handleSemanticTokens_run___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_deepestNodesM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__1___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
extern lean_object* l_Lean_Parser_Term_identProjKind;
LEAN_EXPORT lean_object* l___private_Lean_Server_Requests_0__Lean_Server_overrideStatefulLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__6___lambda__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Server_FileWorker_instFromJsonAbsoluteLspSemanticToken___closed__1;
@ -55,6 +56,7 @@ LEAN_EXPORT lean_object* l___private_Lean_Server_Requests_0__Lean_Server_overrid
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Server_FileWorker_filterDuplicateSemanticTokens___spec__10___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
size_t lean_uint64_to_usize(uint64_t);
static lean_object* l___private_Lean_Server_FileWorker_SemanticHighlighting_0__Lean_Server_FileWorker_fromJsonAbsoluteLspSemanticToken____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_236____closed__2;
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2___lambda__1___boxed(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_List_forIn_x27_loop___at_Lean_Server_FileWorker_handleSemanticTokens_run___spec__1___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Name_toString(lean_object*, uint8_t, lean_object*);
uint8_t l_Lean_RBNode_isRed___rarg(lean_object*);
@ -81,6 +83,7 @@ LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_handleSemanticTokensRange(lean
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_instTypeNameSemanticTokensState;
LEAN_EXPORT lean_object* l___private_Lean_Server_Requests_0__Lean_Server_registerStatefulLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__5(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_groupByKey___at_Lean_Server_FileWorker_filterDuplicateSemanticTokens___spec__1___boxed(lean_object*, lean_object*);
static lean_object* l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__1;
static lean_object* l_Lean_Server_FileWorker_collectSyntaxBasedSemanticTokens___closed__6;
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Server_FileWorker_collectSyntaxBasedSemanticTokens___spec__3(lean_object*, size_t, size_t, lean_object*);
LEAN_EXPORT lean_object* l_Array_forIn_x27Unsafe_loop___at_Lean_Server_FileWorker_computeDeltaLspSemanticTokens___spec__1(lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*);
@ -97,9 +100,12 @@ lean_object* l_Nat_nextPowerOfTwo_go(lean_object*, lean_object*, lean_object*);
extern lean_object* l_Lean_Server_requestHandlers;
LEAN_EXPORT lean_object* l_liftExcept___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__8(lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Server_FileWorker_noHighlightKinds___closed__20;
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_deepestNodesM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__1(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Server_Requests_0__Lean_Server_overrideStatefulLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__6___lambda__8___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Server_FileWorker_SemanticHighlighting_0__Lean_Server_FileWorker_toJsonAbsoluteLspSemanticToken____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_381_(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Server_FileWorker_SemanticHighlighting_0__Lean_Server_FileWorker_fromJsonAbsoluteLspSemanticToken____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_236____spec__1___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5(lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_PersistentArray_toList___rarg(lean_object*);
LEAN_EXPORT lean_object* l_Array_forIn_x27Unsafe_loop___at_Lean_Server_FileWorker_filterDuplicateSemanticTokens___spec__7(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*);
uint8_t lean_string_dec_eq(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_filterDuplicateSemanticTokens___boxed(lean_object*);
@ -139,15 +145,19 @@ static lean_object* l___private_Lean_Server_FileWorker_SemanticHighlighting_0__L
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_collectSyntaxBasedSemanticTokens___lambda__2(lean_object*, lean_object*);
static lean_object* l___private_Lean_Server_FileWorker_SemanticHighlighting_0__Lean_Server_FileWorker_fromJsonAbsoluteLspSemanticToken____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_236____closed__8;
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_filterDuplicateSemanticTokens(lean_object*);
static lean_object* l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2___closed__1;
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Server_FileWorker_computeAbsoluteLspSemanticTokens___spec__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_List_filterMapTR_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__3(lean_object*, lean_object*);
static lean_object* l___private_Lean_Server_Requests_0__Lean_Server_overrideStatefulLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__6___lambda__11___closed__2;
uint64_t lean_uint64_shift_right(uint64_t, uint64_t);
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_SemanticTokensState_toCtorIdx(lean_object*);
uint8_t lean_uint32_dec_le(uint32_t, uint32_t);
lean_object* l_Lean_RBNode_setBlack___rarg(lean_object*);
LEAN_EXPORT lean_object* l_List_flatMapTR_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__4(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_filterMapM___at_Lean_Server_FileWorker_computeAbsoluteLspSemanticTokens___spec__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_liftExcept___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__8___boxed(lean_object*, lean_object*, lean_object*);
lean_object* lean_nat_div(lean_object*, lean_object*);
lean_object* l_Lean_Elab_Info_updateContext_x3f(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Server_Requests_0__Lean_Server_overrideStatefulLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__6___lambda__7___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Server_parseRequestParams___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__2___closed__3;
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_handleSemanticTokensDidChange___boxed(lean_object*);
@ -155,10 +165,13 @@ lean_object* l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp_fromJsonSema
lean_object* l_Lean_Json_getObjValD(lean_object*, lean_object*);
static lean_object* l_Lean_Server_FileWorker_instImpl____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_2860____closed__2;
static lean_object* l___private_Lean_Server_FileWorker_SemanticHighlighting_0__Lean_Server_FileWorker_fromJsonAbsoluteLspSemanticToken____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_236____closed__13;
lean_object* l_Lean_Elab_PartialContextInfo_mergeIntoOuter_x3f(lean_object*, lean_object*);
static lean_object* l___private_Lean_Server_FileWorker_SemanticHighlighting_0__Lean_Server_FileWorker_toJsonAbsoluteLspSemanticToken____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_381____closed__1;
static lean_object* l_Lean_Server_registerLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__1___closed__1;
lean_object* l_Std_Mutex_atomically___at___private_Lean_Server_Requests_0__Lean_Server_overrideStatefulLspRequestHandler___spec__6(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__3;
lean_object* l_Lean_Syntax_getKind(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Server_parseRequestParams___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__7(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Server_Requests_0__Lean_Server_overrideStatefulLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__6___lambda__8(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Server_FileWorker_noHighlightKinds___closed__9;
@ -174,9 +187,11 @@ LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_collectSyntaxBasedSemanticToke
static lean_object* l_Lean_Server_FileWorker_collectSyntaxBasedSemanticTokens___closed__1;
lean_object* l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp_toJsonSemanticTokenType____x40_Lean_Data_Lsp_LanguageFeatures___hyg_7920_(uint8_t);
static lean_object* l_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____closed__3;
uint8_t l_List_isEmpty___rarg(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Server_Requests_0__Lean_Server_overrideStatefulLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__6___lambda__9___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Server_FileWorker_SemanticHighlighting_0__Lean_Server_FileWorker_fromJsonAbsoluteLspSemanticToken____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_236____closed__23;
lean_object* lean_st_mk_ref(lean_object*, lean_object*);
lean_object* lean_array_to_list(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Server_Requests_0__Lean_Server_overrideStatefulLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__6___lambda__4___boxed(lean_object*);
static lean_object* l_Lean_Server_registerLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__1___lambda__2___closed__1;
static lean_object* l___private_Lean_Server_FileWorker_SemanticHighlighting_0__Lean_Server_FileWorker_fromJsonAbsoluteLspSemanticToken____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_236____closed__12;
@ -189,6 +204,7 @@ lean_object* l_Lean_PersistentHashMap_insert___at_Lean_Server_registerLspRequest
lean_object* l_Lean_Server_RequestM_asTask___rarg(lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Server_registerLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__1___lambda__2___closed__2;
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_SemanticTokensState_toCtorIdx___boxed(lean_object*);
LEAN_EXPORT uint8_t l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2___lambda__1(lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____closed__5;
extern lean_object* l_Task_Priority_default;
static lean_object* l___private_Lean_Server_FileWorker_SemanticHighlighting_0__Lean_Server_FileWorker_fromJsonAbsoluteLspSemanticToken____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_236____closed__16;
@ -205,6 +221,7 @@ static lean_object* l_Lean_Server_parseRequestParams___at_Lean_Server_FileWorker
uint8_t l_Ord_instDecidableRelLe___rarg(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Server_FileWorker_computeAbsoluteLspSemanticTokens___spec__2(lean_object*, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*);
lean_object* l_Lean_Syntax_getArg(lean_object*, lean_object*);
lean_object* l___private_Init_Util_0__mkPanicMessageWithDecl(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Server_FileWorker_SemanticHighlighting_0__Lean_Server_FileWorker_fromJsonAbsoluteLspSemanticToken____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_236____closed__20;
uint8_t l_Lean_Syntax_matchesNull(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_instToJsonAbsoluteLspSemanticToken;
@ -247,6 +264,7 @@ lean_object* l_IO_AsyncList_waitUntil___rarg(lean_object*, lean_object*);
static lean_object* l___private_Lean_Server_FileWorker_SemanticHighlighting_0__Lean_Server_FileWorker_fromJsonAbsoluteLspSemanticToken____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_236____closed__5;
lean_object* l_Lean_Server_RequestM_readDoc___at_Lean_Server_RequestM_withWaitFindSnapAtPos___spec__1(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___lambda__2___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_panic___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__6(lean_object*);
static lean_object* l_Lean_Server_FileWorker_noHighlightKinds___closed__21;
static lean_object* l_Lean_Server_FileWorker_noHighlightKinds___closed__13;
static lean_object* l_Lean_Server_FileWorker_computeDeltaLspSemanticTokens___closed__1;
@ -267,6 +285,7 @@ LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_instImpl____x40_Lean_Server_Fi
lean_object* lean_string_length(lean_object*);
uint8_t lean_nat_dec_eq(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_liftExcept___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__3(lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__4;
static lean_object* l___private_Lean_Server_Requests_0__Lean_Server_overrideStatefulLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__6___lambda__5___closed__1;
static lean_object* l___private_Lean_Server_FileWorker_SemanticHighlighting_0__Lean_Server_FileWorker_fromJsonAbsoluteLspSemanticToken____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_236____closed__11;
uint8_t lean_nat_dec_lt(lean_object*, lean_object*);
@ -288,22 +307,28 @@ LEAN_EXPORT lean_object* l_Lean_Server_parseRequestParams___at_Lean_Server_FileW
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___lambda__3(lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Server_FileWorker_handleSemanticTokensRange___closed__1;
uint64_t lean_uint64_xor(uint64_t, uint64_t);
extern lean_object* l_Id_instMonad;
static lean_object* l_panic___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__6___closed__1;
lean_object* lean_panic_fn(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Server_Requests_0__Lean_Server_overrideStatefulLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__6___lambda__9(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_StateRefT_x27_get___at___private_Lean_Server_Requests_0__Lean_Server_overrideStatefulLspRequestHandler___spec__2___boxed(lean_object*, lean_object*, lean_object*);
lean_object* lean_task_map(lean_object*, lean_object*, lean_object*, uint8_t);
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_handleSemanticTokensFull(lean_object*, lean_object*);
lean_object* lean_nat_sub(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_deepestNodesM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__1___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* lean_nat_mul(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_SemanticTokensState_noConfusion___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_collectSyntaxBasedSemanticTokens___lambda__3(lean_object*, lean_object*, lean_object*);
lean_object* l___private_Init_Data_Array_QSort_0__Array_qpartition___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Server_registerLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__1___lambda__4___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Elab_InfoTree_deepestNodes___rarg(lean_object*, lean_object*);
static lean_object* l___private_Lean_Server_FileWorker_SemanticHighlighting_0__Lean_Server_FileWorker_fromJsonAbsoluteLspSemanticToken____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_236____closed__6;
lean_object* l_List_foldl___at_Array_appendList___spec__1___rarg(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_computeAbsoluteLspSemanticTokens___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_List_flatMapTR_go___at___private_Lean_Util_Paths_0__Lean_toJsonLeanPaths____x40_Lean_Util_Paths___hyg_55____spec__2(lean_object*, lean_object*);
static lean_object* l_Lean_Server_FileWorker_keywordSemanticTokenMap___closed__2;
lean_object* l_List_reverse___rarg(lean_object*);
LEAN_EXPORT lean_object* l_Lean_RBNode_find___at_Lean_Server_FileWorker_collectSyntaxBasedSemanticTokens___spec__1(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2___lambda__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
size_t lean_usize_sub(size_t, size_t);
lean_object* lean_array_mk(lean_object*);
LEAN_EXPORT uint8_t l_Std_DHashMap_Internal_AssocList_contains___at_Lean_Server_FileWorker_filterDuplicateSemanticTokens___spec__2(lean_object*, lean_object*);
@ -323,6 +348,7 @@ LEAN_EXPORT lean_object* l_Lean_Server_registerLspRequestHandler___at_Lean_Serve
size_t lean_array_size(lean_object*);
static lean_object* l_Lean_Server_registerLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__1___lambda__3___closed__1;
uint64_t l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp_hashSemanticTokenType____x40_Lean_Data_Lsp_LanguageFeatures___hyg_8939_(uint8_t);
lean_object* l_instInhabitedOfMonad___rarg(lean_object*, lean_object*);
lean_object* lean_st_ref_set(lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Name_mkStr4(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Server_FileWorker_noHighlightKinds___closed__7;
@ -354,6 +380,7 @@ static lean_object* l_Lean_Server_FileWorker_filterDuplicateSemanticTokens___clo
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_computeAbsoluteLspSemanticTokens(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Server_Requests_0__Lean_Server_overrideStatefulLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__6___lambda__11(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___lambda__2___closed__2;
static lean_object* l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__2;
LEAN_EXPORT lean_object* l_Lean_Server_registerLspRequestHandler___at_Lean_Server_FileWorker_initFn____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_3054____spec__1___lambda__4(lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* lean_array_uset(lean_object*, size_t, lean_object*);
LEAN_EXPORT lean_object* l_Std_DHashMap_Internal_AssocList_Const_alter___at_Lean_Server_FileWorker_filterDuplicateSemanticTokens___spec__6(lean_object*);
@ -365,6 +392,7 @@ static lean_object* l___private_Lean_Server_Requests_0__Lean_Server_overrideStat
static lean_object* l_Lean_Server_FileWorker_instImpl____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_2860____closed__1;
size_t lean_usize_land(size_t, size_t);
LEAN_EXPORT lean_object* l_Lean_RBNode_ins___at_Lean_Server_FileWorker_keywordSemanticTokenMap___spec__2(lean_object*, lean_object*, uint8_t);
LEAN_EXPORT lean_object* l_List_mapM_loop___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__7(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_forIn_x27Unsafe_loop___at_Lean_Server_FileWorker_computeDeltaLspSemanticTokens___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* _init_l_Lean_Server_FileWorker_noHighlightKinds___closed__1() {
_start:
@ -6298,6 +6326,444 @@ lean_dec(x_3);
return x_4;
}
}
LEAN_EXPORT lean_object* l_List_filterMapTR_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__3(lean_object* x_1, lean_object* x_2) {
_start:
{
if (lean_obj_tag(x_1) == 0)
{
lean_object* x_3;
x_3 = lean_array_to_list(x_2);
return x_3;
}
else
{
lean_object* x_4;
x_4 = lean_ctor_get(x_1, 0);
lean_inc(x_4);
if (lean_obj_tag(x_4) == 0)
{
lean_object* x_5;
x_5 = lean_ctor_get(x_1, 1);
lean_inc(x_5);
lean_dec(x_1);
x_1 = x_5;
goto _start;
}
else
{
lean_object* x_7; lean_object* x_8; lean_object* x_9;
x_7 = lean_ctor_get(x_1, 1);
lean_inc(x_7);
lean_dec(x_1);
x_8 = lean_ctor_get(x_4, 0);
lean_inc(x_8);
lean_dec(x_4);
x_9 = lean_array_push(x_2, x_8);
x_1 = x_7;
x_2 = x_9;
goto _start;
}
}
}
}
LEAN_EXPORT lean_object* l_List_flatMapTR_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__4(lean_object* x_1, lean_object* x_2) {
_start:
{
if (lean_obj_tag(x_1) == 0)
{
lean_object* x_3;
x_3 = lean_array_to_list(x_2);
return x_3;
}
else
{
lean_object* x_4; lean_object* x_5; lean_object* x_6;
x_4 = lean_ctor_get(x_1, 0);
lean_inc(x_4);
x_5 = lean_ctor_get(x_1, 1);
lean_inc(x_5);
lean_dec(x_1);
x_6 = l_List_foldl___at_Array_appendList___spec__1___rarg(x_2, x_4);
x_1 = x_5;
x_2 = x_6;
goto _start;
}
}
}
static lean_object* _init_l_panic___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__6___closed__1() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_box(0);
x_2 = l_Id_instMonad;
x_3 = l_instInhabitedOfMonad___rarg(x_2, x_1);
return x_3;
}
}
LEAN_EXPORT lean_object* l_panic___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__6(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3;
x_2 = l_panic___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__6___closed__1;
x_3 = lean_panic_fn(x_2, x_1);
return x_3;
}
}
LEAN_EXPORT lean_object* l_List_mapM_loop___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__7(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_4) == 0)
{
lean_object* x_6;
lean_dec(x_3);
lean_dec(x_2);
lean_dec(x_1);
x_6 = l_List_reverse___rarg(x_5);
return x_6;
}
else
{
uint8_t x_7;
x_7 = !lean_is_exclusive(x_4);
if (x_7 == 0)
{
lean_object* x_8; lean_object* x_9; lean_object* x_10;
x_8 = lean_ctor_get(x_4, 0);
x_9 = lean_ctor_get(x_4, 1);
lean_inc(x_3);
lean_inc(x_2);
lean_inc(x_1);
x_10 = l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5(x_1, x_2, x_3, x_8);
lean_ctor_set(x_4, 1, x_5);
lean_ctor_set(x_4, 0, x_10);
{
lean_object* _tmp_3 = x_9;
lean_object* _tmp_4 = x_4;
x_4 = _tmp_3;
x_5 = _tmp_4;
}
goto _start;
}
else
{
lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15;
x_12 = lean_ctor_get(x_4, 0);
x_13 = lean_ctor_get(x_4, 1);
lean_inc(x_13);
lean_inc(x_12);
lean_dec(x_4);
lean_inc(x_3);
lean_inc(x_2);
lean_inc(x_1);
x_14 = l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5(x_1, x_2, x_3, x_12);
x_15 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_15, 0, x_14);
lean_ctor_set(x_15, 1, x_5);
x_4 = x_13;
x_5 = x_15;
goto _start;
}
}
}
}
static lean_object* _init_l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("Lean.Server.InfoUtils", 21, 21);
return x_1;
}
}
static lean_object* _init_l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__2() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("Lean.Elab.InfoTree.visitM.go", 28, 28);
return x_1;
}
}
static lean_object* _init_l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__3() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("unexpected context-free info tree node", 38, 38);
return x_1;
}
}
static lean_object* _init_l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__4() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6;
x_1 = l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__1;
x_2 = l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__2;
x_3 = lean_unsigned_to_nat(62u);
x_4 = lean_unsigned_to_nat(21u);
x_5 = l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__3;
x_6 = l___private_Init_Util_0__mkPanicMessageWithDecl(x_1, x_2, x_3, x_4, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
_start:
{
if (lean_obj_tag(x_3) == 0)
{
switch (lean_obj_tag(x_4)) {
case 0:
{
lean_object* x_5; lean_object* x_6; lean_object* x_7;
x_5 = lean_ctor_get(x_4, 0);
lean_inc(x_5);
x_6 = lean_ctor_get(x_4, 1);
lean_inc(x_6);
lean_dec(x_4);
x_7 = l_Lean_Elab_PartialContextInfo_mergeIntoOuter_x3f(x_5, x_3);
x_3 = x_7;
x_4 = x_6;
goto _start;
}
case 1:
{
lean_object* x_9; lean_object* x_10;
lean_dec(x_4);
lean_dec(x_2);
lean_dec(x_1);
x_9 = l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__4;
x_10 = l_panic___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__6(x_9);
return x_10;
}
default:
{
lean_object* x_11;
lean_dec(x_4);
lean_dec(x_2);
lean_dec(x_1);
x_11 = lean_box(0);
return x_11;
}
}
}
else
{
switch (lean_obj_tag(x_4)) {
case 0:
{
lean_object* x_12; lean_object* x_13; lean_object* x_14;
x_12 = lean_ctor_get(x_4, 0);
lean_inc(x_12);
x_13 = lean_ctor_get(x_4, 1);
lean_inc(x_13);
lean_dec(x_4);
x_14 = l_Lean_Elab_PartialContextInfo_mergeIntoOuter_x3f(x_12, x_3);
x_3 = x_14;
x_4 = x_13;
goto _start;
}
case 1:
{
uint8_t x_16;
x_16 = !lean_is_exclusive(x_3);
if (x_16 == 0)
{
lean_object* x_17; lean_object* x_18; lean_object* x_19; lean_object* x_20; uint8_t x_21;
x_17 = lean_ctor_get(x_3, 0);
x_18 = lean_ctor_get(x_4, 0);
lean_inc(x_18);
x_19 = lean_ctor_get(x_4, 1);
lean_inc(x_19);
lean_dec(x_4);
lean_inc(x_1);
lean_inc(x_19);
lean_inc(x_18);
lean_inc(x_17);
x_20 = lean_apply_3(x_1, x_17, x_18, x_19);
x_21 = lean_unbox(x_20);
lean_dec(x_20);
if (x_21 == 0)
{
lean_object* x_22; lean_object* x_23;
lean_dec(x_1);
x_22 = lean_box(0);
x_23 = lean_apply_4(x_2, x_17, x_18, x_19, x_22);
lean_ctor_set(x_3, 0, x_23);
return x_3;
}
else
{
lean_object* x_24; lean_object* x_25; lean_object* x_26; lean_object* x_27; lean_object* x_28; lean_object* x_29;
lean_inc(x_17);
x_24 = l_Lean_Elab_Info_updateContext_x3f(x_3, x_18);
x_25 = l_Lean_PersistentArray_toList___rarg(x_19);
x_26 = lean_box(0);
lean_inc(x_2);
x_27 = l_List_mapM_loop___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__7(x_1, x_2, x_24, x_25, x_26);
x_28 = lean_apply_4(x_2, x_17, x_18, x_19, x_27);
x_29 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_29, 0, x_28);
return x_29;
}
}
else
{
lean_object* x_30; lean_object* x_31; lean_object* x_32; lean_object* x_33; uint8_t x_34;
x_30 = lean_ctor_get(x_3, 0);
lean_inc(x_30);
lean_dec(x_3);
x_31 = lean_ctor_get(x_4, 0);
lean_inc(x_31);
x_32 = lean_ctor_get(x_4, 1);
lean_inc(x_32);
lean_dec(x_4);
lean_inc(x_1);
lean_inc(x_32);
lean_inc(x_31);
lean_inc(x_30);
x_33 = lean_apply_3(x_1, x_30, x_31, x_32);
x_34 = lean_unbox(x_33);
lean_dec(x_33);
if (x_34 == 0)
{
lean_object* x_35; lean_object* x_36; lean_object* x_37;
lean_dec(x_1);
x_35 = lean_box(0);
x_36 = lean_apply_4(x_2, x_30, x_31, x_32, x_35);
x_37 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_37, 0, x_36);
return x_37;
}
else
{
lean_object* x_38; lean_object* x_39; lean_object* x_40; lean_object* x_41; lean_object* x_42; lean_object* x_43; lean_object* x_44;
lean_inc(x_30);
x_38 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_38, 0, x_30);
x_39 = l_Lean_Elab_Info_updateContext_x3f(x_38, x_31);
x_40 = l_Lean_PersistentArray_toList___rarg(x_32);
x_41 = lean_box(0);
lean_inc(x_2);
x_42 = l_List_mapM_loop___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__7(x_1, x_2, x_39, x_40, x_41);
x_43 = lean_apply_4(x_2, x_30, x_31, x_32, x_42);
x_44 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_44, 0, x_43);
return x_44;
}
}
}
default:
{
lean_object* x_45;
lean_dec(x_4);
lean_dec(x_3);
lean_dec(x_2);
lean_dec(x_1);
x_45 = lean_box(0);
return x_45;
}
}
}
}
}
LEAN_EXPORT uint8_t l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2___lambda__1(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
uint8_t x_4;
x_4 = 1;
return x_4;
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2___lambda__2(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; lean_object* x_7; lean_object* x_8; lean_object* x_9;
x_6 = l___private_Lean_Server_FileWorker_SemanticHighlighting_0__Lean_Server_FileWorker_toJsonAbsoluteLspSemanticToken____x40_Lean_Server_FileWorker_SemanticHighlighting___hyg_381____closed__1;
x_7 = l_List_filterMapTR_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__3(x_5, x_6);
x_8 = l_List_flatMapTR_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__4(x_7, x_6);
x_9 = lean_apply_4(x_1, x_2, x_3, x_4, x_8);
return x_9;
}
}
static lean_object* _init_l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_alloc_closure((void*)(l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2___lambda__1___boxed), 3, 0);
return x_1;
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6;
x_3 = lean_alloc_closure((void*)(l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2___lambda__2), 5, 1);
lean_closure_set(x_3, 0, x_1);
x_4 = lean_box(0);
x_5 = l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2___closed__1;
x_6 = l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5(x_5, x_3, x_4, x_2);
if (lean_obj_tag(x_6) == 0)
{
lean_object* x_7;
x_7 = lean_box(0);
return x_7;
}
else
{
lean_object* x_8;
x_8 = lean_ctor_get(x_6, 0);
lean_inc(x_8);
lean_dec(x_6);
return x_8;
}
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_deepestNodesM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__1___lambda__1(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 = l_List_isEmpty___rarg(x_5);
if (x_6 == 0)
{
lean_dec(x_4);
lean_dec(x_3);
lean_dec(x_2);
lean_dec(x_1);
lean_inc(x_5);
return x_5;
}
else
{
lean_object* x_7;
x_7 = lean_apply_3(x_1, x_2, x_3, x_4);
if (lean_obj_tag(x_7) == 0)
{
lean_object* x_8;
x_8 = lean_box(0);
return x_8;
}
else
{
lean_object* x_9; lean_object* x_10; lean_object* x_11;
x_9 = lean_ctor_get(x_7, 0);
lean_inc(x_9);
lean_dec(x_7);
x_10 = lean_box(0);
x_11 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_11, 0, x_9);
lean_ctor_set(x_11, 1, x_10);
return x_11;
}
}
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_deepestNodesM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__1(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4;
x_3 = lean_alloc_closure((void*)(l_Lean_Elab_InfoTree_deepestNodesM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__1___lambda__1___boxed), 5, 1);
lean_closure_set(x_3, 0, x_1);
x_4 = l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2(x_3, x_2);
return x_4;
}
}
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___lambda__1(lean_object* x_1) {
_start:
{
@ -6568,11 +7034,32 @@ _start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_2 = l_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___closed__1;
x_3 = l_Lean_Elab_InfoTree_deepestNodes___rarg(x_2, x_1);
x_3 = l_Lean_Elab_InfoTree_deepestNodesM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__1(x_2, x_1);
x_4 = lean_array_mk(x_3);
return x_4;
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2___lambda__1___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
uint8_t x_4; lean_object* x_5;
x_4 = l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2___lambda__1(x_1, x_2, x_3);
lean_dec(x_3);
lean_dec(x_2);
lean_dec(x_1);
x_5 = lean_box(x_4);
return x_5;
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_deepestNodesM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__1___lambda__1___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_Elab_InfoTree_deepestNodesM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__1___lambda__1(x_1, x_2, x_3, x_4, x_5);
lean_dec(x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___lambda__1___boxed(lean_object* x_1) {
_start:
{
@ -9697,6 +10184,18 @@ l_Lean_Server_FileWorker_collectSyntaxBasedSemanticTokens___closed__5 = _init_l_
lean_mark_persistent(l_Lean_Server_FileWorker_collectSyntaxBasedSemanticTokens___closed__5);
l_Lean_Server_FileWorker_collectSyntaxBasedSemanticTokens___closed__6 = _init_l_Lean_Server_FileWorker_collectSyntaxBasedSemanticTokens___closed__6();
lean_mark_persistent(l_Lean_Server_FileWorker_collectSyntaxBasedSemanticTokens___closed__6);
l_panic___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__6___closed__1 = _init_l_panic___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__6___closed__1();
lean_mark_persistent(l_panic___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__6___closed__1);
l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__1 = _init_l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__1();
lean_mark_persistent(l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__1);
l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__2 = _init_l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__2();
lean_mark_persistent(l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__2);
l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__3 = _init_l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__3();
lean_mark_persistent(l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__3);
l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__4 = _init_l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__4();
lean_mark_persistent(l_Lean_Elab_InfoTree_visitM_go___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__5___closed__4);
l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2___closed__1 = _init_l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2___closed__1();
lean_mark_persistent(l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___spec__2___closed__1);
l_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___lambda__2___closed__1 = _init_l_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___lambda__2___closed__1();
lean_mark_persistent(l_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___lambda__2___closed__1);
l_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___lambda__2___closed__2 = _init_l_Lean_Server_FileWorker_collectInfoBasedSemanticTokens___lambda__2___closed__2();

4111
stage0/stdlib/Lean/Server/InfoUtils.c generated
View file

File diff suppressed because it is too large Load diff

502
stage0/stdlib/Lean/Widget/UserWidget.c generated
View file

@ -20,6 +20,7 @@ LEAN_EXPORT lean_object* l_Lean_Widget_erasePanelWidget(lean_object*, lean_objec
LEAN_EXPORT lean_object* l_Lean_ScopedEnvExtension_add___at_Lean_Widget_elabShowPanelWidgetsCmd___spec__9___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Expr_const___override(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instToJsonGetWidgetSourceParams;
LEAN_EXPORT lean_object* l_panic___at_Lean_Widget_widgetInfosAt_x3f___spec__6(lean_object*);
static lean_object* l_Lean_Widget_instToJsonGetWidgetSourceParams___closed__1;
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_182____spec__3(lean_object*, lean_object*, size_t, size_t, lean_object*);
static lean_object* l_Lean_Widget_instRpcEncodablePanelWidgetInstance_dec____x40_Lean_Widget_UserWidget___hyg_4124____closed__3;
@ -52,6 +53,7 @@ extern lean_object* l_Lean_Server_builtinRpcProcedures;
static lean_object* l_Lean_Widget_elabWidgetInstanceSpecAux___closed__13;
LEAN_EXPORT lean_object* l_Lean_RBNode_ins___at_Lean_Widget_addBuiltinModule___spec__2(lean_object*, uint64_t, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____lambda__6(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT uint8_t l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2___lambda__1(lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_addWidgetSpec___closed__4;
LEAN_EXPORT lean_object* l_Lean_Widget_addPanelWidgetScoped___at_Lean_Widget_elabShowPanelWidgetsCmd___spec__11___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_erasePanelWidget___at_Lean_Widget_elabShowPanelWidgetsCmd___spec__12(uint64_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -59,9 +61,11 @@ static lean_object* l_Lean_throwMaxRecDepthAt___at_Lean_Widget_elabShowPanelWidg
static lean_object* l_Lean_Widget_elabWidgetInstanceSpec___closed__13;
LEAN_EXPORT lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_toJsonGetWidgetSourceParams____x40_Lean_Widget_UserWidget___hyg_820_(lean_object*);
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_182____closed__1;
LEAN_EXPORT lean_object* l_List_filterMapTR_go___at_Lean_Widget_widgetInfosAt_x3f___spec__3(lean_object*, lean_object*);
static lean_object* l_Lean_Widget_showPanelWidgetsCmd___closed__6;
static lean_object* l_Lean_Widget_elabWidgetInstanceSpecAux___closed__18;
lean_object* l_Lean_Json_mkObj(lean_object*);
static lean_object* l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__2;
LEAN_EXPORT lean_object* l_Lean_ofExcept___at___private_Lean_Widget_UserWidget_0__Lean_Widget_evalUserWidgetDefinitionUnsafe___spec__1___rarg(lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4203____closed__27;
lean_object* l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_toJsonRange____x40_Lean_Data_Lsp_Basic___hyg_557_(lean_object*);
@ -93,6 +97,7 @@ static lean_object* l_Lean_Widget_elabWidgetInstanceSpecAux___closed__29;
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_182____spec__3___at_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_182____spec__4(lean_object*, size_t, size_t, lean_object*);
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4203____closed__20;
static lean_object* l_Lean_Server_registerBuiltinRpcProcedure___at_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_1367____spec__1___lambda__1___closed__1;
LEAN_EXPORT lean_object* l_List_mapM_loop___at_Lean_Widget_widgetInfosAt_x3f___spec__7(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____lambda__8___closed__2;
lean_object* l_Lean_Name_toString(lean_object*, uint8_t, lean_object*);
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____lambda__1___closed__2;
@ -103,6 +108,7 @@ static lean_object* l_Lean_Widget_elabWidgetInstanceSpec___closed__3;
LEAN_EXPORT lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_throwError___at_Lean_Widget_WidgetInstance_ofHash___spec__1(lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Syntax_getId(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_deepestNodesM___at_Lean_Widget_widgetInfosAt_x3f___spec__1(lean_object*, lean_object*);
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_182____closed__3;
LEAN_EXPORT lean_object* l_Lean_Elab_throwUnsupportedSyntax___at_Lean_Widget_elabShowPanelWidgetsCmd___spec__2___rarg(lean_object*);
uint8_t l_Lean_RBNode_isRed___rarg(lean_object*);
@ -137,12 +143,14 @@ static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonGe
lean_object* l_Lean_instantiateMVars___at_Lean_Elab_Term_MVarErrorInfo_logError___spec__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_erasePanelWidget___at_Lean_Widget_elabShowPanelWidgetsCmd___spec__12___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instInhabitedUserWidgetDefinition;
static lean_object* l_panic___at_Lean_Widget_widgetInfosAt_x3f___spec__6___closed__1;
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4203____closed__17;
static lean_object* l_Lean_Widget_addWidgetSpec___closed__2;
lean_object* l_Lean_Server_RequestM_withWaitFindSnap___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Syntax_TSepArray_getElems___rarg(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_1426____lambda__1(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodableGetWidgetsResponse_dec____x40_Lean_Widget_UserWidget___hyg_4842____boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_List_flatMapTR_go___at_Lean_Widget_widgetInfosAt_x3f___spec__4(lean_object*, lean_object*);
static lean_object* l_Lean_Widget_showWidgetSpec___closed__3;
LEAN_EXPORT lean_object* l_Lean_Server_registerBuiltinRpcProcedure___at_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_1367____spec__1___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____lambda__4___closed__5;
@ -165,6 +173,7 @@ static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonUs
uint64_t lean_string_hash(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____lambda__8___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonGetWidgetSourceParams____x40_Lean_Widget_UserWidget___hyg_872____closed__3;
static lean_object* l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2___closed__1;
lean_object* l_Lean_Syntax_node5(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____lambda__4___closed__15;
uint8_t l_Lean_Syntax_isOfKind(lean_object*, lean_object*);
@ -174,6 +183,7 @@ LEAN_EXPORT lean_object* l_Lean_ScopedEnvExtension_add___at_Lean_Widget_elabShow
lean_object* l_Lean_stringToMessageData(lean_object*);
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_182____closed__5;
lean_object* l_Lean_RBNode_balRight___rarg(lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_PersistentArray_toList___rarg(lean_object*);
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____closed__6;
LEAN_EXPORT lean_object* l_Lean_Server_registerBuiltinRpcProcedure___at_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_1367____spec__1___lambda__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_widgetCmd___closed__5;
@ -198,6 +208,7 @@ static lean_object* l_Array_forIn_x27Unsafe_loop___at_Lean_Widget_elabShowPanelW
static lean_object* l_Lean_Widget_showWidgetSpec___closed__6;
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____lambda__2___closed__1;
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_toJsonGetWidgetSourceParams____x40_Lean_Widget_UserWidget___hyg_820____closed__2;
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_deepestNodesM___at_Lean_Widget_widgetInfosAt_x3f___spec__1___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Array_forIn_x27Unsafe_loop___at_Lean_Widget_elabShowPanelWidgetsCmd___spec__13___closed__7;
LEAN_EXPORT lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4868_(lean_object*);
static lean_object* l_Lean_Widget_elabWidgetInstanceSpecAux___closed__44;
@ -240,6 +251,7 @@ static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_182____spec__5(lean_object*, size_t, size_t, lean_object*);
LEAN_EXPORT uint8_t l_Lean_Widget_getWidgetSource___lambda__2(lean_object*, uint64_t, lean_object*);
static lean_object* l_Lean_Widget_instRpcEncodablePanelWidgetInstance_dec____x40_Lean_Widget_UserWidget___hyg_4124____closed__5;
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2(lean_object*, lean_object*);
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____lambda__2___closed__3;
LEAN_EXPORT lean_object* l_Lean_throwErrorAt___at_Lean_Widget_elabShowPanelWidgetsCmd___spec__4___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4203____closed__19;
@ -283,12 +295,14 @@ static lean_object* l_Lean_Widget_elabWidgetInstanceSpecAux___closed__2;
LEAN_EXPORT lean_object* l_Lean_Widget_panelWidgetsExt;
LEAN_EXPORT lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_1367_(lean_object*);
LEAN_EXPORT lean_object* l_Lean_ofExcept___at___private_Lean_Widget_UserWidget_0__Lean_Widget_evalUserWidgetDefinitionUnsafe___spec__1(lean_object*);
lean_object* l_Lean_Elab_Info_updateContext_x3f(lean_object*, lean_object*);
lean_object* l_Lean_PersistentEnvExtension_addEntry___rarg(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instFromJsonUserWidgetDefinition;
static lean_object* l_Lean_Widget_elabWidgetInstanceSpecAux___closed__12;
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonGetWidgetSourceParams____x40_Lean_Widget_UserWidget___hyg_872____closed__2;
static lean_object* l_Lean_Widget_instRpcEncodablePanelWidgetInstance_dec____x40_Lean_Widget_UserWidget___hyg_4124____closed__1;
LEAN_EXPORT lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_182____lambda__1(lean_object*, lean_object*);
lean_object* l_Lean_Elab_PartialContextInfo_mergeIntoOuter_x3f(lean_object*, lean_object*);
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_1426____closed__4;
lean_object* l___private_Lean_CoreM_0__Lean_Core_mkFreshNameImp(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_getWidgetSource___lambda__6___closed__2;
@ -329,6 +343,7 @@ LEAN_EXPORT lean_object* l_Lean_RBNode_insert___at_Lean_Widget_addBuiltinModule_
static lean_object* l_Lean_Widget_elabWidgetInstanceSpecAux___closed__41;
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4203____closed__24;
lean_object* l_List_forM___at___private_Lean_Elab_Term_0__Lean_Elab_Term_elabTermAux___spec__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
uint8_t l_List_isEmpty___rarg(lean_object*);
static lean_object* l_Lean_Widget_elabWidgetInstanceSpecAux___closed__5;
static lean_object* l_Lean_Widget_elabWidgetInstanceSpecAux___closed__21;
LEAN_EXPORT lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -337,6 +352,7 @@ LEAN_EXPORT lean_object* l_Lean_Widget_WidgetInstance_ofHash(uint64_t, lean_obje
lean_object* lean_st_mk_ref(lean_object*, lean_object*);
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____lambda__4___closed__17;
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____closed__12;
lean_object* lean_array_to_list(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_throwUnsupportedSyntax___at_Lean_Widget_elabShowPanelWidgetsCmd___spec__1(lean_object*, lean_object*);
lean_object* l_Lean_addMessageContextPartial___at_Lean_Core_instAddMessageContextCoreM___spec__1(lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Name_num___override(lean_object*, lean_object*);
@ -392,6 +408,7 @@ static lean_object* l_Lean_Widget_widgetCmd___closed__3;
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4203____closed__26;
LEAN_EXPORT lean_object* l_Lean_Widget_addPanelWidgetScoped___rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Syntax_getArg(lean_object*, lean_object*);
lean_object* l___private_Init_Util_0__mkPanicMessageWithDecl(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_registerSimplePersistentEnvExtension___rarg(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_182____lambda__2(lean_object*);
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_evalWidgetInstanceUnsafe___closed__2;
@ -425,6 +442,7 @@ static lean_object* l_Lean_throwMaxRecDepthAt___at_Lean_Widget_elabShowPanelWidg
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____lambda__3___closed__1;
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4203____closed__16;
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4203____closed__14;
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2___lambda__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_elabWidgetInstanceSpecAux___closed__49;
lean_object* l_String_Range_toLspRange(lean_object*, lean_object*);
lean_object* l_Lean_MessageData_ofConstName(lean_object*, uint8_t);
@ -501,6 +519,7 @@ static lean_object* l_Lean_throwMaxRecDepthAt___at_Lean_Widget_elabShowPanelWidg
static lean_object* l_Lean_Widget_widgetCmd___closed__1;
static lean_object* l_Lean_Widget_elabWidgetInstanceSpec___closed__10;
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonUserWidgetDefinition____x40_Lean_Widget_UserWidget___hyg_3732____closed__5;
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodablePanelWidgetInstance_dec____x40_Lean_Widget_UserWidget___hyg_4124____lambda__1(lean_object*, lean_object*);
static lean_object* l_Lean_Widget_elabWidgetInstanceSpecAux___closed__34;
lean_object* l_Lean_throwError___at_Lean_Elab_Term_synthesizeInstMVarCore___spec__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -546,6 +565,7 @@ static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonGe
LEAN_EXPORT lean_object* l_Lean_Widget_addPanelWidgetScoped___rarg(lean_object*, lean_object*, lean_object*, uint64_t, lean_object*);
lean_object* l_Lean_Syntax_node1(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____lambda__7(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_deepestNodesM___at_Lean_Widget_widgetInfosAt_x3f___spec__1___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
uint8_t l_Lean_Expr_isConstOf(lean_object*, lean_object*);
lean_object* l_Lean_Server_RequestM_runTermElabM___rarg(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_instRpcEncodableGetWidgetsResponse___closed__2;
@ -555,10 +575,12 @@ static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRp
lean_object* l_Lean_addMessageContextFull___at_Lean_Meta_instAddMessageContextMetaM___spec__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ReaderT_bind___at_Lean_Widget_getWidgetSource___spec__1(lean_object*, lean_object*);
lean_object* l_String_toName(lean_object*);
extern lean_object* l_Id_instMonad;
static lean_object* l_Lean_Widget_widgetInstanceSpec___closed__18;
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4868____closed__5;
LEAN_EXPORT lean_object* l_Lean_Widget_widgetInstanceSpec;
static lean_object* l_Lean_Widget_elabWidgetInstanceSpec___closed__9;
lean_object* lean_panic_fn(lean_object*, lean_object*);
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____closed__4;
LEAN_EXPORT lean_object* l_Lean_Widget_instToJsonWidgetSource;
LEAN_EXPORT lean_object* l_Array_forIn_x27Unsafe_loop___at_Lean_Widget_elabShowPanelWidgetsCmd___spec__13___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -587,8 +609,8 @@ lean_object* l_Lean_Environment_evalConstCheck___rarg(lean_object*, lean_object*
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at_Lean_Widget_getWidgets___spec__4(lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonUserWidgetDefinition____x40_Lean_Widget_UserWidget___hyg_3732____closed__10;
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodablePanelWidgetInstance_dec____x40_Lean_Widget_UserWidget___hyg_4124____lambda__2___boxed(lean_object*, lean_object*);
lean_object* l_Lean_Elab_InfoTree_deepestNodes___rarg(lean_object*, lean_object*);
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_5456____closed__3;
lean_object* l_List_foldl___at_Array_appendList___spec__1___rarg(lean_object*, lean_object*);
lean_object* l_Lean_PersistentHashMap_mkEmptyEntriesArray(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_liftMacroM___at_Lean_Widget_elabShowPanelWidgetsCmd___spec__3___lambda__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_instToModuleModule___closed__1;
@ -659,12 +681,14 @@ lean_object* l_Array_mapMUnsafe_map___at___private_Lean_Data_Lsp_Basic_0__Lean_L
static lean_object* l_Array_forIn_x27Unsafe_loop___at_Lean_Widget_elabShowPanelWidgetsCmd___spec__13___closed__2;
LEAN_EXPORT lean_object* l_Lean_Widget_moduleRegistry;
static lean_object* l_Lean_Widget_elabWidgetInstanceSpecAux___closed__9;
lean_object* l_instInhabitedOfMonad___rarg(lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonWidgetSource____x40_Lean_Widget_UserWidget___hyg_1038____closed__2;
lean_object* lean_st_ref_set(lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_5456____closed__1;
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4203____closed__25;
static lean_object* l_Lean_logWarning___at_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____spec__2___closed__1;
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____lambda__4___closed__12;
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2___lambda__1___boxed(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_182____spec__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_RBNode_ins___at_Lean_Widget_addBuiltinModule___spec__2___boxed(lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Elab_Info_pos_x3f(lean_object*);
@ -720,10 +744,12 @@ LEAN_EXPORT lean_object* l_Lean_Widget_getWidgetSource___lambda__4(lean_object*,
lean_object* l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_toJsonPosition____x40_Lean_Data_Lsp_Basic___hyg_221_(lean_object*);
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____closed__3;
lean_object* l_Lean_Json_pretty(lean_object*, lean_object*);
static lean_object* l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__3;
LEAN_EXPORT lean_object* l_Array_forIn_x27Unsafe_loop___at_Lean_Widget_elabShowPanelWidgetsCmd___spec__13___lambda__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4203____closed__31;
static lean_object* l_Lean_Widget_elabWidgetInstanceSpecAux___closed__59;
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at_Lean_Widget_getWidgets___spec__4___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__4;
static lean_object* l_Lean_Widget_widgetInstanceSpec___closed__11;
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonWidgetSource____x40_Lean_Widget_UserWidget___hyg_1038____closed__8;
LEAN_EXPORT lean_object* l_Lean_Widget_instFromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4950_;
@ -748,6 +774,7 @@ static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240
static lean_object* l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonUserWidgetDefinition____x40_Lean_Widget_UserWidget___hyg_3732____closed__7;
static lean_object* l_Lean_Widget_eraseWidgetSpec___closed__4;
LEAN_EXPORT lean_object* l_Lean_Widget_instToJsonUserWidgetDefinition;
static lean_object* l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__1;
lean_object* l_Lean_Server_Snapshots_Snapshot_endPos(lean_object*);
static lean_object* l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____lambda__3___closed__2;
LEAN_EXPORT lean_object* l_Lean_RBNode_find___at_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_1426____spec__1___boxed(lean_object*, lean_object*);
@ -19309,6 +19336,444 @@ lean_dec(x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_List_filterMapTR_go___at_Lean_Widget_widgetInfosAt_x3f___spec__3(lean_object* x_1, lean_object* x_2) {
_start:
{
if (lean_obj_tag(x_1) == 0)
{
lean_object* x_3;
x_3 = lean_array_to_list(x_2);
return x_3;
}
else
{
lean_object* x_4;
x_4 = lean_ctor_get(x_1, 0);
lean_inc(x_4);
if (lean_obj_tag(x_4) == 0)
{
lean_object* x_5;
x_5 = lean_ctor_get(x_1, 1);
lean_inc(x_5);
lean_dec(x_1);
x_1 = x_5;
goto _start;
}
else
{
lean_object* x_7; lean_object* x_8; lean_object* x_9;
x_7 = lean_ctor_get(x_1, 1);
lean_inc(x_7);
lean_dec(x_1);
x_8 = lean_ctor_get(x_4, 0);
lean_inc(x_8);
lean_dec(x_4);
x_9 = lean_array_push(x_2, x_8);
x_1 = x_7;
x_2 = x_9;
goto _start;
}
}
}
}
LEAN_EXPORT lean_object* l_List_flatMapTR_go___at_Lean_Widget_widgetInfosAt_x3f___spec__4(lean_object* x_1, lean_object* x_2) {
_start:
{
if (lean_obj_tag(x_1) == 0)
{
lean_object* x_3;
x_3 = lean_array_to_list(x_2);
return x_3;
}
else
{
lean_object* x_4; lean_object* x_5; lean_object* x_6;
x_4 = lean_ctor_get(x_1, 0);
lean_inc(x_4);
x_5 = lean_ctor_get(x_1, 1);
lean_inc(x_5);
lean_dec(x_1);
x_6 = l_List_foldl___at_Array_appendList___spec__1___rarg(x_2, x_4);
x_1 = x_5;
x_2 = x_6;
goto _start;
}
}
}
static lean_object* _init_l_panic___at_Lean_Widget_widgetInfosAt_x3f___spec__6___closed__1() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_box(0);
x_2 = l_Id_instMonad;
x_3 = l_instInhabitedOfMonad___rarg(x_2, x_1);
return x_3;
}
}
LEAN_EXPORT lean_object* l_panic___at_Lean_Widget_widgetInfosAt_x3f___spec__6(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3;
x_2 = l_panic___at_Lean_Widget_widgetInfosAt_x3f___spec__6___closed__1;
x_3 = lean_panic_fn(x_2, x_1);
return x_3;
}
}
LEAN_EXPORT lean_object* l_List_mapM_loop___at_Lean_Widget_widgetInfosAt_x3f___spec__7(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_4) == 0)
{
lean_object* x_6;
lean_dec(x_3);
lean_dec(x_2);
lean_dec(x_1);
x_6 = l_List_reverse___rarg(x_5);
return x_6;
}
else
{
uint8_t x_7;
x_7 = !lean_is_exclusive(x_4);
if (x_7 == 0)
{
lean_object* x_8; lean_object* x_9; lean_object* x_10;
x_8 = lean_ctor_get(x_4, 0);
x_9 = lean_ctor_get(x_4, 1);
lean_inc(x_3);
lean_inc(x_2);
lean_inc(x_1);
x_10 = l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5(x_1, x_2, x_3, x_8);
lean_ctor_set(x_4, 1, x_5);
lean_ctor_set(x_4, 0, x_10);
{
lean_object* _tmp_3 = x_9;
lean_object* _tmp_4 = x_4;
x_4 = _tmp_3;
x_5 = _tmp_4;
}
goto _start;
}
else
{
lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15;
x_12 = lean_ctor_get(x_4, 0);
x_13 = lean_ctor_get(x_4, 1);
lean_inc(x_13);
lean_inc(x_12);
lean_dec(x_4);
lean_inc(x_3);
lean_inc(x_2);
lean_inc(x_1);
x_14 = l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5(x_1, x_2, x_3, x_12);
x_15 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_15, 0, x_14);
lean_ctor_set(x_15, 1, x_5);
x_4 = x_13;
x_5 = x_15;
goto _start;
}
}
}
}
static lean_object* _init_l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("Lean.Server.InfoUtils", 21, 21);
return x_1;
}
}
static lean_object* _init_l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__2() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("Lean.Elab.InfoTree.visitM.go", 28, 28);
return x_1;
}
}
static lean_object* _init_l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__3() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_unchecked("unexpected context-free info tree node", 38, 38);
return x_1;
}
}
static lean_object* _init_l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__4() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6;
x_1 = l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__1;
x_2 = l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__2;
x_3 = lean_unsigned_to_nat(62u);
x_4 = lean_unsigned_to_nat(21u);
x_5 = l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__3;
x_6 = l___private_Init_Util_0__mkPanicMessageWithDecl(x_1, x_2, x_3, x_4, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
_start:
{
if (lean_obj_tag(x_3) == 0)
{
switch (lean_obj_tag(x_4)) {
case 0:
{
lean_object* x_5; lean_object* x_6; lean_object* x_7;
x_5 = lean_ctor_get(x_4, 0);
lean_inc(x_5);
x_6 = lean_ctor_get(x_4, 1);
lean_inc(x_6);
lean_dec(x_4);
x_7 = l_Lean_Elab_PartialContextInfo_mergeIntoOuter_x3f(x_5, x_3);
x_3 = x_7;
x_4 = x_6;
goto _start;
}
case 1:
{
lean_object* x_9; lean_object* x_10;
lean_dec(x_4);
lean_dec(x_2);
lean_dec(x_1);
x_9 = l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__4;
x_10 = l_panic___at_Lean_Widget_widgetInfosAt_x3f___spec__6(x_9);
return x_10;
}
default:
{
lean_object* x_11;
lean_dec(x_4);
lean_dec(x_2);
lean_dec(x_1);
x_11 = lean_box(0);
return x_11;
}
}
}
else
{
switch (lean_obj_tag(x_4)) {
case 0:
{
lean_object* x_12; lean_object* x_13; lean_object* x_14;
x_12 = lean_ctor_get(x_4, 0);
lean_inc(x_12);
x_13 = lean_ctor_get(x_4, 1);
lean_inc(x_13);
lean_dec(x_4);
x_14 = l_Lean_Elab_PartialContextInfo_mergeIntoOuter_x3f(x_12, x_3);
x_3 = x_14;
x_4 = x_13;
goto _start;
}
case 1:
{
uint8_t x_16;
x_16 = !lean_is_exclusive(x_3);
if (x_16 == 0)
{
lean_object* x_17; lean_object* x_18; lean_object* x_19; lean_object* x_20; uint8_t x_21;
x_17 = lean_ctor_get(x_3, 0);
x_18 = lean_ctor_get(x_4, 0);
lean_inc(x_18);
x_19 = lean_ctor_get(x_4, 1);
lean_inc(x_19);
lean_dec(x_4);
lean_inc(x_1);
lean_inc(x_19);
lean_inc(x_18);
lean_inc(x_17);
x_20 = lean_apply_3(x_1, x_17, x_18, x_19);
x_21 = lean_unbox(x_20);
lean_dec(x_20);
if (x_21 == 0)
{
lean_object* x_22; lean_object* x_23;
lean_dec(x_1);
x_22 = lean_box(0);
x_23 = lean_apply_4(x_2, x_17, x_18, x_19, x_22);
lean_ctor_set(x_3, 0, x_23);
return x_3;
}
else
{
lean_object* x_24; lean_object* x_25; lean_object* x_26; lean_object* x_27; lean_object* x_28; lean_object* x_29;
lean_inc(x_17);
x_24 = l_Lean_Elab_Info_updateContext_x3f(x_3, x_18);
x_25 = l_Lean_PersistentArray_toList___rarg(x_19);
x_26 = lean_box(0);
lean_inc(x_2);
x_27 = l_List_mapM_loop___at_Lean_Widget_widgetInfosAt_x3f___spec__7(x_1, x_2, x_24, x_25, x_26);
x_28 = lean_apply_4(x_2, x_17, x_18, x_19, x_27);
x_29 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_29, 0, x_28);
return x_29;
}
}
else
{
lean_object* x_30; lean_object* x_31; lean_object* x_32; lean_object* x_33; uint8_t x_34;
x_30 = lean_ctor_get(x_3, 0);
lean_inc(x_30);
lean_dec(x_3);
x_31 = lean_ctor_get(x_4, 0);
lean_inc(x_31);
x_32 = lean_ctor_get(x_4, 1);
lean_inc(x_32);
lean_dec(x_4);
lean_inc(x_1);
lean_inc(x_32);
lean_inc(x_31);
lean_inc(x_30);
x_33 = lean_apply_3(x_1, x_30, x_31, x_32);
x_34 = lean_unbox(x_33);
lean_dec(x_33);
if (x_34 == 0)
{
lean_object* x_35; lean_object* x_36; lean_object* x_37;
lean_dec(x_1);
x_35 = lean_box(0);
x_36 = lean_apply_4(x_2, x_30, x_31, x_32, x_35);
x_37 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_37, 0, x_36);
return x_37;
}
else
{
lean_object* x_38; lean_object* x_39; lean_object* x_40; lean_object* x_41; lean_object* x_42; lean_object* x_43; lean_object* x_44;
lean_inc(x_30);
x_38 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_38, 0, x_30);
x_39 = l_Lean_Elab_Info_updateContext_x3f(x_38, x_31);
x_40 = l_Lean_PersistentArray_toList___rarg(x_32);
x_41 = lean_box(0);
lean_inc(x_2);
x_42 = l_List_mapM_loop___at_Lean_Widget_widgetInfosAt_x3f___spec__7(x_1, x_2, x_39, x_40, x_41);
x_43 = lean_apply_4(x_2, x_30, x_31, x_32, x_42);
x_44 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_44, 0, x_43);
return x_44;
}
}
}
default:
{
lean_object* x_45;
lean_dec(x_4);
lean_dec(x_3);
lean_dec(x_2);
lean_dec(x_1);
x_45 = lean_box(0);
return x_45;
}
}
}
}
}
LEAN_EXPORT uint8_t l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2___lambda__1(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
uint8_t x_4;
x_4 = 1;
return x_4;
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2___lambda__2(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; lean_object* x_7; lean_object* x_8; lean_object* x_9;
x_6 = l_Lean_Widget_initFn____x40_Lean_Widget_UserWidget___hyg_240____lambda__4___closed__9;
x_7 = l_List_filterMapTR_go___at_Lean_Widget_widgetInfosAt_x3f___spec__3(x_5, x_6);
x_8 = l_List_flatMapTR_go___at_Lean_Widget_widgetInfosAt_x3f___spec__4(x_7, x_6);
x_9 = lean_apply_4(x_1, x_2, x_3, x_4, x_8);
return x_9;
}
}
static lean_object* _init_l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_alloc_closure((void*)(l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2___lambda__1___boxed), 3, 0);
return x_1;
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6;
x_3 = lean_alloc_closure((void*)(l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2___lambda__2), 5, 1);
lean_closure_set(x_3, 0, x_1);
x_4 = lean_box(0);
x_5 = l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2___closed__1;
x_6 = l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5(x_5, x_3, x_4, x_2);
if (lean_obj_tag(x_6) == 0)
{
lean_object* x_7;
x_7 = lean_box(0);
return x_7;
}
else
{
lean_object* x_8;
x_8 = lean_ctor_get(x_6, 0);
lean_inc(x_8);
lean_dec(x_6);
return x_8;
}
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_deepestNodesM___at_Lean_Widget_widgetInfosAt_x3f___spec__1___lambda__1(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 = l_List_isEmpty___rarg(x_5);
if (x_6 == 0)
{
lean_dec(x_4);
lean_dec(x_3);
lean_dec(x_2);
lean_dec(x_1);
lean_inc(x_5);
return x_5;
}
else
{
lean_object* x_7;
x_7 = lean_apply_3(x_1, x_2, x_3, x_4);
if (lean_obj_tag(x_7) == 0)
{
lean_object* x_8;
x_8 = lean_box(0);
return x_8;
}
else
{
lean_object* x_9; lean_object* x_10; lean_object* x_11;
x_9 = lean_ctor_get(x_7, 0);
lean_inc(x_9);
lean_dec(x_7);
x_10 = lean_box(0);
x_11 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_11, 0, x_9);
lean_ctor_set(x_11, 1, x_10);
return x_11;
}
}
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_deepestNodesM___at_Lean_Widget_widgetInfosAt_x3f___spec__1(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4;
x_3 = lean_alloc_closure((void*)(l_Lean_Elab_InfoTree_deepestNodesM___at_Lean_Widget_widgetInfosAt_x3f___spec__1___lambda__1___boxed), 5, 1);
lean_closure_set(x_3, 0, x_1);
x_4 = l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2(x_3, x_2);
return x_4;
}
}
LEAN_EXPORT lean_object* l_Lean_Widget_widgetInfosAt_x3f___lambda__1(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) {
_start:
{
@ -19456,10 +19921,31 @@ lean_object* x_4; lean_object* x_5;
x_4 = lean_alloc_closure((void*)(l_Lean_Widget_widgetInfosAt_x3f___lambda__1___boxed), 5, 2);
lean_closure_set(x_4, 0, x_1);
lean_closure_set(x_4, 1, x_3);
x_5 = l_Lean_Elab_InfoTree_deepestNodes___rarg(x_4, x_2);
x_5 = l_Lean_Elab_InfoTree_deepestNodesM___at_Lean_Widget_widgetInfosAt_x3f___spec__1(x_4, x_2);
return x_5;
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2___lambda__1___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
uint8_t x_4; lean_object* x_5;
x_4 = l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2___lambda__1(x_1, x_2, x_3);
lean_dec(x_3);
lean_dec(x_2);
lean_dec(x_1);
x_5 = lean_box(x_4);
return x_5;
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_InfoTree_deepestNodesM___at_Lean_Widget_widgetInfosAt_x3f___spec__1___lambda__1___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_Elab_InfoTree_deepestNodesM___at_Lean_Widget_widgetInfosAt_x3f___spec__1___lambda__1(x_1, x_2, x_3, x_4, x_5);
lean_dec(x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lean_Widget_widgetInfosAt_x3f___lambda__1___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) {
_start:
{
@ -23995,6 +24481,18 @@ l_Lean_Widget_instFromJsonUserWidgetDefinition___closed__1 = _init_l_Lean_Widget
lean_mark_persistent(l_Lean_Widget_instFromJsonUserWidgetDefinition___closed__1);
l_Lean_Widget_instFromJsonUserWidgetDefinition = _init_l_Lean_Widget_instFromJsonUserWidgetDefinition();
lean_mark_persistent(l_Lean_Widget_instFromJsonUserWidgetDefinition);
l_panic___at_Lean_Widget_widgetInfosAt_x3f___spec__6___closed__1 = _init_l_panic___at_Lean_Widget_widgetInfosAt_x3f___spec__6___closed__1();
lean_mark_persistent(l_panic___at_Lean_Widget_widgetInfosAt_x3f___spec__6___closed__1);
l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__1 = _init_l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__1();
lean_mark_persistent(l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__1);
l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__2 = _init_l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__2();
lean_mark_persistent(l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__2);
l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__3 = _init_l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__3();
lean_mark_persistent(l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__3);
l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__4 = _init_l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__4();
lean_mark_persistent(l_Lean_Elab_InfoTree_visitM_go___at_Lean_Widget_widgetInfosAt_x3f___spec__5___closed__4);
l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2___closed__1 = _init_l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2___closed__1();
lean_mark_persistent(l_Lean_Elab_InfoTree_collectNodesBottomUpM___at_Lean_Widget_widgetInfosAt_x3f___spec__2___closed__1);
l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4203____closed__1 = _init_l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4203____closed__1();
lean_mark_persistent(l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4203____closed__1);
l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4203____closed__2 = _init_l___private_Lean_Widget_UserWidget_0__Lean_Widget_fromJsonRpcEncodablePacket____x40_Lean_Widget_UserWidget___hyg_4203____closed__2();