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:
Leonardo de Moura 2022-11-30 16:11:05 -08:00
parent e5681ac141
commit 95467dfab7
5 changed files with 1527 additions and 1101 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
stage0/src/runtime/hash.h generated
View file

@ -21,11 +21,15 @@ inline unsigned hash(unsigned h1, unsigned h2) {
return h2;
}
inline uint64 hash(uint64 h1, uint64 h2) {
h2 -= h1; h2 ^= (h1 << 16);
h1 -= h2; h2 ^= (h1 << 32);
h2 -= h1; h2 ^= (h1 << 20);
return h2;
inline uint64 hash(uint64 h, uint64 k) {
uint64 m = 0xc6a4a7935bd1e995;
uint64 r = 47;
k *= m;
k ^= k >> r;
k ^= m;
h ^= k;
h *= m;
return h;
}
inline unsigned hash_ptr(void const * ptr) {

10
stage0/stdlib/Init/Data/AC.c generated
View file

@ -16,9 +16,9 @@ extern "C" {
static lean_object* l_Lean_Data_AC_instBEqExpr___closed__1;
LEAN_EXPORT lean_object* l_Lean_Data_AC_removeNeutrals(lean_object*);
static lean_object* l___private_Init_Data_AC_0__Lean_Data_AC_reprExpr____x40_Init_Data_AC___hyg_40____closed__2;
LEAN_EXPORT lean_object* l___private_Init_Data_AC_0____private_Init_Data_AC_0__Lean_Data_AC_reprExpr____x40_Init_Data_AC___hyg_40__match__1_splitter___rarg(lean_object*, lean_object*, lean_object*);
lean_object* l_List_getD___rarg(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Data_AC_eval___rarg(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Init_Data_AC_0____private_Init_Data_AC_0__Lean_Data_AC_reprExpr_match__1_splitter____x40_Init_Data_AC___hyg_40____rarg(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Data_AC_instReprExpr;
LEAN_EXPORT lean_object* l_Lean_Data_AC_norm___rarg(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Data_AC_instEvalInformationContext___lambda__1(lean_object*);
@ -73,8 +73,8 @@ LEAN_EXPORT lean_object* l___private_Init_Data_AC_0__Lean_Data_AC_sort_loop_matc
LEAN_EXPORT lean_object* l_Lean_Data_AC_evalList(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Init_Data_AC_0__List_reverseAux_match__1_splitter(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Data_AC_instEvalInformationContext(lean_object*);
LEAN_EXPORT lean_object* l___private_Init_Data_AC_0____private_Init_Data_AC_0__Lean_Data_AC_reprExpr____x40_Init_Data_AC___hyg_40__match__1_splitter(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Data_AC_insert(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Init_Data_AC_0____private_Init_Data_AC_0__Lean_Data_AC_reprExpr_match__1_splitter____x40_Init_Data_AC___hyg_40_(lean_object*);
static lean_object* l___private_Init_Data_AC_0__Lean_Data_AC_reprExpr____x40_Init_Data_AC___hyg_40____closed__6;
LEAN_EXPORT lean_object* l_Lean_Data_AC_instContextInformationContext___lambda__3___boxed(lean_object*);
uint8_t lean_nat_dec_le(lean_object*, lean_object*);
@ -1420,7 +1420,7 @@ x_2 = lean_alloc_closure((void*)(l___private_Init_Data_AC_0__Lean_Data_AC_sort_l
return x_2;
}
}
LEAN_EXPORT lean_object* l___private_Init_Data_AC_0____private_Init_Data_AC_0__Lean_Data_AC_reprExpr____x40_Init_Data_AC___hyg_40__match__1_splitter___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l___private_Init_Data_AC_0____private_Init_Data_AC_0__Lean_Data_AC_reprExpr_match__1_splitter____x40_Init_Data_AC___hyg_40____rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
if (lean_obj_tag(x_1) == 0)
@ -1447,11 +1447,11 @@ return x_8;
}
}
}
LEAN_EXPORT lean_object* l___private_Init_Data_AC_0____private_Init_Data_AC_0__Lean_Data_AC_reprExpr____x40_Init_Data_AC___hyg_40__match__1_splitter(lean_object* x_1) {
LEAN_EXPORT lean_object* l___private_Init_Data_AC_0____private_Init_Data_AC_0__Lean_Data_AC_reprExpr_match__1_splitter____x40_Init_Data_AC___hyg_40_(lean_object* x_1) {
_start:
{
lean_object* x_2;
x_2 = lean_alloc_closure((void*)(l___private_Init_Data_AC_0____private_Init_Data_AC_0__Lean_Data_AC_reprExpr____x40_Init_Data_AC___hyg_40__match__1_splitter___rarg), 3, 0);
x_2 = lean_alloc_closure((void*)(l___private_Init_Data_AC_0____private_Init_Data_AC_0__Lean_Data_AC_reprExpr_match__1_splitter____x40_Init_Data_AC___hyg_40____rarg), 3, 0);
return x_2;
}
}

230
stage0/stdlib/Lean/Elab/Quotation.c generated
View file

@ -17,8 +17,12 @@ static lean_object* l_Lean_Elab_Term_Quotation_ArrayStxBuilder_mkNode___closed__
static lean_object* l_List_mapM_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__4___closed__12;
lean_object* l_List_reverse___rarg(lean_object*);
uint8_t l_Lean_Syntax_isQuot(lean_object*);
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__18___boxed(lean_object**);
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002_(lean_object*);
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025_(lean_object*);
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071_(lean_object*);
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048_(lean_object*);
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094_(lean_object*);
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getSepStxFromSplice___closed__25;
LEAN_EXPORT lean_object* l_Array_foldrMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__16___boxed(lean_object*, 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_Lean_Elab_Term_Quotation___aux__Lean__Elab__Quotation______macroRules__Lean__Elab__Term__Quotation__commandElab__stx__quot____1___closed__20;
@ -73,7 +77,6 @@ LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quota
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__24___closed__6;
static lean_object* l_Lean_Elab_Term_Quotation_mkSyntaxQuotation___closed__39;
lean_object* lean_mk_empty_array_with_capacity(lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__4;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_floatOutAntiquotTerms___lambda__1___closed__4;
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___lambda__3___closed__35;
LEAN_EXPORT lean_object* l_List_mapTR_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__27(lean_object*, lean_object*);
@ -165,8 +168,8 @@ static lean_object* l_Lean_Elab_Term_Quotation___aux__Lean__Elab__Quotation_____
static lean_object* l_List_foldlM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__17___closed__4;
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___lambda__3___closed__5;
static lean_object* l_Lean_Elab_Term_Quotation___aux__Lean__Elab__Quotation______macroRules__Lean__Elab__Term__Quotation__commandElab__stx__quot____1___closed__32;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__3;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__23___closed__8;
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange(lean_object*);
static lean_object* l_Lean_Elab_Term_Quotation_mkSyntaxQuotation___closed__27;
LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__16___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, 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___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__19___boxed(lean_object**);
@ -271,7 +274,6 @@ static lean_object* l_Lean_Elab_Term_Quotation_mkSyntaxQuotation___closed__13;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__23___closed__15;
static lean_object* l_Lean_Elab_Term_Quotation___aux__Lean__Elab__Quotation______macroRules__Lean__Elab__Term__Quotation__commandElab__stx__quot____1___closed__34;
lean_object* lean_string_utf8_extract(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange(lean_object*);
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__26___closed__5;
static lean_object* l_Lean_Elab_Term_Quotation_commandElab__stx__quot_____closed__1;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__14___closed__14;
@ -279,7 +281,6 @@ LEAN_EXPORT lean_object* l_Lean_Elab_throwUnsupportedSyntax___at___private_Lean_
lean_object* l_Lean_Syntax_getAntiquotTerm(lean_object*);
static lean_object* l_Lean_Elab_Term_Quotation_getQuotKind___closed__2;
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___closed__20;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__1;
LEAN_EXPORT lean_object* l_List_mapM_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__4___boxed(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_Elab_Quotation_0__Lean_Elab_Term_Quotation_floatOutAntiquotTerms___lambda__1___closed__6;
static lean_object* l_Lean_Elab_Term_Quotation_mkSyntaxQuotation___closed__23;
@ -298,7 +299,6 @@ LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___private_Lean_Elab_Quotati
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__26___closed__1;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__8___closed__7;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__23___closed__3;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__2;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__14___closed__18;
static lean_object* l_Lean_Elab_Term_Quotation_ArrayStxBuilder_mkNode___closed__31;
static lean_object* l_List_mapM_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__4___closed__8;
@ -360,7 +360,6 @@ LEAN_EXPORT lean_object* l_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Qu
LEAN_EXPORT lean_object* l_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048_(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_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002_(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_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025_(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__1;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___closed__2;
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_deduplicate___lambda__1___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_Lean_Elab_Term_Quotation_instQuotePreresolvedMkStr1___closed__1;
@ -379,10 +378,10 @@ static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__20___boxed(lean_object**);
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__21(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, 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_Init_Meta_0__Lean_quoteList___at_Lean_Elab_Term_Quotation_ArrayStxBuilder_build___spec__2___closed__6;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__1;
static lean_object* l_Lean_Elab_Term_Quotation_ArrayStxBuilder_mkNode___closed__36;
static lean_object* l_Lean_Elab_Term_Quotation_getQuotKind___closed__8;
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__4;
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_floatOutAntiquotTerms(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Elab_Term_Quotation___aux__Lean__Elab__Quotation______macroRules__Lean__Elab__Term__Quotation__commandElab__stx__quot____1___closed__7;
lean_object* l_Array_zip___rarg(lean_object*, lean_object*);
@ -390,8 +389,8 @@ static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_floatOutAntiquotTerms___lambda__1___closed__2;
static lean_object* l_Lean_Elab_Term_Quotation_initFn____x40_Lean_Elab_Quotation___hyg_19673____closed__1;
static lean_object* l_Lean_Elab_Term_Quotation_instQuotePreresolvedMkStr1___closed__2;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__3;
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___closed__33;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__4;
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_deduplicate___lambda__2(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___regBuiltin_Lean_Elab_Term_Quotation_elabNoErrorIfUnused_declRange___closed__1;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__23___closed__22;
@ -410,7 +409,6 @@ LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quota
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__12(lean_object*, size_t, size_t, lean_object*);
static lean_object* l_Lean_Elab_Term_Quotation_mkTuple___closed__18;
lean_object* l_Lean_Syntax_node5(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__1;
LEAN_EXPORT lean_object* l_List_mapM_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__8___boxed(lean_object**);
uint8_t l_Lean_Syntax_isAntiquots(lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094____closed__1;
@ -442,7 +440,6 @@ static lean_object* l_Lean_Elab_Term_Quotation_ArrayStxBuilder_mkNode___closed__
LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_compileStxMatch___spec__8___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_Lean_Elab_Term_Quotation_ArrayStxBuilder_mkNode___closed__67;
static lean_object* l_List_format___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_compileStxMatch___spec__10___closed__1;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__2;
static lean_object* l_Lean_Elab_Term_Quotation_ArrayStxBuilder_mkNode___closed__40;
static lean_object* l_Array_foldrMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__4___closed__8;
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_compileStxMatch___lambda__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -559,6 +556,7 @@ lean_object* l_Lean_ResolveName_resolveNamespace(lean_object*, lean_object*, lea
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getSepStxFromSplice___closed__18;
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__28___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Syntax_node7(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__2;
static lean_object* l_Lean_Elab_Term_Quotation_getQuotKind___closed__13;
static lean_object* l_Lean_Elab_Term_Quotation___aux__Lean__Elab__Quotation______macroRules__Lean__Elab__Term__Quotation__commandElab__stx__quot____1___closed__21;
LEAN_EXPORT lean_object* l_Lean_Elab_Term_Quotation_ArrayStxBuilder_mkNode___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -621,7 +619,7 @@ static lean_object* l_Lean_Elab_Term_Quotation___aux__Lean__Elab__Quotation_____
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___closed__23;
LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_markRhss___spec__9(lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025____closed__2;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__2;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__2;
lean_object* l_Lean_Syntax_getId(lean_object*);
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getSepStxFromSplice___closed__5;
lean_object* l_Lean_Elab_addMacroStack___at_Lean_Elab_Term_instAddErrorMessageContextTermElabM___spec__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -635,6 +633,7 @@ static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Elab_Term_Quotation_match__syntax_expand___spec__6(lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_List_foldlM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__17___closed__5;
LEAN_EXPORT uint8_t l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_hasNoErrorIfUnused(lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__4;
static lean_object* l_Lean_Elab_Term_Quotation_ArrayStxBuilder_mkNode___closed__20;
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabMatchSyntax(lean_object*);
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__16___closed__6;
@ -668,7 +667,6 @@ static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabMatchSyntax_decl
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__8___closed__4;
static lean_object* l_List_foldlM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__17___closed__3;
LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__15(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__2;
static lean_object* l_Lean_Elab_Term_Quotation_mkSyntaxQuotation___closed__21;
static lean_object* l_Lean_Elab_Term_Quotation_mkSyntaxQuotation___closed__38;
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_floatOutAntiquotTerms___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -688,9 +686,9 @@ LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quota
static lean_object* l_Array_foldrMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__4___closed__6;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__10___closed__22;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___lambda__1___closed__17;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__4;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getSepStxFromSplice___closed__26;
static lean_object* l_Lean_Elab_Term_Quotation_initFn____x40_Lean_Elab_Quotation___hyg_19673____closed__2;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__2;
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__10(lean_object*, lean_object*, size_t, size_t, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_Term_Quotation_addNamedQuotInfo(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Init_Meta_0__Lean_quoteList___at_Lean_Elab_Term_Quotation_ArrayStxBuilder_build___spec__2___closed__7;
@ -702,6 +700,7 @@ LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quota
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__23___closed__20;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___closed__3;
lean_object* l___private_Init_Util_0__mkPanicMessageWithDecl(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__4;
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___closed__64;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___lambda__1___closed__8;
LEAN_EXPORT lean_object* l_Array_foldrMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__17(lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -721,7 +720,6 @@ static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___closed__47;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabMatchSyntax_declRange___closed__5;
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__12(lean_object*, size_t, size_t, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__1;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___lambda__1___closed__27;
static lean_object* l_Lean_Elab_Term_Quotation_mkSyntaxQuotation___closed__37;
static lean_object* l_Lean_Elab_Term_Quotation_ArrayStxBuilder_mkNode___closed__42;
@ -734,10 +732,10 @@ static lean_object* l_List_mapM_loop___at___private_Lean_Elab_Quotation_0__Lean_
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___closed__60;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___closed__3;
LEAN_EXPORT lean_object* l_Lean_Elab_Term_Quotation_getQuotKind(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__4;
static lean_object* l_Lean_Elab_Term_Quotation_ArrayStxBuilder_mkNode___closed__53;
static lean_object* l_Lean_Elab_Term_Quotation___aux__Lean__Elab__Quotation______macroRules__Lean__Elab__Term__Quotation__commandElab__stx__quot____1___closed__26;
LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___lambda__1(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___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__2;
lean_object* l_String_dropRight(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_List_foldl___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_markRhss___spec__6___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_markRhss___spec__7(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__26(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -759,6 +757,7 @@ LEAN_EXPORT lean_object* l_Lean_Elab_Term_Quotation_ArrayStxBuilder_empty;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002____closed__5;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_floatOutAntiquotTerms___lambda__1___closed__14;
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__2(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___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__4;
static lean_object* l_Lean_Elab_Term_Quotation_ArrayStxBuilder_mkNode___closed__12;
static lean_object* l_Lean_Elab_Term_Quotation_mkSyntaxQuotation___closed__26;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__23___closed__16;
@ -776,6 +775,7 @@ static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__30___closed__2;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___lambda__1___closed__36;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__2;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabMatchSyntax_declRange___closed__7;
static lean_object* l_Lean_Elab_Term_Quotation_initFn____x40_Lean_Elab_Quotation___hyg_19673____closed__3;
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___closed__57;
@ -786,6 +786,7 @@ LEAN_EXPORT lean_object* l_Lean_HashSetImp_expand___at___private_Lean_Elab_Quota
LEAN_EXPORT lean_object* l_Array_foldrMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__8___boxed(lean_object*, 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_Lean_Elab_Term_Quotation_ArrayStxBuilder_mkNode___closed__75;
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__1;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getSepStxFromSplice___closed__12;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__14___closed__12;
LEAN_EXPORT lean_object* l_Array_foldrMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__18___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -817,6 +818,7 @@ LEAN_EXPORT lean_object* l_List_beq___at___private_Lean_Elab_Quotation_0__Lean_E
LEAN_EXPORT uint8_t l_Lean_HashSetImp_contains___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_checkUnusedAlts___spec__1(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_List_mapTR_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_compileStxMatch___spec__12(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___closed__44;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__3;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__10___closed__5;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__30___closed__4;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___lambda__2___closed__16;
@ -853,6 +855,7 @@ static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_
LEAN_EXPORT lean_object* l_Std_Range_forIn_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_checkUnusedAlts___spec__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, 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___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__16___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, 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_Lean_Elab_Term_Quotation___aux__Lean__Elab__Quotation______macroRules__Lean__Elab__Term__Quotation__commandElab__stx__quot____1___closed__30;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__3;
static lean_object* l_Lean_Elab_Term_Quotation_ArrayStxBuilder_mkNode___closed__68;
static lean_object* l_Lean_Elab_Term_Quotation_mkTuple___closed__6;
static lean_object* l_List_mapTR_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_compileStxMatch___spec__12___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_compileStxMatch___spec__13___closed__1;
@ -864,8 +867,8 @@ static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_
static lean_object* l_Array_foldrMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__4___closed__2;
static lean_object* l_Lean_Elab_Term_Quotation_ArrayStxBuilder_mkNode___closed__59;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__24___closed__5;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__3;
lean_object* l_Lean_Syntax_getNumArgs(lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__1;
static lean_object* l_List_mapTR_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_compileStxMatch___spec__12___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_compileStxMatch___spec__13___closed__2;
lean_object* l_Array_mkArray1___rarg(lean_object*);
static lean_object* l___private_Init_Meta_0__Lean_quoteList___at_Lean_Elab_Term_Quotation_ArrayStxBuilder_build___spec__2___closed__5;
@ -892,7 +895,6 @@ static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___lambda__2___closed__9;
static lean_object* l_Lean_Elab_Term_Quotation___aux__Lean__Elab__Quotation______macroRules__Lean__Elab__Term__Quotation__commandElab__stx__quot____1___closed__3;
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___closed__24;
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange(lean_object*);
static lean_object* l_Lean_Elab_Term_Quotation_getQuotKind___closed__9;
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__23(lean_object*, 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_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___closed__63;
@ -909,7 +911,6 @@ static lean_object* l_Lean_Elab_Term_Quotation_match__syntax_expand___lambda__3_
static lean_object* l_Lean_Elab_Term_Quotation_getQuotKind___closed__4;
static lean_object* l_Lean_Elab_Term_Quotation_ArrayStxBuilder_mkNode___closed__77;
static lean_object* l_List_mapM_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__4___closed__3;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__3;
LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__14___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, 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_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___lambda__2___closed__10;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___lambda__1___closed__2;
@ -949,6 +950,7 @@ lean_object* l_Lean_RBNode_find___at___private_Lean_Hygiene_0__Lean_sanitizeSynt
static lean_object* l___private_Init_Meta_0__Lean_quoteArray_go___at_Lean_Elab_Term_Quotation_ArrayStxBuilder_build___spec__3___closed__2;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048____closed__3;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__23___closed__19;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__3;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_floatOutAntiquotTerms___lambda__1___closed__13;
lean_object* l_String_toSubstring_x27(lean_object*);
static lean_object* l_Lean_Elab_Term_Quotation_initFn____x40_Lean_Elab_Quotation___hyg_19673____closed__6;
@ -956,7 +958,6 @@ static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_
LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__10(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_Term_Quotation_match__syntax_expand___lambda__4___boxed(lean_object*, lean_object*, 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___private_Init_Meta_0__Lean_quoteArray_go___at_Lean_Elab_Term_Quotation_ArrayStxBuilder_build___spec__3___boxed(lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__4;
LEAN_EXPORT lean_object* l_Array_anyMUnsafe_any___at_Lean_Elab_Term_Quotation_match__syntax_expand___spec__11___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___lambda__2___closed__1;
@ -1024,7 +1025,6 @@ static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_
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_Array_mapMUnsafe_map___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__12___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Syntax_setInfo(lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__3;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__24___closed__9;
LEAN_EXPORT lean_object* l_panic___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_compileStxMatch___spec__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___closed__5;
@ -1084,6 +1084,7 @@ LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quota
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getSepFromSplice___closed__2;
LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_compileStxMatch___spec__8(lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Array_mapMUnsafe_map___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__12___closed__1;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__1;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabMatchSyntax_declRange___closed__3;
static lean_object* l_Lean_Elab_Term_Quotation_commandElab__stx__quot_____closed__3;
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___closed__26;
@ -1131,7 +1132,6 @@ lean_object* l_Lean_Syntax_node4(lean_object*, lean_object*, lean_object*, lean_
LEAN_EXPORT lean_object* l_Lean_Elab_Term_Quotation_elabNoErrorIfUnused(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__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_Array_foldrMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__4(lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__4;
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___closed__58;
static lean_object* l_Lean_Elab_Term_Quotation_initFn____x40_Lean_Elab_Quotation___hyg_19673____closed__5;
lean_object* l_Lean_Syntax_getArg(lean_object*, lean_object*);
@ -1183,14 +1183,12 @@ LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quota
static lean_object* l_Lean_Elab_Term_Quotation___aux__Lean__Elab__Quotation______macroRules__Lean__Elab__Term__Quotation__commandElab__stx__quot____1___closed__43;
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23___lambda__3___closed__17;
LEAN_EXPORT lean_object* l_List_mapM_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_compileStxMatch___spec__4(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__3;
lean_object* l_Lean_Syntax_antiquotKinds(lean_object*);
lean_object* l_panic___at_Lean_Name_getString_x21___spec__1(lean_object*);
LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__23(lean_object*, lean_object*, size_t, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Init_Meta_0__Lean_quoteList___at_Lean_Elab_Term_Quotation_instQuotePreresolvedMkStr1___spec__1___boxed(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Elab_Term_Quotation_mkSyntaxQuotation___closed__43;
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange(lean_object*);
LEAN_EXPORT lean_object* l_Array_sequenceMap___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_deduplicate___spec__1(lean_object*, lean_object*);
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__14___closed__1;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getSepFromSplice___closed__4;
@ -1208,6 +1206,7 @@ static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___lambda__1___closed__30;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__26___closed__6;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_noOpMatchAdaptPats___closed__2;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__1;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__10___closed__11;
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___lambda__1___closed__22;
static lean_object* l___private_Init_Meta_0__Lean_quoteArray___at_Lean_Elab_Term_Quotation_ArrayStxBuilder_build___spec__1___closed__2;
@ -1273,13 +1272,14 @@ static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_
static lean_object* l_Lean_Elab_Term_Quotation_ArrayStxBuilder_mkNode___closed__72;
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_findUsedAlts_go___spec__1___boxed(lean_object*, 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_mkHashSet___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_markRhss___spec__1(lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__2;
LEAN_EXPORT lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__21___boxed(lean_object**);
LEAN_EXPORT lean_object* l_List_forIn_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_compileStxMatch___spec__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_floatOutAntiquotTerms___lambda__1___closed__10;
static lean_object* l_List_mapTR_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_compileStxMatch___spec__12___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_compileStxMatch___spec__13___closed__3;
static lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__9___closed__4;
static lean_object* l_Array_mapMUnsafe_map___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__11___closed__5;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__3;
static lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__1;
LEAN_EXPORT lean_object* l_List_elem___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_markRhss___spec__3___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_throwUnsupportedSyntax___at_Lean_Elab_Term_Quotation_match__syntax_expand___spec__9___rarg(lean_object*);
LEAN_EXPORT lean_object* l_Array_anyMUnsafe_any___at_Lean_Elab_Term_Quotation_match__syntax_expand___spec__10___boxed(lean_object*, lean_object*, lean_object*);
@ -17679,7 +17679,7 @@ x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
return x_6;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__1() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__1() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
@ -17691,7 +17691,7 @@ lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__2() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
@ -17703,13 +17703,13 @@ lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__3() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__3() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__1;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__1;
x_2 = lean_unsigned_to_nat(0u);
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__2;
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__2;
x_4 = lean_unsigned_to_nat(30u);
x_5 = lean_alloc_ctor(0, 4, 0);
lean_ctor_set(x_5, 0, x_1);
@ -17719,23 +17719,23 @@ lean_ctor_set(x_5, 3, x_4);
return x_5;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__4() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__4() {
_start:
{
lean_object* x_1; lean_object* x_2;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__3;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__3;
x_2 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_2, 0, x_1);
lean_ctor_set(x_2, 1, x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange(lean_object* x_1) {
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002_(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_2 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002____closed__14;
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__4;
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__4;
x_4 = l_Lean_addBuiltinDeclarationRanges(x_2, x_3, x_1);
return x_4;
}
@ -17791,7 +17791,7 @@ x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
return x_6;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__1() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__1() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
@ -17803,7 +17803,7 @@ lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__2() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
@ -17815,13 +17815,13 @@ lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__3() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__3() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__1;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__1;
x_2 = lean_unsigned_to_nat(0u);
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__2;
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__2;
x_4 = lean_unsigned_to_nat(32u);
x_5 = lean_alloc_ctor(0, 4, 0);
lean_ctor_set(x_5, 0, x_1);
@ -17831,23 +17831,23 @@ lean_ctor_set(x_5, 3, x_4);
return x_5;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__4() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__4() {
_start:
{
lean_object* x_1; lean_object* x_2;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__3;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__3;
x_2 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_2, 0, x_1);
lean_ctor_set(x_2, 1, x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange(lean_object* x_1) {
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025_(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_2 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025____closed__2;
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__4;
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__4;
x_4 = l_Lean_addBuiltinDeclarationRanges(x_2, x_3, x_1);
return x_4;
}
@ -17903,7 +17903,7 @@ x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
return x_6;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__1() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__1() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
@ -17915,7 +17915,7 @@ lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__2() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
@ -17927,13 +17927,13 @@ lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__3() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__3() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__1;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__1;
x_2 = lean_unsigned_to_nat(0u);
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__2;
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__2;
x_4 = lean_unsigned_to_nat(35u);
x_5 = lean_alloc_ctor(0, 4, 0);
lean_ctor_set(x_5, 0, x_1);
@ -17943,23 +17943,23 @@ lean_ctor_set(x_5, 3, x_4);
return x_5;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__4() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__4() {
_start:
{
lean_object* x_1; lean_object* x_2;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__3;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__3;
x_2 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_2, 0, x_1);
lean_ctor_set(x_2, 1, x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange(lean_object* x_1) {
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048_(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_2 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048____closed__2;
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__4;
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__4;
x_4 = l_Lean_addBuiltinDeclarationRanges(x_2, x_3, x_1);
return x_4;
}
@ -18015,7 +18015,7 @@ x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
return x_6;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__1() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__1() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
@ -18027,7 +18027,7 @@ lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__2() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
@ -18039,13 +18039,13 @@ lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__3() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__3() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__1;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__1;
x_2 = lean_unsigned_to_nat(0u);
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__2;
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__2;
x_4 = lean_unsigned_to_nat(37u);
x_5 = lean_alloc_ctor(0, 4, 0);
lean_ctor_set(x_5, 0, x_1);
@ -18055,23 +18055,23 @@ lean_ctor_set(x_5, 3, x_4);
return x_5;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__4() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__4() {
_start:
{
lean_object* x_1; lean_object* x_2;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__3;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__3;
x_2 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_2, 0, x_1);
lean_ctor_set(x_2, 1, x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange(lean_object* x_1) {
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071_(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_2 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071____closed__2;
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__4;
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__4;
x_4 = l_Lean_addBuiltinDeclarationRanges(x_2, x_3, x_1);
return x_4;
}
@ -18127,7 +18127,7 @@ x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
return x_6;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__1() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__1() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
@ -18139,7 +18139,7 @@ lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__2() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
@ -18151,13 +18151,13 @@ lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__3() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__3() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__1;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__1;
x_2 = lean_unsigned_to_nat(0u);
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__2;
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__2;
x_4 = lean_unsigned_to_nat(33u);
x_5 = lean_alloc_ctor(0, 4, 0);
lean_ctor_set(x_5, 0, x_1);
@ -18167,23 +18167,23 @@ lean_ctor_set(x_5, 3, x_4);
return x_5;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__4() {
static lean_object* _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__4() {
_start:
{
lean_object* x_1; lean_object* x_2;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__3;
x_1 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__3;
x_2 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_2, 0, x_1);
lean_ctor_set(x_2, 1, x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange(lean_object* x_1) {
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094_(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_2 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094____closed__2;
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__4;
x_3 = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__4;
x_4 = l_Lean_addBuiltinDeclarationRanges(x_2, x_3, x_1);
return x_4;
}
@ -39857,15 +39857,15 @@ lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lea
res = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002_(lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__1 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__1();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__1);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__2 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__2();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__2);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__3 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__3();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__3);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__4 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__4();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange___closed__4);
res = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8002__declRange(lean_io_mk_world());
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__1 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__1();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__1);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__2 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__2();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__2);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__3 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__3();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__3);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__4 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__4();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002____closed__4);
res = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8002_(lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025____closed__1 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025____closed__1();
@ -39877,15 +39877,15 @@ lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lea
res = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025_(lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__1 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__1();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__1);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__2 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__2();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__2);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__3 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__3();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__3);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__4 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__4();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange___closed__4);
res = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8025__declRange(lean_io_mk_world());
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__1 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__1();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__1);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__2 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__2();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__2);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__3 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__3();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__3);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__4 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__4();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025____closed__4);
res = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8025_(lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048____closed__1 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048____closed__1();
@ -39897,15 +39897,15 @@ lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lea
res = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048_(lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__1 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__1();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__1);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__2 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__2();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__2);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__3 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__3();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__3);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__4 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__4();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange___closed__4);
res = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8048__declRange(lean_io_mk_world());
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__1 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__1();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__1);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__2 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__2();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__2);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__3 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__3();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__3);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__4 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__4();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048____closed__4);
res = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8048_(lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071____closed__1 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071____closed__1();
@ -39917,15 +39917,15 @@ lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lea
res = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071_(lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__1 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__1();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__1);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__2 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__2();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__2);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__3 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__3();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__3);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__4 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__4();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange___closed__4);
res = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8071__declRange(lean_io_mk_world());
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__1 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__1();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__1);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__2 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__2();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__2);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__3 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__3();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__3);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__4 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__4();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071____closed__4);
res = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8071_(lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094____closed__1 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094____closed__1();
@ -39937,15 +39937,15 @@ lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lea
res = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094_(lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__1 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__1();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__1);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__2 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__2();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__2);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__3 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__3();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__3);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__4 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__4();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange___closed__4);
res = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_8094__declRange(lean_io_mk_world());
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__1 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__1();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__1);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__2 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__2();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__2);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__3 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__3();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__3);
l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__4 = _init_l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__4();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094____closed__4);
res = l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot_declRange____x40_Lean_Elab_Quotation___hyg_8094_(lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_noOpMatchAdaptPats___closed__1 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_noOpMatchAdaptPats___closed__1();

138
stage0/stdlib/Lean/Meta/Tactic/Simp.c generated
View file

@ -14,13 +14,16 @@
extern "C" {
#endif
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_43____closed__3;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__2;
lean_object* l_Lean_registerTraceClass(lean_object*, uint8_t, lean_object*, lean_object*);
lean_object* l_Lean_Name_str___override(lean_object*, lean_object*);
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_163____closed__2;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_123____closed__1;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__1;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_123____closed__2;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__10;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_203____closed__3;
LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281_(lean_object*);
LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_203_(lean_object*);
LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242_(lean_object*);
LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_123_(lean_object*);
@ -28,7 +31,9 @@ LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_163_(l
LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_83_(lean_object*);
LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4_(lean_object*);
LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_43_(lean_object*);
LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_320_(lean_object*);
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__17;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____closed__3;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__4;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__9;
lean_object* l_Lean_Name_mkStr3(lean_object*, lean_object*, lean_object*);
@ -40,6 +45,7 @@ static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__5;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_83____closed__1;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__12;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__3;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_83____closed__2;
lean_object* l_Lean_Name_num___override(lean_object*, lean_object*);
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____closed__1;
@ -48,6 +54,8 @@ static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_163____clos
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__13;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__1;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__2;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_320____closed__2;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_320____closed__1;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__8;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__16;
static lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__7;
@ -405,7 +413,7 @@ static lean_object* _init_l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_203__
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_from_bytes("Debug", 5);
x_1 = lean_mk_string_from_bytes("numSteps", 8);
return x_1;
}
}
@ -413,10 +421,10 @@ static lean_object* _init_l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_203__
_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_initFn____x40_Lean_Meta_Tactic_Simp___hyg_203____closed__1;
x_2 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__1;
x_3 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__2;
x_4 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__3;
x_1 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__1;
x_2 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__2;
x_3 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__3;
x_4 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_203____closed__1;
x_5 = l_Lean_Name_mkStr4(x_1, x_2, x_3, x_4);
return x_5;
}
@ -445,19 +453,26 @@ return x_5;
static lean_object* _init_l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____closed__1() {
_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_initFn____x40_Lean_Meta_Tactic_Simp___hyg_203____closed__1;
x_2 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__1;
x_3 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__2;
x_4 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__3;
x_5 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_43____closed__1;
x_6 = l_Lean_Name_mkStr5(x_1, x_2, x_3, x_4, x_5);
return x_6;
lean_object* x_1;
x_1 = lean_mk_string_from_bytes("heads", 5);
return x_1;
}
}
static lean_object* _init_l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____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_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__1;
x_2 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__2;
x_3 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__3;
x_4 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____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_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____closed__3() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__17;
x_2 = lean_unsigned_to_nat(242u);
@ -469,9 +484,84 @@ LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242_(l
_start:
{
lean_object* x_2; uint8_t x_3; lean_object* x_4; lean_object* x_5;
x_2 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____closed__1;
x_2 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____closed__2;
x_3 = 0;
x_4 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____closed__3;
x_5 = l_Lean_registerTraceClass(x_2, x_3, x_4, x_1);
return x_5;
}
}
static lean_object* _init_l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_from_bytes("Debug", 5);
return x_1;
}
}
static lean_object* _init_l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____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_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__1;
x_2 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__1;
x_3 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__2;
x_4 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__3;
x_5 = l_Lean_Name_mkStr4(x_1, x_2, x_3, x_4);
return x_5;
}
}
static lean_object* _init_l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__3() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__17;
x_2 = lean_unsigned_to_nat(281u);
x_3 = l_Lean_Name_num___override(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281_(lean_object* x_1) {
_start:
{
lean_object* x_2; uint8_t x_3; lean_object* x_4; lean_object* x_5;
x_2 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__2;
x_3 = 0;
x_4 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__3;
x_5 = l_Lean_registerTraceClass(x_2, x_3, x_4, x_1);
return x_5;
}
}
static lean_object* _init_l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_320____closed__1() {
_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_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__1;
x_2 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__1;
x_3 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__2;
x_4 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__3;
x_5 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_43____closed__1;
x_6 = l_Lean_Name_mkStr5(x_1, x_2, x_3, x_4, x_5);
return x_6;
}
}
static lean_object* _init_l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_320____closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_4____closed__17;
x_2 = lean_unsigned_to_nat(320u);
x_3 = l_Lean_Name_num___override(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_320_(lean_object* x_1) {
_start:
{
lean_object* x_2; uint8_t x_3; lean_object* x_4; lean_object* x_5;
x_2 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_320____closed__1;
x_3 = 1;
x_4 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____closed__2;
x_4 = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_320____closed__2;
x_5 = l_Lean_registerTraceClass(x_2, x_3, x_4, x_1);
return x_5;
}
@ -597,9 +687,27 @@ l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____closed__1 = _init_l_Lean
lean_mark_persistent(l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____closed__1);
l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____closed__2 = _init_l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____closed__2();
lean_mark_persistent(l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____closed__2);
l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____closed__3 = _init_l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____closed__3();
lean_mark_persistent(l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242____closed__3);
res = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_242_(lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__1 = _init_l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__1();
lean_mark_persistent(l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__1);
l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__2 = _init_l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__2();
lean_mark_persistent(l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__2);
l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__3 = _init_l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__3();
lean_mark_persistent(l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281____closed__3);
res = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_281_(lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_320____closed__1 = _init_l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_320____closed__1();
lean_mark_persistent(l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_320____closed__1);
l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_320____closed__2 = _init_l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_320____closed__2();
lean_mark_persistent(l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_320____closed__2);
res = l_Lean_initFn____x40_Lean_Meta_Tactic_Simp___hyg_320_(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

2236
stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c generated
View file

File diff suppressed because it is too large Load diff