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 17:39:42 +00:00
parent dcd70cbfba
commit 06d022b9c0
7 changed files with 6957 additions and 4470 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

110
stage0/stdlib/Lean/Elab/InfoTree/InlayHints.c generated
View file

@ -13,23 +13,29 @@
#ifdef __cplusplus
extern "C" {
#endif
static lean_object* l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__4;
LEAN_EXPORT lean_object* l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287_;
uint8_t l___private_Lean_Syntax_0__String_beqRange____x40_Lean_Syntax___hyg_95_(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_InlayHint_ofCustomInfo_x3f___boxed(lean_object*);
LEAN_EXPORT uint8_t l___private_Lean_Elab_InfoTree_InlayHints_0__Lean_Elab_beqInlayHintTextEdit____x40_Lean_Elab_InfoTree_InlayHints___hyg_104_(lean_object*, lean_object*);
uint8_t lean_string_dec_eq(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_instTypeNameInlayHint;
LEAN_EXPORT lean_object* l_Lean_Elab_InlayHintKind_noConfusion___rarg___boxed(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_InlayHintKind_noConfusion___rarg(uint8_t, uint8_t, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_InlayHintKind_noConfusion___rarg___lambda__1___boxed(lean_object*);
lean_object* l_Lean_Name_mkStr3(lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__2;
LEAN_EXPORT lean_object* l_Lean_Elab_InlayHint_ofCustomInfo_x3f(lean_object*);
static lean_object* l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__3;
static lean_object* l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__2;
LEAN_EXPORT lean_object* l_Lean_Elab_InlayHint_resolveDeferred(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213_;
LEAN_EXPORT lean_object* l_Lean_Elab_InlayHint_toCustomInfo(lean_object*);
static lean_object* l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__1;
LEAN_EXPORT lean_object* l_Lean_Elab_InlayHintKind_toCtorIdx(uint8_t);
static lean_object* l_Lean_Elab_instBEqInlayHintTextEdit___closed__1;
LEAN_EXPORT lean_object* l_Lean_Elab_InlayHintKind_toCtorIdx___boxed(lean_object*);
static lean_object* l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__3;
LEAN_EXPORT lean_object* l___private_Lean_Elab_InfoTree_InlayHints_0__Lean_Elab_beqInlayHintTextEdit____x40_Lean_Elab_InfoTree_InlayHints___hyg_104____boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_instBEqInlayHintTextEdit;
LEAN_EXPORT lean_object* l_Lean_Elab_InlayHintKind_noConfusion___rarg___lambda__1(lean_object*);
static lean_object* l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__4;
static lean_object* l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__1;
static lean_object* l_Lean_Elab_InlayHintKind_noConfusion___rarg___closed__1;
lean_object* l___private_Init_Dynamic_0__Dynamic_get_x3fImpl___rarg(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_InlayHintKind_noConfusion(lean_object*);
@ -112,7 +118,57 @@ x_6 = l_Lean_Elab_InlayHintKind_noConfusion___rarg(x_4, x_5, x_3);
return x_6;
}
}
static lean_object* _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__1() {
LEAN_EXPORT uint8_t l___private_Lean_Elab_InfoTree_InlayHints_0__Lean_Elab_beqInlayHintTextEdit____x40_Lean_Elab_InfoTree_InlayHints___hyg_104_(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; uint8_t x_7;
x_3 = lean_ctor_get(x_1, 0);
x_4 = lean_ctor_get(x_1, 1);
x_5 = lean_ctor_get(x_2, 0);
x_6 = lean_ctor_get(x_2, 1);
x_7 = l___private_Lean_Syntax_0__String_beqRange____x40_Lean_Syntax___hyg_95_(x_3, x_5);
if (x_7 == 0)
{
uint8_t x_8;
x_8 = 0;
return x_8;
}
else
{
uint8_t x_9;
x_9 = lean_string_dec_eq(x_4, x_6);
return x_9;
}
}
}
LEAN_EXPORT lean_object* l___private_Lean_Elab_InfoTree_InlayHints_0__Lean_Elab_beqInlayHintTextEdit____x40_Lean_Elab_InfoTree_InlayHints___hyg_104____boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4;
x_3 = l___private_Lean_Elab_InfoTree_InlayHints_0__Lean_Elab_beqInlayHintTextEdit____x40_Lean_Elab_InfoTree_InlayHints___hyg_104_(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
static lean_object* _init_l_Lean_Elab_instBEqInlayHintTextEdit___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_alloc_closure((void*)(l___private_Lean_Elab_InfoTree_InlayHints_0__Lean_Elab_beqInlayHintTextEdit____x40_Lean_Elab_InfoTree_InlayHints___hyg_104____boxed), 2, 0);
return x_1;
}
}
static lean_object* _init_l_Lean_Elab_instBEqInlayHintTextEdit() {
_start:
{
lean_object* x_1;
x_1 = l_Lean_Elab_instBEqInlayHintTextEdit___closed__1;
return x_1;
}
}
static lean_object* _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__1() {
_start:
{
lean_object* x_1;
@ -120,7 +176,7 @@ x_1 = lean_mk_string_unchecked("Lean", 4, 4);
return x_1;
}
}
static lean_object* _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__2() {
static lean_object* _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__2() {
_start:
{
lean_object* x_1;
@ -128,7 +184,7 @@ x_1 = lean_mk_string_unchecked("Elab", 4, 4);
return x_1;
}
}
static lean_object* _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__3() {
static lean_object* _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__3() {
_start:
{
lean_object* x_1;
@ -136,22 +192,22 @@ x_1 = lean_mk_string_unchecked("InlayHint", 9, 9);
return x_1;
}
}
static lean_object* _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__4() {
static lean_object* _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__4() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_1 = l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__1;
x_2 = l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__2;
x_3 = l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__3;
x_1 = l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__1;
x_2 = l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__2;
x_3 = l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__3;
x_4 = l_Lean_Name_mkStr3(x_1, x_2, x_3);
return x_4;
}
}
static lean_object* _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213_() {
static lean_object* _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287_() {
_start:
{
lean_object* x_1;
x_1 = l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__4;
x_1 = l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__4;
return x_1;
}
}
@ -159,7 +215,7 @@ static lean_object* _init_l_Lean_Elab_instTypeNameInlayHint() {
_start:
{
lean_object* x_1;
x_1 = l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213_;
x_1 = l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287_;
return x_1;
}
}
@ -343,16 +399,20 @@ if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l_Lean_Elab_InlayHintKind_noConfusion___rarg___closed__1 = _init_l_Lean_Elab_InlayHintKind_noConfusion___rarg___closed__1();
lean_mark_persistent(l_Lean_Elab_InlayHintKind_noConfusion___rarg___closed__1);
l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__1 = _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__1();
lean_mark_persistent(l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__1);
l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__2 = _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__2();
lean_mark_persistent(l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__2);
l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__3 = _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__3();
lean_mark_persistent(l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__3);
l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__4 = _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__4();
lean_mark_persistent(l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213____closed__4);
l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213_ = _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213_();
lean_mark_persistent(l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_213_);
l_Lean_Elab_instBEqInlayHintTextEdit___closed__1 = _init_l_Lean_Elab_instBEqInlayHintTextEdit___closed__1();
lean_mark_persistent(l_Lean_Elab_instBEqInlayHintTextEdit___closed__1);
l_Lean_Elab_instBEqInlayHintTextEdit = _init_l_Lean_Elab_instBEqInlayHintTextEdit();
lean_mark_persistent(l_Lean_Elab_instBEqInlayHintTextEdit);
l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__1 = _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__1();
lean_mark_persistent(l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__1);
l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__2 = _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__2();
lean_mark_persistent(l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__2);
l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__3 = _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__3();
lean_mark_persistent(l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__3);
l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__4 = _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__4();
lean_mark_persistent(l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287____closed__4);
l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287_ = _init_l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287_();
lean_mark_persistent(l_Lean_Elab_instImpl____x40_Lean_Elab_InfoTree_InlayHints___hyg_287_);
l_Lean_Elab_instTypeNameInlayHint = _init_l_Lean_Elab_instTypeNameInlayHint();
lean_mark_persistent(l_Lean_Elab_instTypeNameInlayHint);
return lean_io_result_mk_ok(lean_box(0));

1751
stage0/stdlib/Lean/Elab/Term.c generated
View file

File diff suppressed because it is too large Load diff

1525
stage0/stdlib/Lean/Server/AsyncList.c generated
View file

File diff suppressed because it is too large Load diff

2776
stage0/stdlib/Lean/Server/FileWorker.c generated
View file

File diff suppressed because it is too large Load diff

3701
stage0/stdlib/Lean/Server/FileWorker/InlayHints.c generated
View file

File diff suppressed because it is too large Load diff

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

File diff suppressed because it is too large Load diff

783
stage0/stdlib/Lean/Server/Requests.c generated
View file

File diff suppressed because it is too large Load diff