From 538eee0b6a8bb09dca471fe1a425de74dd17c469 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 3 Mar 2022 19:11:27 -0800 Subject: [PATCH] chore: update stage0 --- stage0/src/Init/Core.lean | 6 + stage0/src/Init/Data/List/Basic.lean | 17 + stage0/src/Init/Data/List/Control.lean | 18 + stage0/src/Lean/Parser/Term.lean | 1 + stage0/stdlib/Init/Data/List/Control.c | 120 +++ stage0/stdlib/Init/NotationExtra.c | 25 +- stage0/stdlib/Lean/Parser/Term.c | 1324 +++++++++++++++++++----- 7 files changed, 1266 insertions(+), 245 deletions(-) diff --git a/stage0/src/Init/Core.lean b/stage0/src/Init/Core.lean index 3479b7ba0c..855c4ab5f0 100644 --- a/stage0/src/Init/Core.lean +++ b/stage0/src/Init/Core.lean @@ -89,6 +89,12 @@ class ForIn (m : Type u₁ → Type u₂) (ρ : Type u) (α : outParam (Type v)) export ForIn (forIn) +class ForIn' (m : Type u₁ → Type u₂) (ρ : Type u) (α : outParam (Type v)) [d : outParam $ Membership α ρ] where + forIn' {β} [Monad m] (x : ρ) (b : β) (f : (a : α) → a ∈ x → β → m (ForInStep β)) : m β + +export ForIn' (forIn') + + /- Auxiliary type used to compile `do` notation. -/ inductive DoResultPRBC (α β σ : Type u) where | «pure» : α → σ → DoResultPRBC α β σ diff --git a/stage0/src/Init/Data/List/Basic.lean b/stage0/src/Init/Data/List/Basic.lean index 55e359f218..4000e4cfe4 100644 --- a/stage0/src/Init/Data/List/Basic.lean +++ b/stage0/src/Init/Data/List/Basic.lean @@ -81,6 +81,11 @@ theorem append_assoc (as bs cs : List α) : (as ++ bs) ++ cs = as ++ (bs ++ cs) | nil => rfl | cons a as ih => simp [ih] +theorem append_cons (as : List α) (b : α) (bs : List α) : as ++ b :: bs = as ++ [b] ++ bs := by + induction as with + | nil => simp + | cons a as ih => simp [ih] + instance : EmptyCollection (List α) := ⟨List.nil⟩ protected def erase {α} [BEq α] : List α → α → List α @@ -236,6 +241,18 @@ theorem elem_eq_true_of_mem [DecidableEq α] {a : α} {as : List α} (h : a ∈ instance [DecidableEq α] (a : α) (as : List α) : Decidable (a ∈ as) := decidable_of_decidable_of_iff (Iff.intro mem_of_elem_eq_true elem_eq_true_of_mem) +theorem mem_append_of_mem_left {a : α} {as : List α} (bs : List α) : a ∈ as → a ∈ as ++ bs := by + intro h + induction h with + | head => apply Mem.head + | tail => apply Mem.tail; assumption + +theorem mem_append_of_mem_right {b : α} {bs : List α} (as : List α) : b ∈ bs → b ∈ as ++ bs := by + intro h + induction as with + | nil => simp [h] + | cons => apply Mem.tail; assumption + def eraseDupsAux {α} [BEq α] : List α → List α → List α | [], bs => bs.reverse | a::as, bs => match bs.elem a with diff --git a/stage0/src/Init/Data/List/Control.lean b/stage0/src/Init/Data/List/Control.lean index 53474987a6..9c16fe8655 100644 --- a/stage0/src/Init/Data/List/Control.lean +++ b/stage0/src/Init/Data/List/Control.lean @@ -158,6 +158,24 @@ instance : ForIn m (List α) α where : forIn (a::as) b f = f a b >>= fun | ForInStep.done b => pure b | ForInStep.yield b => forIn as b f := rfl +@[inline] protected def forIn' {α : Type u} {β : Type v} {m : Type v → Type w} [Monad m] (as : List α) (init : β) (f : (a : α) → a ∈ as → β → m (ForInStep β)) : m β := + let rec @[specialize] loop : (as' : List α) → (b : β) → Exists (fun bs => bs ++ as' = as) → m β + | [], b, _ => pure b + | a::as', b, h => do + have : a ∈ as := by + have ⟨bs, h⟩ := h + subst h + exact mem_append_of_mem_right _ (Mem.head ..) + match (← f a this b) with + | ForInStep.done b => pure b + | ForInStep.yield b => + have : Exists (fun bs => bs ++ as' = as) := have ⟨bs, h⟩ := h; ⟨bs ++ [a], by rw [← h, append_cons bs a as']⟩ + loop as' b this + loop as init ⟨[], rfl⟩ + +instance : ForIn' m (List α) α where + forIn' := List.forIn' + instance : ForM m (List α) α where forM := List.forM diff --git a/stage0/src/Lean/Parser/Term.lean b/stage0/src/Lean/Parser/Term.lean index 9bbfbdcb9f..011642e0ab 100644 --- a/stage0/src/Lean/Parser/Term.lean +++ b/stage0/src/Lean/Parser/Term.lean @@ -233,6 +233,7 @@ def matchAltsWhereDecls := leading_parser matchAlts >> optional whereDecls @[builtinTermParser] def binop_lazy := leading_parser "binop_lazy% " >> ident >> ppSpace >> termParser maxPrec >> termParser maxPrec @[builtinTermParser] def forInMacro := leading_parser "for_in% " >> termParser maxPrec >> termParser maxPrec >> termParser maxPrec +@[builtinTermParser] def forInMacro' := leading_parser "for_in'% " >> termParser maxPrec >> termParser maxPrec >> termParser maxPrec @[builtinTermParser] def typeOf := leading_parser "type_of% " >> termParser maxPrec @[builtinTermParser] def ensureTypeOf := leading_parser "ensure_type_of% " >> termParser maxPrec >> strLit >> termParser diff --git a/stage0/stdlib/Init/Data/List/Control.c b/stage0/stdlib/Init/Data/List/Control.c index 2e3bec3241..4a7bf0458e 100644 --- a/stage0/stdlib/Init/Data/List/Control.c +++ b/stage0/stdlib/Init/Data/List/Control.c @@ -24,6 +24,7 @@ LEAN_EXPORT lean_object* l_List_firstM___rarg(lean_object*, lean_object*, lean_o LEAN_EXPORT lean_object* l_List_anyM___rarg___lambda__1(lean_object*, lean_object*, lean_object*, uint8_t); LEAN_EXPORT lean_object* l_List_filterM___rarg(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_allM(lean_object*); +LEAN_EXPORT lean_object* l_List_forIn_x27_loop___rarg___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_forIn(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_mapM(lean_object*); LEAN_EXPORT lean_object* l_List_foldlM___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -32,6 +33,9 @@ LEAN_EXPORT lean_object* l_List_anyM(lean_object*); LEAN_EXPORT lean_object* l_List_allM___rarg(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_mapA___rarg___lambda__2(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_forIn_loop(lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_List_forIn_x27___rarg(lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_List_instForIn_x27ListInstMembershipList(lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_List_forIn_x27_loop(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_mapM___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_allM___rarg___lambda__1(lean_object*, lean_object*, lean_object*, uint8_t); LEAN_EXPORT lean_object* l_List_findSomeM_x3f___rarg___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*); @@ -41,6 +45,7 @@ LEAN_EXPORT lean_object* l_List_findM_x3f___rarg(lean_object*, lean_object*, lea LEAN_EXPORT lean_object* l_List_forIn_loop___rarg___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_forA___rarg(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_forA___rarg___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_List_forIn_x27(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_allM___rarg___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_filterAuxM___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_filterMapM___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -52,6 +57,7 @@ LEAN_EXPORT lean_object* l_List_forIn_loop___rarg(lean_object*, lean_object*, le LEAN_EXPORT lean_object* l_List_instForInList___rarg(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_filterM___rarg___lambda__1(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_anyM___rarg(lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_List_instForIn_x27ListInstMembershipList___rarg(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_firstM(lean_object*); LEAN_EXPORT lean_object* l_List_instForMList(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_filterMapM_loop(lean_object*); @@ -73,6 +79,7 @@ LEAN_EXPORT lean_object* l_List_findM_x3f(lean_object*); LEAN_EXPORT lean_object* l_List_forM(lean_object*); LEAN_EXPORT lean_object* l_List_foldrM(lean_object*); LEAN_EXPORT lean_object* l_List_findM_x3f___rarg___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_List_forIn_x27_loop___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_forM___rarg___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_mapA___rarg___lambda__1(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_List_mapM___rarg___lambda__1(lean_object* x_1, lean_object* x_2, lean_object* x_3) { @@ -1164,6 +1171,119 @@ x_4 = lean_alloc_closure((void*)(l_List_instForInList___rarg), 4, 0); return x_4; } } +LEAN_EXPORT lean_object* l_List_forIn_x27_loop___rarg___lambda__1(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +_start: +{ +if (lean_obj_tag(x_5) == 0) +{ +lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; +lean_dec(x_4); +lean_dec(x_3); +lean_dec(x_2); +x_6 = lean_ctor_get(x_5, 0); +lean_inc(x_6); +lean_dec(x_5); +x_7 = lean_ctor_get(x_1, 0); +lean_inc(x_7); +lean_dec(x_1); +x_8 = lean_ctor_get(x_7, 1); +lean_inc(x_8); +lean_dec(x_7); +x_9 = lean_apply_2(x_8, lean_box(0), x_6); +return x_9; +} +else +{ +lean_object* x_10; lean_object* x_11; +x_10 = lean_ctor_get(x_5, 0); +lean_inc(x_10); +lean_dec(x_5); +x_11 = l_List_forIn_x27_loop___rarg(x_1, x_2, x_3, x_4, x_10, lean_box(0)); +return x_11; +} +} +} +LEAN_EXPORT lean_object* l_List_forIn_x27_loop___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { +_start: +{ +if (lean_obj_tag(x_4) == 0) +{ +lean_object* x_7; lean_object* x_8; lean_object* x_9; +lean_dec(x_3); +lean_dec(x_2); +x_7 = lean_ctor_get(x_1, 0); +lean_inc(x_7); +lean_dec(x_1); +x_8 = lean_ctor_get(x_7, 1); +lean_inc(x_8); +lean_dec(x_7); +x_9 = lean_apply_2(x_8, lean_box(0), x_5); +return x_9; +} +else +{ +lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; +x_10 = lean_ctor_get(x_4, 0); +lean_inc(x_10); +x_11 = lean_ctor_get(x_4, 1); +lean_inc(x_11); +lean_dec(x_4); +x_12 = lean_ctor_get(x_1, 1); +lean_inc(x_12); +lean_inc(x_3); +x_13 = lean_apply_3(x_3, x_10, lean_box(0), x_5); +x_14 = lean_alloc_closure((void*)(l_List_forIn_x27_loop___rarg___lambda__1), 5, 4); +lean_closure_set(x_14, 0, x_1); +lean_closure_set(x_14, 1, x_2); +lean_closure_set(x_14, 2, x_3); +lean_closure_set(x_14, 3, x_11); +x_15 = lean_apply_4(x_12, lean_box(0), lean_box(0), x_13, x_14); +return x_15; +} +} +} +LEAN_EXPORT lean_object* l_List_forIn_x27_loop(lean_object* x_1, lean_object* x_2, lean_object* x_3) { +_start: +{ +lean_object* x_4; +x_4 = lean_alloc_closure((void*)(l_List_forIn_x27_loop___rarg), 6, 0); +return x_4; +} +} +LEAN_EXPORT lean_object* l_List_forIn_x27___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) { +_start: +{ +lean_object* x_5; +lean_inc(x_2); +x_5 = l_List_forIn_x27_loop___rarg(x_1, x_2, x_4, x_2, x_3, lean_box(0)); +return x_5; +} +} +LEAN_EXPORT lean_object* l_List_forIn_x27(lean_object* x_1, lean_object* x_2, lean_object* x_3) { +_start: +{ +lean_object* x_4; +x_4 = lean_alloc_closure((void*)(l_List_forIn_x27___rarg), 4, 0); +return x_4; +} +} +LEAN_EXPORT lean_object* l_List_instForIn_x27ListInstMembershipList___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) { +_start: +{ +lean_object* x_5; +lean_inc(x_2); +x_5 = l_List_forIn_x27_loop___rarg(x_1, x_2, x_4, x_2, x_3, lean_box(0)); +return x_5; +} +} +LEAN_EXPORT lean_object* l_List_instForIn_x27ListInstMembershipList(lean_object* x_1, lean_object* x_2, lean_object* x_3) { +_start: +{ +lean_object* x_4; +x_4 = lean_alloc_closure((void*)(l_List_instForIn_x27ListInstMembershipList___rarg), 4, 0); +return x_4; +} +} LEAN_EXPORT lean_object* l_List_instForMList___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) { _start: { diff --git a/stage0/stdlib/Init/NotationExtra.c b/stage0/stdlib/Init/NotationExtra.c index 7aa372a92d..ba9813f097 100644 --- a/stage0/stdlib/Init/NotationExtra.c +++ b/stage0/stdlib/Init/NotationExtra.c @@ -614,6 +614,7 @@ static lean_object* l___aux__Init__NotationExtra______macroRules__command__Class LEAN_EXPORT lean_object* l___aux__Init__NotationExtra______macroRules__term___xd7____1__1(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_expandExplicitBindersAux_loop___closed__8; static lean_object* l_term_u03a3_x27___x2c_____closed__5; +static lean_object* l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__18; static lean_object* l_Lean_binderIdent___closed__2; lean_object* l_Lean_Syntax_getArg(lean_object*, lean_object*); static lean_object* l_Lean_binderIdent___closed__1; @@ -14816,6 +14817,16 @@ return x_3; static lean_object* _init_l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__17() { _start: { +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_unexpandExists___closed__5; +x_2 = l_Lean___aux__Init__NotationExtra______macroRules__Lean__termMacro_x2etrace_x5b_____x5d____1___closed__28; +x_3 = lean_array_push(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__18() { +_start: +{ lean_object* x_1; x_1 = lean_mk_string("do"); return x_1; @@ -14890,7 +14901,7 @@ lean_ctor_set(x_30, 0, x_12); lean_ctor_set(x_30, 1, x_28); lean_ctor_set(x_30, 2, x_27); lean_ctor_set(x_30, 3, x_29); -x_31 = l_Lean___aux__Init__NotationExtra______macroRules__Lean__termMacro_x2etrace_x5b_____x5d____1___closed__30; +x_31 = l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__17; x_32 = lean_array_push(x_31, x_23); x_33 = lean_array_push(x_32, x_25); x_34 = lean_array_push(x_33, x_30); @@ -14905,7 +14916,7 @@ x_39 = lean_alloc_ctor(1, 3, 0); lean_ctor_set(x_39, 0, x_21); lean_ctor_set(x_39, 1, x_38); lean_ctor_set(x_39, 2, x_37); -x_40 = l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__17; +x_40 = l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__18; x_41 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_41, 0, x_12); lean_ctor_set(x_41, 1, x_40); @@ -14968,7 +14979,7 @@ lean_ctor_set(x_68, 0, x_49); lean_ctor_set(x_68, 1, x_66); lean_ctor_set(x_68, 2, x_65); lean_ctor_set(x_68, 3, x_67); -x_69 = l_Lean___aux__Init__NotationExtra______macroRules__Lean__termMacro_x2etrace_x5b_____x5d____1___closed__30; +x_69 = l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__17; x_70 = lean_array_push(x_69, x_61); x_71 = lean_array_push(x_70, x_63); x_72 = lean_array_push(x_71, x_68); @@ -14983,7 +14994,7 @@ x_77 = lean_alloc_ctor(1, 3, 0); lean_ctor_set(x_77, 0, x_59); lean_ctor_set(x_77, 1, x_76); lean_ctor_set(x_77, 2, x_75); -x_78 = l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__17; +x_78 = l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__18; x_79 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_79, 0, x_49); lean_ctor_set(x_79, 1, x_78); @@ -15671,7 +15682,7 @@ lean_inc(x_14); x_16 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_16, 0, x_14); lean_ctor_set(x_16, 1, x_15); -x_17 = l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__17; +x_17 = l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__18; lean_inc(x_14); x_18 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_18, 0, x_14); @@ -15801,7 +15812,7 @@ lean_inc(x_78); x_81 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_81, 0, x_78); lean_ctor_set(x_81, 1, x_80); -x_82 = l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__17; +x_82 = l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__18; lean_inc(x_78); x_83 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_83, 0, x_78); @@ -16982,6 +16993,8 @@ l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___clo lean_mark_persistent(l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__16); l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__17 = _init_l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__17(); lean_mark_persistent(l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__17); +l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__18 = _init_l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__18(); +lean_mark_persistent(l_Lean___aux__Init__NotationExtra______macroRules__Lean__doElemRepeat____1___closed__18); l_Lean_doElemWhile__Do_____closed__1 = _init_l_Lean_doElemWhile__Do_____closed__1(); lean_mark_persistent(l_Lean_doElemWhile__Do_____closed__1); l_Lean_doElemWhile__Do_____closed__2 = _init_l_Lean_doElemWhile__Do_____closed__2(); diff --git a/stage0/stdlib/Lean/Parser/Term.c b/stage0/stdlib/Lean/Parser/Term.c index 20f4e2ee0d..ee16afac2e 100644 --- a/stage0/stdlib/Lean/Parser/Term.c +++ b/stage0/stdlib/Lean/Parser/Term.c @@ -34,6 +34,7 @@ static lean_object* l_Lean_Parser_Level_quot_formatter___closed__6; static lean_object* l_Lean_Parser_Level_quot___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_dbgTrace_declRange___closed__2; static lean_object* l_Lean_Parser_Term_show___elambda__1___closed__14; +static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__7; lean_object* l_Lean_PrettyPrinter_Parenthesizer_visitToken___rarg(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_scoped___closed__2; static lean_object* l_Lean_Parser_Term_explicitUniv___closed__7; @@ -84,7 +85,7 @@ static lean_object* l_Lean_Parser_Term_paren_formatter___closed__5; static lean_object* l_Lean_Parser_Term_instBinder_formatter___closed__5; static lean_object* l_Lean_Parser_Term_trailing__parser___elambda__1___closed__9; LEAN_EXPORT lean_object* l_Lean_Parser_Term_letIdDecl; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__34; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__29; LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_many1Indent_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_let__delayed___closed__7; @@ -122,13 +123,13 @@ static lean_object* l_Lean_Parser_Term_paren_formatter___closed__3; static lean_object* l_Lean_Parser_Term_explicit___elambda__1___closed__4; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_subst_declRange(lean_object*); static lean_object* l_Lean_Parser_Term_syntheticHole_formatter___closed__5; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__8; LEAN_EXPORT lean_object* l_Lean_Parser_Term_subst; LEAN_EXPORT lean_object* l_Lean_Parser_Term_macroLastArg___elambda__1(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_letIdLhs_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_waitIfContainsMVar_declRange___closed__2; static lean_object* l_Lean_Parser_Term_funBinder_quot___elambda__1___closed__19; static lean_object* l_Lean_Parser_darrow___elambda__1___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__9; static lean_object* l_Lean_Parser_Term_quotedName___closed__4; static lean_object* l_Lean_Parser_Term_dbgTrace_parenthesizer___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Term_let__fun_declRange___closed__7; @@ -169,11 +170,11 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_falseVal_formatter___closed_ static lean_object* l_Lean_Parser_Term_matchDiscr_quot_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_structInstArrayRef___closed__9; static lean_object* l_Lean_Parser_Term_local___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__27; static lean_object* l_Lean_Parser_Term_sufficesDecl_parenthesizer___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Term_proj_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_letRecDecl_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_namedPattern___elambda__1___closed__2; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__17; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_explicit_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_noindex___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_trailing__parser___elambda__1___closed__4; @@ -255,7 +256,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_unreachable_declRange___clos LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_seq1_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_sort___elambda__1___closed__8; static lean_object* l_Lean_Parser_Term_binderTactic___elambda__1___closed__6; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Command_docComment___elambda__1___lambda__2___boxed(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___closed__9; LEAN_EXPORT lean_object* l_Lean_Parser_Term_pipeProj_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -276,8 +276,10 @@ static lean_object* l_Lean_Parser_Term_arrow___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Tactic_tacticSeq1Indented_formatter___closed__2; static lean_object* l_Lean_Parser_Term_stateRefT___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_optEllipsis_parenthesizer___closed__4; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__38; static lean_object* l_Lean_Parser_Term_tupleTail___elambda__1___closed__15; static lean_object* l_Lean_Parser_darrow___elambda__1___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__21; static lean_object* l___regBuiltin_Lean_Parser_Term_simpleBinder_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__25; static lean_object* l_Lean_Parser_Term_generalizingParam___closed__9; @@ -320,7 +322,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_cdot_parenthesizer___closed_ LEAN_EXPORT lean_object* l_Lean_Parser_Term_proj; static lean_object* l___regBuiltin_Lean_Parser_Term_have_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_forall___elambda__1___closed__23; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__13; LEAN_EXPORT lean_object* l_Lean_Parser_Term_funImplicitBinder; static lean_object* l_Lean_Parser_Tactic_quotSeq___closed__6; static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__3; @@ -338,7 +339,6 @@ static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___closed__2; static lean_object* l_Lean_Parser_Term_paren___elambda__1___closed__16; static lean_object* l_Lean_Parser_Term_haveEqnsDecl_parenthesizer___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_structInstArrayRef_formatter___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__23; static lean_object* l_Lean_Parser_Term_byTactic___closed__4; static lean_object* l_Lean_Parser_Term_structInstField___elambda__1___closed__7; lean_object* l_Lean_Parser_ppGroup_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -354,6 +354,7 @@ static lean_object* l_Lean_Parser_Level_quot_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_matchDiscr___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_haveIdLhs; static lean_object* l_Lean_Parser_Term_motive___elambda__1___closed__8; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__11; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_trueVal_parenthesizer(lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_noImplicitLambda; static lean_object* l_Lean_Parser_Term_waitIfTypeContainsMVar_formatter___closed__1; @@ -396,6 +397,7 @@ static lean_object* l_Lean_Parser_Term_inaccessible___closed__1; static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__3; static lean_object* l_Lean_Parser_Term_letrec___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___closed__1; +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27(lean_object*); static lean_object* l_Lean_Parser_Command_docComment___elambda__1___closed__17; static lean_object* l_Lean_Parser_Term_funBinder_quot_formatter___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_inaccessible_parenthesizer___closed__2; @@ -441,6 +443,7 @@ static lean_object* l_Lean_Parser_Level_quot_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_ensureExpectedType___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_hole_declRange___closed__1; static lean_object* l_Lean_Parser_Term_waitIfContainsMVar___elambda__1___closed__10; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__1; static lean_object* l_Lean_Parser_Term_basicFun_parenthesizer___closed__3; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_unreachable_parenthesizer(lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_quot_parenthesizer(lean_object*); @@ -450,6 +453,7 @@ static lean_object* l_Lean_Parser_Term_letEqnsDecl___closed__2; static lean_object* l_Lean_Parser_Term_type___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_attributes___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_fun_formatter___closed__3; +static lean_object* l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_hole___elambda__1___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_fromTerm_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented_formatter___closed__2; @@ -510,7 +514,6 @@ static lean_object* l_Lean_Parser_Term_trueVal_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_letIdLhs___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_letMVar___elambda__1___closed__14; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_ensureTypeOf_formatter(lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__37; static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__21; static lean_object* l_Lean_Parser_Term_dynamicQuot___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_letEqnsDecl___closed__1; @@ -628,7 +631,6 @@ static lean_object* l_Lean_Parser_Term_funSimpleBinder___elambda__1___closed__1; static lean_object* l_Lean_Parser_Tactic_quotSeq___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_binop_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Level_quot_formatter___closed__4; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__18; static lean_object* l_Lean_Parser_Term_byTactic___closed__9; static lean_object* l___regBuiltin_Lean_Parser_Tactic_tacticSeq_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__7; @@ -693,14 +695,12 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_hole___elambda__1(lean_object*, lean static lean_object* l_Lean_Parser_Term_forall___elambda__1___closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_whereDecls_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__15; static lean_object* l_Lean_Parser_Term_binderTactic___elambda__1___closed__3; lean_object* l_Lean_Parser_group_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_attrInstance___closed__1; static lean_object* l_Lean_Parser_Term_let__tmp___closed__5; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_let__fun_formatter(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Tactic_quot_declRange___closed__3; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__22; static lean_object* l_Lean_Parser_Term_show_parenthesizer___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_dbgTrace_declRange___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_anonymousCtor_declRange___closed__5; @@ -723,7 +723,6 @@ static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_match___elambda__1___closed__17; static lean_object* l___regBuiltin_Lean_Parser_Term_explicit_declRange___closed__3; static lean_object* l_Lean_Parser_Term_letPatDecl___closed__2; -static lean_object* l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__7; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_waitIfTypeContainsMVar(lean_object*); static lean_object* l_Lean_Parser_Term_waitIfTypeMVar_formatter___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_fun_declRange___closed__5; @@ -768,6 +767,7 @@ static lean_object* l_Lean_Parser_Level_quot___elambda__1___closed__11; LEAN_EXPORT lean_object* l_Lean_Parser_Term_sufficesDecl_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_structInstLVal_parenthesizer___closed__7; static lean_object* l_Lean_Parser_Term_let__tmp___closed__2; +static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__5; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_paren_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_subst___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_borrowed___closed__9; @@ -781,8 +781,10 @@ static lean_object* l_Lean_Parser_Term_depArrow___elambda__1___closed__19; static lean_object* l_Lean_Parser_Term_unreachable___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_forall_formatter___closed__5; static lean_object* l_Lean_Parser_Term_noindex___elambda__1___closed__4; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___closed__7; static lean_object* l_Lean_Parser_Level_quot___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Term_doubleQuotedName_formatter___closed__1; +static lean_object* l_Lean_Parser_Term_forInMacro_x27_formatter___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed; static lean_object* l_Lean_Parser_Term_suffices_formatter___closed__7; static lean_object* l_Lean_Parser_Term_binderTactic___closed__7; @@ -814,6 +816,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_binop_formatter___closed__2; static lean_object* l_Lean_Parser_Term_type___closed__6; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_ensureTypeOf___elambda__1___closed__3; +LEAN_EXPORT lean_object* l_Lean_Parser_Term_forInMacro_x27___elambda__1(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_instBinder___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_stateRefT_parenthesizer___closed__2; @@ -869,6 +872,7 @@ static lean_object* l_Lean_Parser_Term_fun_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_doubleQuotedName_parenthesizer___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_scoped_parenthesizer___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_explicitBinder_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_waitIfContainsMVar___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_quotedName___closed__3; static lean_object* l_Lean_Parser_Term_pipeProj___elambda__1___closed__1; @@ -876,6 +880,7 @@ static lean_object* l_Lean_Parser_Term_subst___closed__6; static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__19; extern lean_object* l_Lean_Parser_ident; static lean_object* l_Lean_Parser_Term_explicitUniv_formatter___closed__7; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__39; static lean_object* l_Lean_Parser_Term_doubleQuotedName___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_pipeCompletion___elambda__1___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Term_motive; @@ -886,12 +891,10 @@ static lean_object* l_Lean_Parser_Term_letRecDecls___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_letIdLhs___elambda__1___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_structInstFieldAbbrev_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_optIdent___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__14; static lean_object* l_Lean_Parser_Term_letMVar___elambda__1___closed__22; static lean_object* l_Lean_Parser_Term_forall_parenthesizer___closed__9; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_attributes_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_letDecl_formatter___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__28; LEAN_EXPORT lean_object* l_Lean_Parser_Term_ensureTypeOf_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___closed__6; static lean_object* l_Lean_Parser_Term_arrow___closed__1; @@ -926,9 +929,9 @@ static lean_object* l_Lean_Parser_Level_quot_formatter___closed__2; static lean_object* l_Lean_Parser_Term_depArrow___elambda__1___closed__8; static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_matchDiscr_quot_declRange___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__16; static lean_object* l_Lean_Parser_Term_letrec_formatter___closed__5; static lean_object* l_Lean_Parser_Tactic_seq1___elambda__1___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__13; lean_object* l_Lean_Parser_nonReservedSymbolFn(lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_dbgTrace_declRange___closed__6; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_str_declRange(lean_object*); @@ -992,7 +995,6 @@ static lean_object* l_Lean_Parser_Term_trailing__parser___elambda__1___closed__5 lean_object* l_Lean_Parser_antiquotNestedExpr___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_app_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_explicitBinder_formatter___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__30; static lean_object* l_Lean_Parser_Term_structInstLVal___closed__7; LEAN_EXPORT lean_object* l_Lean_Parser_Term_nomatch_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_ensureExpectedType___closed__8; @@ -1011,7 +1013,6 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_suffices___elambda__1___lambda__1___ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_noindex_declRange(lean_object*); static lean_object* l_Lean_Parser_Term_forall_parenthesizer___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_macroDollarArg_formatter___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__5; static lean_object* l_Lean_Parser_Term_namedArgument___elambda__1___closed__1; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___closed__13; LEAN_EXPORT lean_object* l_Lean_Parser_Term_paren_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -1098,7 +1099,6 @@ static lean_object* l_Lean_Parser_Term_letRecDecls___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_optIdent_formatter___closed__1; static lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__19; static lean_object* l_Lean_Parser_Term_let_formatter___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__33; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev___elambda__1___closed__16; static lean_object* l_Lean_Parser_Term_suffices_parenthesizer___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_ensureTypeOf_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -1123,6 +1123,7 @@ static lean_object* l_Lean_Parser_Term_letRecDecls_formatter___closed__2; static lean_object* l_Lean_Parser_Term_prop___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_fun_formatter___closed__6; static lean_object* l_Lean_Parser_Term_match___elambda__1___closed__11; +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_formatter(lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_motive___elambda__1___closed__13; LEAN_EXPORT lean_object* l_Lean_Parser_Term_doubleQuotedName_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -1180,6 +1181,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_syntheticHole_formatter(lean_object* static lean_object* l_Lean_Parser_Command_docComment_formatter___closed__2; static lean_object* l_Lean_Parser_Term_waitIfTypeMVar___elambda__1___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_seq1; +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange(lean_object*); static lean_object* l_Lean_Parser_Term_suffices___closed__8; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___closed__19; static lean_object* l_Lean_Parser_Term_trueVal___elambda__1___closed__9; @@ -1202,6 +1204,7 @@ static lean_object* l_Lean_Parser_Term_forInMacro___elambda__1___closed__11; lean_object* l_Lean_PrettyPrinter_Formatter_checkWsBefore_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_binop___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_optEllipsis_formatter___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__12; LEAN_EXPORT lean_object* l_Lean_Parser_Term_explicit___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_sorry___closed__2; static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__1; @@ -1220,7 +1223,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_quotedName_declRange___close static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___closed__1; static lean_object* l_Lean_Parser_Term_hole_formatter___closed__2; static lean_object* l_Lean_Parser_Term_binrel__no__prop_formatter___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__6; static lean_object* l_Lean_Parser_Term_borrowed_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_completion_formatter___closed__1; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___closed__12; @@ -1345,6 +1347,7 @@ static lean_object* l_Lean_Parser_Term_forall___elambda__1___closed__13; static lean_object* l_Lean_Parser_Term_let__tmp_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_anonymousCtor___closed__9; static lean_object* l_Lean_Parser_Term_sorry___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_letIdDecl_formatter(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_noImplicitLambda_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_paren_declRange___closed__7; @@ -1366,6 +1369,7 @@ static lean_object* l_Lean_Parser_Term_forall_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_waitIfContainsMVar___elambda__1___closed__12; static lean_object* l_Lean_Parser_Term_attrKind___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_letMVar___elambda__1___closed__7; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__23; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_haveDecl_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_letRecDecls___closed__5; static lean_object* l_Lean_Parser_Term_noindex___elambda__1___closed__8; @@ -1450,7 +1454,6 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_structInstLVal_formatter(lean_object static lean_object* l___regBuiltin_Lean_Parser_Term_ensureTypeOf_formatter___closed__1; static lean_object* l_Lean_Parser_Term_ellipsis___closed__4; static lean_object* l_Lean_Parser_Term_simpleBinder___elambda__1___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__25; static lean_object* l_Lean_Parser_Term_assert_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_let__tmp___closed__4; static lean_object* l_Lean_Parser_Term_waitIfContainsMVar_formatter___closed__1; @@ -1560,6 +1563,7 @@ static lean_object* l_Lean_Parser_Term_stateRefT___closed__7; static lean_object* l_Lean_Parser_Term_basicFun_formatter___closed__7; static lean_object* l_Lean_Parser_Term_letrec___closed__11; static lean_object* l_Lean_Parser_Term_ensureExpectedType_parenthesizer___closed__5; +LEAN_EXPORT lean_object* l_Lean_Parser_Term_forInMacro_x27_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_bracketedBinder_quot_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_funBinder_quot___elambda__1___closed__10; static lean_object* l_Lean_Parser_Term_match_parenthesizer___closed__9; @@ -1578,6 +1582,7 @@ static lean_object* l_Lean_Parser_Term_cdot___closed__1; static lean_object* l_Lean_Parser_Term_namedPattern___closed__7; static lean_object* l_Lean_Parser_Term_fromTerm___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_assert___closed__8; +static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__6; static lean_object* l_Lean_Parser_Term_assert_formatter___closed__1; static lean_object* l_Lean_Parser_Term_ensureTypeOf___elambda__1___closed__17; static lean_object* l_Lean_Parser_Term_syntheticHole___closed__1; @@ -1616,6 +1621,7 @@ static lean_object* l_Lean_Parser_Term_whereDecls_formatter___closed__2; static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__8; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_type_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_noindex___closed__2; +static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__1; static lean_object* l_Lean_Parser_Term_matchDiscr___elambda__1___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Term_scientific_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_match___closed__3; @@ -1733,6 +1739,8 @@ static lean_object* l_Lean_Parser_Term_binrel__no__prop___elambda__1___closed__1 static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented_formatter___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_argument___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_matchAlts___elambda__1___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__31; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__13; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_borrowed___elambda__1___closed__10; static lean_object* l_Lean_Parser_Term_basicFun___closed__7; @@ -1968,7 +1976,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_waitIfContainsMVar_declRange LEAN_EXPORT lean_object* l_Lean_Parser_Term_typeAscription; static lean_object* l___regBuiltin_Lean_Parser_Term_matchAltsWhereDecls_parenthesizer___closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_letDecl_parenthesizer(lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__20; static lean_object* l___regBuiltin_Lean_Parser_Command_docComment_formatter___closed__1; static lean_object* l_Lean_Parser_Term_nomatch___elambda__1___closed__14; static lean_object* l_Lean_Parser_Term_simpleBinder___closed__4; @@ -2019,10 +2026,8 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_letIdDecl_formatter___closed LEAN_EXPORT lean_object* l_Lean_Parser_Term_unreachable_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_depArrow___elambda__1___closed__23; static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls_formatter___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__32; static lean_object* l_Lean_Parser_Term_let__tmp_formatter___closed__5; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___closed__21; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__10; static lean_object* l_Lean_Parser_Term_motive_parenthesizer___closed__7; static lean_object* l_Lean_Parser_Term_borrowed___elambda__1___closed__12; static lean_object* l_Lean_Parser_Term_letMVar_formatter___closed__6; @@ -2129,6 +2134,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_paren_parenthesizer___closed static lean_object* l_Lean_Parser_Term_binderTactic___elambda__1___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_binrel_formatter___closed__2; static lean_object* l_Lean_Parser_Term_tupleTail___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__26; static lean_object* l_Lean_Parser_Term_waitIfTypeContainsMVar___elambda__1___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Term_leading__parser___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__17; @@ -2342,6 +2348,7 @@ static lean_object* l_Lean_Parser_Term_argument_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_let__delayed_formatter___closed__2; static lean_object* l_Lean_Parser_Term_ellipsis___closed__2; static lean_object* l_Lean_Parser_Term_cdot_formatter___closed__1; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_cdot___closed__9; lean_object* l_Lean_Parser_checkNoWsBefore___elambda__1___boxed(lean_object*, lean_object*, lean_object*); @@ -2429,6 +2436,7 @@ static lean_object* l_Lean_Parser_Term_structInstField___closed__2; static lean_object* l_Lean_Parser_Term_letrec_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__10; LEAN_EXPORT lean_object* l_Lean_Parser_Term_have; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_letIdLhs___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_let_formatter___closed__2; static lean_object* l_Lean_Parser_Term_binderTactic___elambda__1___closed__14; @@ -2525,6 +2533,8 @@ static lean_object* l_Lean_Parser_Term_let__delayed___closed__1; static lean_object* l_Lean_Parser_Term_pipeProj___closed__9; static lean_object* l_Lean_Parser_Term_nomatch_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_dynamicQuot_formatter___closed__6; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__19; +static lean_object* l_Lean_Parser_Term_forInMacro_x27_formatter___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Term_letrec___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_sort___closed__8; static lean_object* l_Lean_Parser_Term_structInstField___elambda__1___closed__3; @@ -2653,6 +2663,7 @@ static lean_object* l_Lean_Parser_Term_syntheticHole___elambda__1___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_panic_declRange___closed__3; static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_explicitUniv___closed__3; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__16; LEAN_EXPORT lean_object* l_Lean_Parser_Term_defaultOrOfNonempty_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_matchDiscr_quot_parenthesizer___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Command_docComment_formatter___closed__2; @@ -2772,7 +2783,6 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_quotedName_parenthesizer(lean_object static lean_object* l_Lean_Parser_Term_motive_formatter___closed__6; static lean_object* l_Lean_Parser_Term_matchDiscr___elambda__1___closed__17; static lean_object* l_Lean_Parser_Term_byTactic_parenthesizer___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__7; static lean_object* l_Lean_Parser_Term_generalizingParam___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_pipeProj___closed__3; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___closed__9; @@ -2797,6 +2807,7 @@ static lean_object* l_Lean_Parser_Term_subst___elambda__1___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_borrowed_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_show_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_showRhs_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Term_whereDecls; lean_object* l_Lean_PrettyPrinter_Parenthesizer_withoutForbidden_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_subst_parenthesizer(lean_object*); @@ -2885,12 +2896,14 @@ static lean_object* l_Lean_Parser_Term_simpleBinder_formatter___closed__3; static lean_object* l_Lean_Parser_Term_type_formatter___closed__8; static lean_object* l_Lean_Parser_Term_typeSpec___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_typeSpec_formatter___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__11; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev___elambda__1___closed__12; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot_parenthesizer___closed__7; LEAN_EXPORT lean_object* l_Lean_Parser_Term_nomatch___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_explicitBinder___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_generalizingParam___elambda__1___closed__17; LEAN_EXPORT lean_object* l_Lean_Parser_Term_stateRefT___elambda__1(lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__10; static lean_object* l_Lean_Parser_Term_binderIdent___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_letEqnsDecl_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_paren___elambda__1___closed__11; @@ -2901,6 +2914,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_ensureExpectedType_formatter static lean_object* l_Lean_Parser_Term_dynamicQuot___elambda__1___closed__23; static lean_object* l_Lean_Parser_Term_typeOf___elambda__1___closed__13; LEAN_EXPORT lean_object* l_Lean_Parser_Term_quotedName___elambda__1(lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_forInMacro_x27___closed__3; static lean_object* l_Lean_Parser_Term_binop___closed__6; static lean_object* l_Lean_Parser_Term_letEqnsDecl___closed__7; LEAN_EXPORT lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1(lean_object*, lean_object*); @@ -2969,6 +2983,7 @@ static lean_object* l_Lean_Parser_Term_generalizingParam___elambda__1___closed__ static lean_object* l_Lean_Parser_Term_anonymousCtor_parenthesizer___closed__6; lean_object* l_Lean_PrettyPrinter_Formatter_withoutForbidden_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_subst___elambda__1___closed__5; +static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_instBinder___elambda__1___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_show_declRange___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_ensureTypeOf_declRange___closed__3; @@ -3047,6 +3062,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_arrayRef___elambda__1(lean_object*, lean_object* l_Lean_Parser_attrParser_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_forall_declRange___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Tactic_quot_declRange___closed__4; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___closed__5; static lean_object* l_Lean_Parser_Term_generalizingParam___elambda__1___closed__9; static lean_object* l___regBuiltin_Lean_Parser_Term_tupleTail_parenthesizer___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_depArrow_declRange___closed__6; @@ -3062,6 +3078,7 @@ static lean_object* l_Lean_Parser_Term_waitIfContainsMVar_parenthesizer___closed static lean_object* l_Lean_Parser_Term_show___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Term_nomatch_declRange___closed__4; static lean_object* l_Lean_Parser_Term_depArrow___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__35; static lean_object* l___regBuiltin_Lean_Parser_Term_let__fun_declRange___closed__4; static lean_object* l_Lean_Parser_Term_proj___closed__5; static lean_object* l_Lean_Parser_Term_letIdDecl_parenthesizer___closed__1; @@ -3074,6 +3091,7 @@ static lean_object* l_Lean_Parser_Term_structInstLVal___closed__6; static lean_object* l_Lean_Parser_Term_binop___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Term_argument_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_ensureTypeOf___elambda__1___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__36; static lean_object* l_Lean_Parser_Term_forall_formatter___closed__7; static lean_object* l_Lean_Parser_Term_sort_formatter___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_generalizingParam_formatter___closed__1; @@ -3217,6 +3235,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_binrel_declRange___closed__7 static lean_object* l_Lean_Parser_Term_nomatch___closed__8; static lean_object* l_Lean_Parser_Term_stateRefT_formatter___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_noindex_declRange___closed__1; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___closed__1; static lean_object* l_Lean_Parser_Term_str___closed__2; static lean_object* l_Lean_Parser_Tactic_quotSeq___elambda__1___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_nomatch_declRange___closed__1; @@ -3232,7 +3251,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Command_commentBody___elambda__1(lean_obj static lean_object* l_Lean_Parser_Term_cdot___elambda__1___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_char_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_type___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__36; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_forall_formatter___closed__1; static lean_object* l_Lean_Parser_Term_tupleTail___closed__3; static lean_object* l_Lean_Parser_Term_have___elambda__1___closed__1; @@ -3385,6 +3404,7 @@ static lean_object* l_Lean_Parser_Term_depArrow___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_trueVal___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_doubleQuotedName_parenthesizer___closed__8; static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__38; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___closed__8; LEAN_EXPORT lean_object* l_Lean_Parser_Term_ident_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_structInstField___closed__9; static lean_object* l_Lean_Parser_Term_dynamicQuot_formatter___closed__2; @@ -3394,6 +3414,7 @@ static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__21; LEAN_EXPORT lean_object* l_Lean_Parser_Term_isIdent___boxed(lean_object*); static lean_object* l_Lean_Parser_Term_dynamicQuot___closed__3; static lean_object* l_Lean_Parser_Term_letPatDecl___closed__3; +static lean_object* l_Lean_Parser_Term_forInMacro_x27_formatter___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_inaccessible(lean_object*); static lean_object* l_Lean_Parser_Term_sort_formatter___closed__4; static lean_object* l_Lean_Parser_Term_let___elambda__1___closed__2; @@ -3445,6 +3466,7 @@ static lean_object* l_Lean_Parser_Term_forall_formatter___closed__8; static lean_object* l_Lean_Parser_Term_quotedName___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__26; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__9; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__14; LEAN_EXPORT lean_object* l_Lean_Parser_Term_scoped_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_matchDiscr_quot_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_ensureExpectedType___elambda__1___closed__10; @@ -3461,7 +3483,6 @@ static lean_object* l_Lean_Parser_Term_haveIdDecl___closed__3; static lean_object* l_Lean_Parser_Term_paren___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_structInst___closed__12; static lean_object* l_Lean_Parser_Term_nomatch___closed__6; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__24; static lean_object* l_Lean_Parser_Term_binop__lazy___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot___elambda__1___closed__13; static lean_object* l_Lean_Parser_Term_letRecDecl___elambda__1___closed__6; @@ -3510,6 +3531,7 @@ static lean_object* l_Lean_Parser_Term_tupleTail___elambda__1___closed__12; LEAN_EXPORT lean_object* l_Lean_Parser_Term_letMVar___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_attr_quot___elambda__1___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_declRange___closed__3; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_local_formatter___closed__3; static lean_object* l_Lean_Parser_Term_letRecDecl___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Term_forall; @@ -3520,6 +3542,7 @@ static lean_object* l_Lean_Parser_Term_waitIfContainsMVar_parenthesizer___closed static lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__10; static lean_object* l___regBuiltin_Lean_Parser_Term_app_declRange___closed__7; static lean_object* l_Lean_Parser_Term_matchDiscr_quot___elambda__1___closed__10; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__24; static lean_object* l_Lean_Parser_Term_cdot_parenthesizer___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_binop_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_matchDiscr_formatter___closed__6; @@ -3569,6 +3592,7 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_typeOf_declRange(lean_o LEAN_EXPORT lean_object* l_Lean_Parser_Term_structInstField; static lean_object* l___regBuiltin_Lean_Parser_Term_app_parenthesizer___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_binrel__no__prop___elambda__1(lean_object*, lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__7; static lean_object* l_Lean_Parser_Term_borrowed___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_typeAscription___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_let__tmp_parenthesizer___closed__2; @@ -3661,7 +3685,6 @@ static lean_object* l_Lean_Parser_Term_matchDiscr_parenthesizer___closed__3; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_structInst_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_sorry___elambda__1(lean_object*, lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__31; static lean_object* l_Lean_Parser_Term_matchDiscr_quot___elambda__1___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_quotedName_declRange___closed__5; static lean_object* l_Lean_Parser_Term_letMVar___elambda__1___closed__11; @@ -3692,6 +3715,7 @@ static lean_object* l_Lean_Parser_Term_funImplicitBinder___closed__5; lean_object* l_Lean_Parser_addQuotDepthFn___boxed(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_let__tmp_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_letDecl___closed__4; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_motive_parenthesizer___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_scientific(lean_object*); static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__10; @@ -3727,9 +3751,9 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_falseVal_parenthesizer___clo static lean_object* l_Lean_Parser_Term_let__tmp_formatter___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Tactic_tacticSeq1Indented_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_have___elambda__1___closed__8; +static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__4; static lean_object* l_Lean_Parser_Term_fromTerm___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_generalizingParam___elambda__1___closed__14; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__35; static lean_object* l___regBuiltin_Lean_Parser_Term_noindex_declRange___closed__2; static lean_object* l_Lean_Parser_Term_letIdLhs___closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_noImplicitLambda_parenthesizer(lean_object*); @@ -3754,6 +3778,7 @@ static lean_object* l_Lean_Parser_Term_structInstLVal___closed__2; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev_parenthesizer___closed__9; static lean_object* l_Lean_Parser_Term_matchDiscr_quot___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_binderTactic_formatter(lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__20; static lean_object* l_Lean_Parser_Term_letPatDecl___closed__10; static lean_object* l_Lean_Parser_Term_tupleTail_formatter___closed__5; static lean_object* l_Lean_Parser_Term_prop___elambda__1___closed__1; @@ -3800,10 +3825,12 @@ static lean_object* l_Lean_Parser_Term_match_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_basicFun_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_motive_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_show___elambda__1___closed__10; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__10; static lean_object* l_Lean_Parser_Term_generalizingParam_formatter___closed__3; static lean_object* l_Lean_Parser_Term_haveEqnsDecl___closed__2; static lean_object* l_Lean_Parser_Term_structInstArrayRef___elambda__1___closed__20; LEAN_EXPORT lean_object* l_Lean_Parser_Level_quot_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__32; static lean_object* l___regBuiltin_Lean_Parser_Term_waitIfTypeContainsMVar_declRange___closed__2; static lean_object* l_Lean_Parser_Term_matchDiscr_parenthesizer___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Term_haveDecl_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -3949,7 +3976,6 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_binderIdent; static lean_object* l_Lean_Parser_Term_attributes___elambda__1___closed__11; LEAN_EXPORT lean_object* l_Lean_Parser_Term_simpleBinder___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_falseVal_formatter___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__8; static lean_object* l_Lean_Parser_Term_binop__lazy___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_typeOf_declRange___closed__7; LEAN_EXPORT lean_object* l_Lean_Parser_Term_proj_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -4045,7 +4071,6 @@ static lean_object* l_Lean_Parser_Term_let___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_binop__lazy_declRange___closed__2; static lean_object* l_Lean_Parser_Term_structInstArrayRef___closed__8; static lean_object* l_Lean_Parser_Term_arrow_parenthesizer___closed__4; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__26; LEAN_EXPORT uint8_t l_Lean_Parser_Term_isIdent(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_ensureTypeOf_declRange___closed__1; static lean_object* l_Lean_Parser_Term_byTactic___elambda__1___closed__5; @@ -4122,6 +4147,7 @@ static lean_object* l_Lean_Parser_Term_panic___closed__1; static lean_object* l_Lean_Parser_Term_waitIfContainsMVar___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_attrKind___closed__2; static lean_object* l_Lean_Parser_Term_structInstLVal___closed__4; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__25; LEAN_EXPORT lean_object* l_Lean_Parser_Term_macroArg_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_matchAlt(lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_letIdLhs_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -4135,6 +4161,7 @@ static lean_object* l_Lean_Parser_Term_falseVal___closed__1; static lean_object* l_Lean_Parser_Term_inaccessible___elambda__1___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_declRange___closed__4; static lean_object* l_Lean_Parser_Term_matchDiscr_quot___elambda__1___closed__8; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__12; static lean_object* l_Lean_Parser_Term_optEllipsis_formatter___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_binderDefault___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_nomatch___closed__2; @@ -4204,7 +4231,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_prop_declRange___closed__4; static lean_object* l_Lean_Parser_Term_binop___elambda__1___closed__10; LEAN_EXPORT lean_object* l_Lean_Parser_Term_sorry_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_PrettyPrinter_Formatter_checkNoWsBefore_formatter___boxed(lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__17; static lean_object* l___regBuiltin_Lean_Parser_Term_pipeCompletion_formatter___closed__2; static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__23; static lean_object* l_Lean_Parser_Term_scoped___closed__6; @@ -4221,7 +4247,6 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_letMVar(lean_object*); static lean_object* l_Lean_Parser_Term_byTactic_parenthesizer___closed__6; LEAN_EXPORT lean_object* l_Lean_Parser_Term_attrKind_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_funBinder_quot___elambda__1___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__11; static lean_object* l_Lean_Parser_Term_funBinder_quot_formatter___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Command_docComment_parenthesizer___closed__2; lean_object* l_Lean_ppDedentIfGrouped_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -4313,6 +4338,7 @@ static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__16; static lean_object* l_Lean_Parser_Term_defaultOrOfNonempty___elambda__1___closed__13; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_char_declRange(lean_object*); +static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_formatter___closed__1; static lean_object* l_Lean_Parser_Term_let__fun___closed__10; static lean_object* l_Lean_Parser_Term_stateRefT___elambda__1___closed__12; static lean_object* l_Lean_Parser_Term_attributes_parenthesizer___closed__4; @@ -4349,6 +4375,7 @@ static lean_object* l_Lean_Parser_Term_whereDecls_parenthesizer___closed__6; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_quotedName_declRange(lean_object*); static lean_object* l_Lean_Parser_Term_binrel__no__prop___closed__8; static lean_object* l_Lean_Parser_Term_let___closed__3; +static lean_object* l_Lean_Parser_Term_forInMacro_x27_formatter___closed__4; static lean_object* l_Lean_Parser_Term_type_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_noindex___closed__3; static lean_object* l_Lean_Parser_Term_suffices___closed__7; @@ -4410,6 +4437,7 @@ static lean_object* l_Lean_Parser_Term_binrel___elambda__1___closed__3; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_stateRefT(lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_noindex_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_ensureExpectedType___elambda__1___closed__15; +static lean_object* l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Term_suffices_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_scientific_declRange___closed__1; @@ -4426,6 +4454,7 @@ static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_structInst___closed__13; static lean_object* l_Lean_Parser_Term_byTactic_x27___closed__2; static lean_object* l_Lean_Parser_Term_ellipsis___elambda__1___closed__2; +static lean_object* l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_funBinder_quot_declRange(lean_object*); static lean_object* l_Lean_Parser_Term_matchDiscr_quot___closed__2; static lean_object* l_Lean_Parser_Term_dynamicQuot___elambda__1___closed__5; @@ -4458,6 +4487,7 @@ static lean_object* l_Lean_Parser_Term_match_formatter___closed__13; LEAN_EXPORT lean_object* l_Lean_Parser_Term_ensureExpectedType_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__27; static lean_object* l_Lean_Parser_Term_ensureExpectedType___closed__7; +static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_formatter___closed__2; static lean_object* l_Lean_Parser_Term_forall_parenthesizer___closed__10; static lean_object* l_Lean_Parser_Term_letDecl___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Term_subst_declRange___closed__7; @@ -4479,7 +4509,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_arrow_parenthesizer___closed static lean_object* l_Lean_Parser_Term_have___closed__1; static lean_object* l_Lean_Parser_darrow___closed__2; static lean_object* l_Lean_Parser_Term_typeSpec___closed__5; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__12; LEAN_EXPORT lean_object* l_Lean_Parser_Term_optExprPrecedence_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_binrel_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_matchDiscr_formatter___closed__3; @@ -4630,6 +4659,7 @@ static lean_object* l_Lean_Parser_Term_anonymousCtor___closed__10; static lean_object* l_Lean_Parser_Term_num___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_scientific_declRange___closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer(lean_object*); +static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__3; static lean_object* l_Lean_Parser_Term_fromTerm_formatter___closed__3; static lean_object* l_Lean_Parser_Term_haveIdLhs_formatter___closed__1; static lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__14; @@ -4790,6 +4820,7 @@ static lean_object* l_Lean_Parser_Term_arrayRef___closed__1; static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_implicitBinder_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_generalizingParam___closed__13; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__30; static lean_object* l_Lean_Parser_Term_fromTerm___closed__5; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__18; static lean_object* l___regBuiltin_Lean_Parser_Term_tupleTail_parenthesizer___closed__2; @@ -4816,7 +4847,6 @@ static lean_object* l_Lean_Parser_Term_attrInstance___elambda__1___closed__7; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_pipeCompletion_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_letMVar___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__4; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__19; static lean_object* l___regBuiltin_Lean_Parser_Term_proj_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_letDecl___closed__12; static lean_object* l___regBuiltin_Lean_Parser_Term_motive_formatter___closed__1; @@ -4900,6 +4930,7 @@ static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___closed__6; static lean_object* l_Lean_Parser_Term_attributes_formatter___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_typeAscription_formatter___closed__2; static lean_object* l_Lean_Parser_Term_subst___closed__2; +static lean_object* l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_generalizingParam_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_binrel___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Term_strictImplicitRightBracket; @@ -4913,6 +4944,7 @@ static lean_object* l_Lean_Parser_Term_tupleTail_parenthesizer___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_structInstArrayRef; static lean_object* l___regBuiltin_Lean_Parser_Term_sort_declRange___closed__7; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_assert(lean_object*); +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_let__delayed___elambda__1___closed__11; static lean_object* l_Lean_Parser_Term_binop___closed__3; static lean_object* l_Lean_Parser_Term_simpleBinderWithoutType_formatter___closed__2; @@ -5003,6 +5035,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_haveEqnsDecl_formatter___clo static lean_object* l___regBuiltin_Lean_Parser_Term_ensureTypeOf_declRange___closed__2; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_letIdDecl___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__15; static lean_object* l_Lean_Parser_Term_funBinder_quot_formatter___closed__5; static lean_object* l_Lean_Parser_Term_arrow___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_inaccessible_declRange___closed__4; @@ -5031,6 +5064,7 @@ static lean_object* l_Lean_Parser_Term_binderTactic___elambda__1___closed__10; LEAN_EXPORT lean_object* l_Lean_Parser_Term_waitIfTypeContainsMVar_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_defaultOrOfNonempty_parenthesizer___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__18; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_falseVal_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_local___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__1; @@ -5144,7 +5178,6 @@ static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__16; static lean_object* l_Lean_Parser_Term_basicFun_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_let__fun___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_macroDollarArg_parenthesizer___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__39; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_binrel_formatter(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_app_declRange___closed__6; lean_object* l_Lean_Parser_nameLit_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -5201,6 +5234,7 @@ static lean_object* l_Lean_Parser_Term_noImplicitLambda___closed__2; static lean_object* l_Lean_Parser_Term_funSimpleBinder_parenthesizer___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_ensureExpectedType_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_tupleTail_formatter___closed__2; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_binop__lazy_declRange___closed__6; static lean_object* l_Lean_Parser_Term_trailing__parser___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_waitIfContainsMVar_declRange___closed__3; @@ -5364,6 +5398,7 @@ static lean_object* l_Lean_Parser_Term_ellipsis___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_motive_formatter___closed__4; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_bracketedBinder_quot_formatter(lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__22; lean_object* l_Lean_Parser_mkAntiquot(lean_object*, lean_object*, uint8_t); static lean_object* l_Lean_Parser_Term_funBinder___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_byTactic___closed__2; @@ -5376,6 +5411,7 @@ lean_object* l_Lean_PrettyPrinter_Parenthesizer_withPosition_parenthesizer(lean_ static lean_object* l_Lean_Parser_Term_bracketedBinder_quot___elambda__1___closed__11; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_match_formatter___closed__10; +LEAN_EXPORT lean_object* l_Lean_Parser_Term_forInMacro_x27_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_scientific___closed__1; static lean_object* l_Lean_Parser_Term_suffices_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__6; @@ -5397,6 +5433,7 @@ static lean_object* l_Lean_Parser_Term_let_parenthesizer___closed__5; lean_object* l_Lean_addBuiltinDocString(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_explicitUniv_formatter___closed__4; static lean_object* l_Lean_Parser_Term_nomatch___elambda__1___closed__10; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__33; static lean_object* l_Lean_Parser_Term_assert_formatter___closed__6; static lean_object* l_Lean_Parser_Term_paren_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_basicFun___closed__9; @@ -5442,7 +5479,6 @@ static lean_object* l_Lean_Parser_Term_byTactic___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_forall_formatter___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_optSemicolon_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_unicodeSymbolFn___boxed(lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__6; static lean_object* l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_structInstField___closed__3; static lean_object* l_Lean_Parser_Term_typeAscription___closed__8; @@ -5457,7 +5493,6 @@ static lean_object* l_Lean_Parser_Term_byTactic___elambda__1___closed__16; static lean_object* l_Lean_Parser_Term_depArrow___elambda__1___closed__12; LEAN_EXPORT lean_object* l_Lean_Parser_Term_trueVal_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_scientific_declRange___closed__3; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__2; static lean_object* l_Lean_Parser_Level_quot___elambda__1___closed__10; static lean_object* l_Lean_Parser_Term_binrel___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_funBinder___closed__4; @@ -5554,9 +5589,9 @@ static lean_object* l_Lean_Parser_Term_explicitUniv___closed__11; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_str_declRange___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Level_quot_declRange___closed__5; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__29; static lean_object* l_Lean_Parser_Term_optEllipsis_parenthesizer___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_inaccessible_declRange___closed__2; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__34; static lean_object* l_Lean_Parser_Tactic_tacticSeq___closed__3; static lean_object* l_Lean_Parser_Term_namedArgument_parenthesizer___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_binderDefault_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -5578,6 +5613,7 @@ static lean_object* l_Lean_Parser_Term_ensureExpectedType___elambda__1___closed_ static lean_object* l___regBuiltin_Lean_Parser_Term_matchDiscr_quot_declRange___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_attr_quot_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_optEllipsis___elambda__1___closed__7; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__8; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_attr_quot(lean_object*); static lean_object* l_Lean_Parser_Term_stateRefT_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_paren___elambda__1___closed__15; @@ -5645,6 +5681,7 @@ static lean_object* l_Lean_Parser_Term_matchDiscr_parenthesizer___closed__6; LEAN_EXPORT lean_object* l_Lean_Parser_Term_panic_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__3; static lean_object* l_Lean_Parser_Term_syntheticHole_parenthesizer___closed__2; +static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__2; static lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__15; static lean_object* l___regBuiltin_Lean_Parser_Term_bracketedBinder_quot_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__7; @@ -5683,6 +5720,7 @@ static lean_object* l_Lean_Parser_Term_anonymousCtor_formatter___closed__7; static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__11; static lean_object* l_Lean_Parser_Term_borrowed___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_suffices_parenthesizer___closed__1; +LEAN_EXPORT lean_object* l_Lean_Parser_Term_forInMacro_x27; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___closed__25; static lean_object* l_Lean_Parser_Term_subst_parenthesizer___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_noindex_declRange___closed__7; @@ -5702,9 +5740,7 @@ static lean_object* l_Lean_Parser_Term_bracketedBinder_quot___elambda__1___close LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_waitIfTypeContainsMVar_declRange(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_binrel_declRange___closed__5; static lean_object* l_Lean_Parser_Term_optEllipsis_parenthesizer___closed__3; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__21; static lean_object* l___regBuiltin_Lean_Parser_Term_attr_quot_declRange___closed__4; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__38; LEAN_EXPORT lean_object* l_Lean_Parser_Term_suffices; static lean_object* l_Lean_Parser_Term_forall_formatter___closed__2; static lean_object* l_Lean_Parser_Term_binderDefault_formatter___closed__1; @@ -5810,6 +5846,7 @@ lean_object* l_Lean_PrettyPrinter_Parenthesizer_checkColGt_parenthesizer___boxed static lean_object* l_Lean_Parser_Term_local___closed__7; static lean_object* l_Lean_Parser_Term_dbgTrace___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_local_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_fun_formatter___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_quotSeq_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_whereDecls_formatter___closed__2; @@ -5859,6 +5896,7 @@ static lean_object* l_Lean_Parser_Term_depArrow___elambda__1___closed__11; static lean_object* l_Lean_Parser_Term_ensureExpectedType___elambda__1___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_sorry_declRange___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_quotSeq(lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__27; LEAN_EXPORT lean_object* l_Lean_Parser_Term_strictImplicitBinder___elambda__1(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Tactic_quot___elambda__1___closed__11; static lean_object* l___regBuiltin_Lean_Parser_Term_dynamicQuot_declRange___closed__1; @@ -5894,7 +5932,7 @@ static lean_object* l_Lean_Parser_Term_show_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_trueVal___elambda__1___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_sorry_declRange___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_63_(lean_object*); -LEAN_EXPORT lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628_(lean_object*); +LEAN_EXPORT lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658_(lean_object*); static lean_object* l_Lean_Parser_Term_defaultOrOfNonempty___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_have___elambda__1___closed__13; static lean_object* l_Lean_Parser_Term_noindex___elambda__1___closed__5; @@ -5912,6 +5950,8 @@ static lean_object* l_Lean_Parser_Term_ellipsis___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_haveIdDecl_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_depArrow_formatter___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_arrayRef_formatter___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__9; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_simpleBinderWithoutType___closed__5; LEAN_EXPORT lean_object* l_Lean_Parser_Term_dbgTrace_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_binop__lazy; @@ -5990,6 +6030,7 @@ static lean_object* l_Lean_Parser_Term_match___closed__10; lean_object* l_Lean_Parser_symbol_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_funBinder_quot_declRange___closed__7; static lean_object* l_Lean_Parser_Term_forInMacro_parenthesizer___closed__3; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__5; static lean_object* l_Lean_Parser_Term_funBinder_quot___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_haveIdLhs___elambda__1___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_basicFun_formatter___closed__2; @@ -6034,6 +6075,7 @@ static lean_object* l_Lean_Parser_Term_borrowed___elambda__1___closed__15; static lean_object* l_Lean_Parser_Term_namedPattern___elambda__1___closed__1; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__16; static lean_object* l_Lean_Parser_Term_generalizingParam___elambda__1___closed__16; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__28; static lean_object* l_Lean_Parser_Term_attr_quot_formatter___closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_cdot_declRange(lean_object*); lean_object* l_Lean_Parser_identFn(lean_object*, lean_object*); @@ -6078,6 +6120,7 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_structInstLVal_formatte static lean_object* l_Lean_Parser_Term_letMVar___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_match_declRange___closed__1; static lean_object* l_Lean_Parser_Term_sort___closed__7; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__14; static lean_object* l___regBuiltin_Lean_Parser_Term_paren_declRange___closed__6; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev_formatter___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_ident___closed__1; @@ -6110,6 +6153,7 @@ static lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__14; LEAN_EXPORT lean_object* l_Lean_Parser_Term_structInstField_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_proj_formatter(lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_optIdent_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2; lean_object* l_Lean_Parser_unicodeSymbolFnAux(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_paren_formatter___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_trailing__parser_declRange___closed__6; @@ -6121,6 +6165,7 @@ static lean_object* l_Lean_Parser_Term_binrel__no__prop___elambda__1___closed__3 static lean_object* l_Lean_Parser_Term_falseVal___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_hole___elambda__1___closed__11; LEAN_EXPORT lean_object* l_Lean_Parser_Term_attrKind___elambda__1(lean_object*, lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__3; static lean_object* l_Lean_Parser_Tactic_quotSeq___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_ensureExpectedType_formatter___closed__1; static lean_object* l_Lean_Parser_Term_letMVar___elambda__1___closed__6; @@ -6142,7 +6187,6 @@ static lean_object* l_Lean_Parser_Term_basicFun_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_funBinder_quot_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_byTactic_x27___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_letrec___closed__10; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__1; static lean_object* l_Lean_Parser_Term_paren_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_fromTerm_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Tactic_tacticSeq___closed__5; @@ -6168,7 +6212,6 @@ static lean_object* l_Lean_Parser_Term_bracketedBinder_quot_parenthesizer___clos static lean_object* l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__2; static lean_object* l_Lean_Parser_Term_let__fun_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_motive___closed__4; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__4; static lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__20; LEAN_EXPORT lean_object* l_Lean_Parser_Term_trueVal; extern lean_object* l_Lean_Parser_strLit; @@ -6185,6 +6228,7 @@ static lean_object* l_Lean_Parser_Level_quot___elambda__1___closed__7; LEAN_EXPORT lean_object* l_Lean_Parser_Term_let__fun___elambda__1___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_PrettyPrinter_Formatter_andthen_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_let__delayed_declRange___closed__7; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_forall_formatter___closed__9; static lean_object* l_Lean_Parser_Term_scoped___elambda__1___closed__12; static lean_object* l_Lean_Parser_Term_doubleQuotedName___elambda__1___closed__4; @@ -6207,6 +6251,7 @@ static lean_object* l_Lean_Parser_Term_funImplicitBinder_formatter___closed__2; static lean_object* l_Lean_Parser_Term_sufficesDecl___closed__8; lean_object* l_Lean_Parser_nodeWithAntiquot_parenthesizer(lean_object*, lean_object*, lean_object*, uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__4; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_pipeProj_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__22; static lean_object* l_Lean_Parser_Tactic_quotSeq_formatter___closed__1; @@ -6219,6 +6264,7 @@ static lean_object* l_Lean_Parser_Term_waitIfTypeMVar___closed__2; static lean_object* l_Lean_Parser_Term_funImplicitBinder___closed__6; static lean_object* l_Lean_Parser_Term_typeOf___closed__6; static lean_object* l_Lean_Parser_Term_funBinder_quot___elambda__1___closed__8; +static lean_object* l_Lean_Parser_Term_forInMacro_x27___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_pipeCompletion_declRange___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_char_declRange___closed__4; static lean_object* l_Lean_Parser_Term_letRecDecl___elambda__1___closed__1; @@ -6314,6 +6360,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_bracketedBinder_quot_parenth LEAN_EXPORT lean_object* l_Lean_Parser_Term_let__tmp; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot_formatter___closed__2; static lean_object* l_Lean_Parser_Term_waitIfTypeContainsMVar_formatter___closed__3; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__37; static lean_object* l_Lean_Parser_Term_paren_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_structInstLVal_parenthesizer___closed__11; lean_object* l_Lean_PrettyPrinter_Parenthesizer_node_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -65158,6 +65205,737 @@ 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_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__1() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("forInMacro'"); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_byTactic___elambda__1___closed__2; +x_2 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__1; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2; +x_2 = lean_alloc_ctor(1, 1, 0); +lean_ctor_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__1; +x_2 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__3; +x_3 = 1; +x_4 = l_Lean_Parser_mkAntiquot(x_1, x_2, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__5() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("for_in'% "); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__6() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__5; +x_2 = l_String_trim(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__7() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__6; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__8() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__7; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_tokenWithAntiquotFn), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__9() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__8; +x_2 = l_Lean_Parser_Term_forInMacro___elambda__1___closed__9; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__10() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2; +x_2 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__9; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_nodeFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__11() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__10; +x_2 = l_Lean_Parser_Command_docComment___elambda__1___closed__21; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__12() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_docComment___elambda__1___closed__19; +x_2 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__11; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__13() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_docComment___elambda__1___lambda__3___closed__6; +x_2 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__6; +x_3 = lean_string_append(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__14() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__13; +x_2 = l_Lean_Parser_Command_docComment___elambda__1___lambda__3___closed__6; +x_3 = lean_string_append(x_1, x_2); +return x_3; +} +} +LEAN_EXPORT lean_object* l_Lean_Parser_Term_forInMacro_x27___elambda__1(lean_object* x_1, lean_object* x_2) { +_start: +{ +lean_object* x_3; lean_object* x_4; uint8_t x_5; +x_3 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__4; +x_4 = lean_ctor_get(x_3, 1); +lean_inc(x_4); +lean_inc(x_2); +lean_inc(x_1); +x_5 = l_Lean_Parser_tryAnti(x_1, x_2); +if (x_5 == 0) +{ +lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; uint8_t x_10; +lean_dec(x_4); +x_6 = lean_unsigned_to_nat(1024u); +x_7 = l_Lean_Parser_checkPrecFn(x_6, x_1, x_2); +x_8 = lean_ctor_get(x_7, 4); +lean_inc(x_8); +x_9 = lean_box(0); +x_10 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_800____at_Lean_Parser_ParserState_hasError___spec__1(x_8, x_9); +lean_dec(x_8); +if (x_10 == 0) +{ +lean_dec(x_1); +return x_7; +} +else +{ +lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; uint8_t x_17; lean_object* x_18; +x_11 = lean_ctor_get(x_7, 0); +lean_inc(x_11); +x_12 = lean_array_get_size(x_11); +lean_dec(x_11); +x_13 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__6; +x_14 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__14; +lean_inc(x_1); +x_15 = l_Lean_Parser_symbolFnAux(x_13, x_14, x_1, x_7); +x_16 = lean_ctor_get(x_15, 4); +lean_inc(x_16); +x_17 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_800____at_Lean_Parser_ParserState_hasError___spec__1(x_16, x_9); +lean_dec(x_16); +if (x_17 == 0) +{ +x_18 = x_15; +goto block_50; +} +else +{ +lean_object* x_51; lean_object* x_52; uint8_t x_53; +x_51 = lean_ctor_get(x_1, 4); +lean_inc(x_51); +x_52 = lean_unsigned_to_nat(0u); +x_53 = lean_nat_dec_eq(x_51, x_52); +lean_dec(x_51); +if (x_53 == 0) +{ +lean_object* x_54; lean_object* x_55; +x_54 = lean_box(0); +lean_inc(x_1); +x_55 = l_Lean_Parser_Command_docComment___elambda__1___lambda__3(x_15, x_1, x_9, x_54); +x_18 = x_55; +goto block_50; +} +else +{ +x_18 = x_15; +goto block_50; +} +} +block_50: +{ +lean_object* x_19; uint8_t x_20; +x_19 = lean_ctor_get(x_18, 4); +lean_inc(x_19); +x_20 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_800____at_Lean_Parser_ParserState_hasError___spec__1(x_19, x_9); +lean_dec(x_19); +if (x_20 == 0) +{ +lean_object* x_21; lean_object* x_22; lean_object* x_23; uint8_t x_24; +x_21 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2; +x_22 = l_Lean_Parser_ParserState_mkNode(x_18, x_21, x_12); +x_23 = lean_ctor_get(x_22, 4); +lean_inc(x_23); +x_24 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_800____at_Lean_Parser_ParserState_hasError___spec__1(x_23, x_9); +lean_dec(x_23); +if (x_24 == 0) +{ +lean_dec(x_1); +return x_22; +} +else +{ +lean_object* x_25; +x_25 = l_Lean_Parser_setLhsPrecFn(x_6, x_1, x_22); +lean_dec(x_1); +return x_25; +} +} +else +{ +lean_object* x_26; lean_object* x_27; lean_object* x_28; lean_object* x_29; uint8_t x_30; +x_26 = l___regBuiltin_Lean_Parser_Term_byTactic___closed__2; +x_27 = l_Lean_Parser_maxPrec; +lean_inc(x_1); +x_28 = l_Lean_Parser_categoryParser___elambda__1(x_26, x_27, x_1, x_18); +x_29 = lean_ctor_get(x_28, 4); +lean_inc(x_29); +x_30 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_800____at_Lean_Parser_ParserState_hasError___spec__1(x_29, x_9); +lean_dec(x_29); +if (x_30 == 0) +{ +lean_object* x_31; lean_object* x_32; lean_object* x_33; uint8_t x_34; +x_31 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2; +x_32 = l_Lean_Parser_ParserState_mkNode(x_28, x_31, x_12); +x_33 = lean_ctor_get(x_32, 4); +lean_inc(x_33); +x_34 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_800____at_Lean_Parser_ParserState_hasError___spec__1(x_33, x_9); +lean_dec(x_33); +if (x_34 == 0) +{ +lean_dec(x_1); +return x_32; +} +else +{ +lean_object* x_35; +x_35 = l_Lean_Parser_setLhsPrecFn(x_6, x_1, x_32); +lean_dec(x_1); +return x_35; +} +} +else +{ +lean_object* x_36; lean_object* x_37; uint8_t x_38; +lean_inc(x_1); +x_36 = l_Lean_Parser_categoryParser___elambda__1(x_26, x_27, x_1, x_28); +x_37 = lean_ctor_get(x_36, 4); +lean_inc(x_37); +x_38 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_800____at_Lean_Parser_ParserState_hasError___spec__1(x_37, x_9); +lean_dec(x_37); +if (x_38 == 0) +{ +lean_object* x_39; lean_object* x_40; lean_object* x_41; uint8_t x_42; +x_39 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2; +x_40 = l_Lean_Parser_ParserState_mkNode(x_36, x_39, x_12); +x_41 = lean_ctor_get(x_40, 4); +lean_inc(x_41); +x_42 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_800____at_Lean_Parser_ParserState_hasError___spec__1(x_41, x_9); +lean_dec(x_41); +if (x_42 == 0) +{ +lean_dec(x_1); +return x_40; +} +else +{ +lean_object* x_43; +x_43 = l_Lean_Parser_setLhsPrecFn(x_6, x_1, x_40); +lean_dec(x_1); +return x_43; +} +} +else +{ +lean_object* x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; uint8_t x_48; +lean_inc(x_1); +x_44 = l_Lean_Parser_categoryParser___elambda__1(x_26, x_27, x_1, x_36); +x_45 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2; +x_46 = l_Lean_Parser_ParserState_mkNode(x_44, x_45, x_12); +x_47 = lean_ctor_get(x_46, 4); +lean_inc(x_47); +x_48 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_800____at_Lean_Parser_ParserState_hasError___spec__1(x_47, x_9); +lean_dec(x_47); +if (x_48 == 0) +{ +lean_dec(x_1); +return x_46; +} +else +{ +lean_object* x_49; +x_49 = l_Lean_Parser_setLhsPrecFn(x_6, x_1, x_46); +lean_dec(x_1); +return x_49; +} +} +} +} +} +} +} +else +{ +lean_object* x_56; uint8_t x_57; lean_object* x_58; +x_56 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__12; +x_57 = 1; +x_58 = l_Lean_Parser_orelseFnCore(x_4, x_56, x_57, x_1, x_2); +return x_58; +} +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__6; +x_2 = l_Lean_Parser_symbolInfo(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_forInMacro_x27___closed__1; +x_2 = l_Lean_Parser_Term_forInMacro___closed__2; +x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2; +x_2 = l_Lean_Parser_Term_forInMacro_x27___closed__2; +x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_forInMacro_x27___closed__3; +x_2 = l_Lean_Parser_epsilonInfo; +x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___closed__5() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_epsilonInfo; +x_2 = l_Lean_Parser_Term_forInMacro_x27___closed__4; +x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___closed__6() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__4; +x_2 = lean_ctor_get(x_1, 0); +lean_inc(x_2); +x_3 = l_Lean_Parser_Term_forInMacro_x27___closed__5; +x_4 = l_Lean_Parser_orelseInfo(x_2, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___closed__7() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_forInMacro_x27___elambda__1), 2, 0); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27___closed__8() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_forInMacro_x27___closed__6; +x_2 = l_Lean_Parser_Term_forInMacro_x27___closed__7; +x_3 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_3, 0, x_1); +lean_ctor_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27() { +_start: +{ +lean_object* x_1; +x_1 = l_Lean_Parser_Term_forInMacro_x27___closed__8; +return x_1; +} +} +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27(lean_object* x_1) { +_start: +{ +lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; +x_2 = l___regBuiltin_Lean_Parser_Term_byTactic___closed__2; +x_3 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2; +x_4 = 1; +x_5 = l_Lean_Parser_Term_forInMacro_x27; +x_6 = lean_unsigned_to_nat(1000u); +x_7 = l_Lean_Parser_addBuiltinParser(x_2, x_3, x_4, x_5, x_6, x_1); +return x_7; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_unsigned_to_nat(236u); +x_2 = lean_unsigned_to_nat(21u); +x_3 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_3, 0, x_1); +lean_ctor_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_unsigned_to_nat(236u); +x_2 = lean_unsigned_to_nat(132u); +x_3 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_3, 0, x_1); +lean_ctor_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___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_Parser_Term_forInMacro_x27_declRange___closed__1; +x_2 = lean_unsigned_to_nat(21u); +x_3 = l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__2; +x_4 = lean_unsigned_to_nat(132u); +x_5 = lean_alloc_ctor(0, 4, 0); +lean_ctor_set(x_5, 0, x_1); +lean_ctor_set(x_5, 1, x_2); +lean_ctor_set(x_5, 2, x_3); +lean_ctor_set(x_5, 3, x_4); +return x_5; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_unsigned_to_nat(236u); +x_2 = lean_unsigned_to_nat(25u); +x_3 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_3, 0, x_1); +lean_ctor_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__5() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_unsigned_to_nat(236u); +x_2 = lean_unsigned_to_nat(36u); +x_3 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_3, 0, x_1); +lean_ctor_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__6() { +_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_Parser_Term_forInMacro_x27_declRange___closed__4; +x_2 = lean_unsigned_to_nat(25u); +x_3 = l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__5; +x_4 = lean_unsigned_to_nat(36u); +x_5 = lean_alloc_ctor(0, 4, 0); +lean_ctor_set(x_5, 0, x_1); +lean_ctor_set(x_5, 1, x_2); +lean_ctor_set(x_5, 2, x_3); +lean_ctor_set(x_5, 3, x_4); +return x_5; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__7() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__3; +x_2 = l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__6; +x_3 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_3, 0, x_1); +lean_ctor_set(x_3, 1, x_2); +return x_3; +} +} +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange(lean_object* x_1) { +_start: +{ +lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_2 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2; +x_3 = l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__7; +x_4 = l_Lean_addBuiltinDeclarationRanges(x_2, x_3, x_1); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27_formatter___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; lean_object* x_5; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__1; +x_2 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__3; +x_3 = 1; +x_4 = lean_box(x_3); +x_5 = lean_alloc_closure((void*)(l_Lean_Parser_mkAntiquot_formatter___boxed), 8, 3); +lean_closure_set(x_5, 0, x_1); +lean_closure_set(x_5, 1, x_2); +lean_closure_set(x_5, 2, x_4); +return x_5; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27_formatter___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__5; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbol_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27_formatter___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_forInMacro_x27_formatter___closed__2; +x_2 = l_Lean_Parser_Term_forInMacro_formatter___closed__3; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27_formatter___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2; +x_2 = lean_unsigned_to_nat(1024u); +x_3 = l_Lean_Parser_Term_forInMacro_x27_formatter___closed__3; +x_4 = lean_alloc_closure((void*)(l_Lean_Parser_leadingNode_formatter___boxed), 8, 3); +lean_closure_set(x_4, 0, x_1); +lean_closure_set(x_4, 1, x_2); +lean_closure_set(x_4, 2, x_3); +return x_4; +} +} +LEAN_EXPORT lean_object* l_Lean_Parser_Term_forInMacro_x27_formatter(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +_start: +{ +lean_object* x_6; lean_object* x_7; lean_object* x_8; +x_6 = l_Lean_Parser_Term_forInMacro_x27_formatter___closed__1; +x_7 = l_Lean_Parser_Term_forInMacro_x27_formatter___closed__4; +x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x_4, x_5); +return x_8; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_formatter___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2; +x_2 = l___regBuiltin_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__1; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_formatter___closed__2() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_forInMacro_x27_formatter), 5, 0); +return x_1; +} +} +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_formatter(lean_object* x_1) { +_start: +{ +lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; +x_2 = l___regBuiltin_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__3; +x_3 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2; +x_4 = l___regBuiltin_Lean_Parser_Term_forInMacro_x27_formatter___closed__1; +x_5 = l___regBuiltin_Lean_Parser_Term_forInMacro_x27_formatter___closed__2; +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_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; lean_object* x_5; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__1; +x_2 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__3; +x_3 = 1; +x_4 = lean_box(x_3); +x_5 = lean_alloc_closure((void*)(l_Lean_Parser_mkAntiquot_parenthesizer___boxed), 8, 3); +lean_closure_set(x_5, 0, x_1); +lean_closure_set(x_5, 1, x_2); +lean_closure_set(x_5, 2, x_4); +return x_5; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__5; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbol_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__2; +x_2 = l_Lean_Parser_Term_forInMacro_parenthesizer___closed__3; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2; +x_2 = lean_unsigned_to_nat(1024u); +x_3 = l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__3; +x_4 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed), 8, 3); +lean_closure_set(x_4, 0, x_1); +lean_closure_set(x_4, 1, x_2); +lean_closure_set(x_4, 2, x_3); +return x_4; +} +} +LEAN_EXPORT lean_object* l_Lean_Parser_Term_forInMacro_x27_parenthesizer(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +_start: +{ +lean_object* x_6; lean_object* x_7; lean_object* x_8; +x_6 = l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__1; +x_7 = l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__4; +x_8 = l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer(x_6, x_7, x_1, x_2, x_3, x_4, x_5); +return x_8; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2; +x_2 = l___regBuiltin_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__1; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__2() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_forInMacro_x27_parenthesizer), 5, 0); +return x_1; +} +} +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_parenthesizer(lean_object* x_1) { +_start: +{ +lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; +x_2 = l___regBuiltin_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__3; +x_3 = l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2; +x_4 = l___regBuiltin_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__1; +x_5 = l___regBuiltin_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__2; +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_Lean_Parser_Term_typeOf___elambda__1___closed__1() { _start: { @@ -75017,7 +75795,7 @@ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_unsigned_to_nat(236u); -x_2 = lean_unsigned_to_nat(21u); +x_2 = lean_unsigned_to_nat(77u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); lean_ctor_set(x_3, 1, x_2); @@ -75027,22 +75805,10 @@ return x_3; static lean_object* _init_l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__2() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(236u); -x_2 = lean_unsigned_to_nat(77u); -x_3 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_3, 0, x_1); -lean_ctor_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l___regBuiltin_Lean_Parser_Term_completion_declRange___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_Parser_Term_completion_declRange___closed__1; +x_1 = l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__1; x_2 = lean_unsigned_to_nat(21u); -x_3 = l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__2; +x_3 = l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__1; x_4 = lean_unsigned_to_nat(77u); x_5 = lean_alloc_ctor(0, 4, 0); lean_ctor_set(x_5, 0, x_1); @@ -75052,19 +75818,7 @@ lean_ctor_set(x_5, 3, x_4); return x_5; } } -static lean_object* _init_l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__4() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(236u); -x_2 = lean_unsigned_to_nat(25u); -x_3 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_3, 0, x_1); -lean_ctor_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__5() { +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__3() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -75076,13 +75830,13 @@ lean_ctor_set(x_3, 1, x_2); return x_3; } } -static lean_object* _init_l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__6() { +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__4() { _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_Parser_Term_completion_declRange___closed__4; +x_1 = l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__4; x_2 = lean_unsigned_to_nat(25u); -x_3 = l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__5; +x_3 = l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__3; x_4 = lean_unsigned_to_nat(35u); x_5 = lean_alloc_ctor(0, 4, 0); lean_ctor_set(x_5, 0, x_1); @@ -75092,12 +75846,12 @@ lean_ctor_set(x_5, 3, x_4); return x_5; } } -static lean_object* _init_l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__7() { +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__5() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__3; -x_2 = l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__6; +x_1 = l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__2; +x_2 = l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__4; x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); lean_ctor_set(x_3, 1, x_2); @@ -75109,7 +75863,7 @@ _start: { lean_object* x_2; lean_object* x_3; lean_object* x_4; x_2 = l_Lean_Parser_Term_completion___elambda__1___closed__2; -x_3 = l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__7; +x_3 = l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__5; x_4 = l_Lean_addBuiltinDeclarationRanges(x_2, x_3, x_1); return x_4; } @@ -90904,7 +91658,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_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__1() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__1() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -90914,7 +91668,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__2() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__2() { _start: { lean_object* x_1; lean_object* x_2; @@ -90924,7 +91678,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__3() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__3() { _start: { lean_object* x_1; @@ -90932,7 +91686,7 @@ x_1 = l_Lean_Parser_parserAliasesRef; return x_1; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__4() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__4() { _start: { lean_object* x_1; lean_object* x_2; @@ -90942,7 +91696,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__5() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__5() { _start: { lean_object* x_1; @@ -90950,7 +91704,7 @@ x_1 = l_Lean_PrettyPrinter_Formatter_formatterAliasesRef; return x_1; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__6() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__6() { _start: { lean_object* x_1; lean_object* x_2; @@ -90960,7 +91714,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__7() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__7() { _start: { lean_object* x_1; @@ -90968,7 +91722,7 @@ x_1 = l_Lean_PrettyPrinter_Parenthesizer_parenthesizerAliasesRef; return x_1; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__8() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__8() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -90978,7 +91732,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__9() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__9() { _start: { lean_object* x_1; lean_object* x_2; @@ -90988,7 +91742,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__10() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__10() { _start: { lean_object* x_1; lean_object* x_2; @@ -90998,7 +91752,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__11() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__11() { _start: { lean_object* x_1; lean_object* x_2; @@ -91008,7 +91762,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__12() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__12() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -91018,7 +91772,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__13() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__13() { _start: { lean_object* x_1; lean_object* x_2; @@ -91028,7 +91782,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__14() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__14() { _start: { lean_object* x_1; lean_object* x_2; @@ -91038,7 +91792,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__15() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__15() { _start: { lean_object* x_1; lean_object* x_2; @@ -91048,7 +91802,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__16() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__16() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -91058,7 +91812,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__17() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__17() { _start: { lean_object* x_1; lean_object* x_2; @@ -91068,7 +91822,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__18() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__18() { _start: { lean_object* x_1; lean_object* x_2; @@ -91078,7 +91832,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__19() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__19() { _start: { lean_object* x_1; lean_object* x_2; @@ -91088,7 +91842,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__20() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__20() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -91098,7 +91852,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__21() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__21() { _start: { lean_object* x_1; lean_object* x_2; @@ -91108,7 +91862,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__22() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__22() { _start: { lean_object* x_1; lean_object* x_2; @@ -91118,7 +91872,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__23() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__23() { _start: { lean_object* x_1; lean_object* x_2; @@ -91128,7 +91882,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__24() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__24() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -91138,7 +91892,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__25() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__25() { _start: { lean_object* x_1; lean_object* x_2; @@ -91148,7 +91902,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__26() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__26() { _start: { lean_object* x_1; lean_object* x_2; @@ -91158,7 +91912,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__27() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__27() { _start: { lean_object* x_1; lean_object* x_2; @@ -91168,7 +91922,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__28() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__28() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -91178,7 +91932,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__29() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__29() { _start: { lean_object* x_1; lean_object* x_2; @@ -91188,7 +91942,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__30() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__30() { _start: { lean_object* x_1; lean_object* x_2; @@ -91198,7 +91952,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__31() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__31() { _start: { lean_object* x_1; lean_object* x_2; @@ -91208,7 +91962,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__32() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__32() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -91218,7 +91972,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__33() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__33() { _start: { lean_object* x_1; lean_object* x_2; @@ -91228,7 +91982,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__34() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__34() { _start: { lean_object* x_1; lean_object* x_2; @@ -91238,7 +91992,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__35() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__35() { _start: { lean_object* x_1; lean_object* x_2; @@ -91248,7 +92002,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__36() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__36() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -91258,7 +92012,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__37() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__37() { _start: { lean_object* x_1; lean_object* x_2; @@ -91268,7 +92022,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__38() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__38() { _start: { lean_object* x_1; lean_object* x_2; @@ -91278,7 +92032,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__39() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__39() { _start: { lean_object* x_1; lean_object* x_2; @@ -91288,13 +92042,13 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -LEAN_EXPORT lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628_(lean_object* x_1) { +LEAN_EXPORT lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658_(lean_object* x_1) { _start: { lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; -x_2 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__3; -x_3 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__1; -x_4 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__2; +x_2 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__3; +x_3 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__1; +x_4 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__2; x_5 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_3, x_4, x_1); if (lean_obj_tag(x_5) == 0) { @@ -91302,8 +92056,8 @@ lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; x_6 = lean_ctor_get(x_5, 1); lean_inc(x_6); lean_dec(x_5); -x_7 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__5; -x_8 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__4; +x_7 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__5; +x_8 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__4; x_9 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_3, x_8, x_6); if (lean_obj_tag(x_9) == 0) { @@ -91311,8 +92065,8 @@ lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; x_10 = lean_ctor_get(x_9, 1); lean_inc(x_10); lean_dec(x_9); -x_11 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__7; -x_12 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__6; +x_11 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__7; +x_12 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__6; x_13 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_3, x_12, x_10); if (lean_obj_tag(x_13) == 0) { @@ -91320,8 +92074,8 @@ lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; x_14 = lean_ctor_get(x_13, 1); lean_inc(x_14); lean_dec(x_13); -x_15 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__8; -x_16 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__9; +x_15 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__8; +x_16 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__9; x_17 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_15, x_16, x_14); if (lean_obj_tag(x_17) == 0) { @@ -91329,7 +92083,7 @@ lean_object* x_18; lean_object* x_19; lean_object* x_20; x_18 = lean_ctor_get(x_17, 1); lean_inc(x_18); lean_dec(x_17); -x_19 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__10; +x_19 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__10; x_20 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_15, x_19, x_18); if (lean_obj_tag(x_20) == 0) { @@ -91337,7 +92091,7 @@ lean_object* x_21; lean_object* x_22; lean_object* x_23; x_21 = lean_ctor_get(x_20, 1); lean_inc(x_21); lean_dec(x_20); -x_22 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__11; +x_22 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__11; x_23 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_15, x_22, x_21); if (lean_obj_tag(x_23) == 0) { @@ -91345,8 +92099,8 @@ lean_object* x_24; lean_object* x_25; lean_object* x_26; lean_object* x_27; x_24 = lean_ctor_get(x_23, 1); lean_inc(x_24); lean_dec(x_23); -x_25 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__12; -x_26 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__13; +x_25 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__12; +x_26 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__13; x_27 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_25, x_26, x_24); if (lean_obj_tag(x_27) == 0) { @@ -91354,7 +92108,7 @@ lean_object* x_28; lean_object* x_29; lean_object* x_30; x_28 = lean_ctor_get(x_27, 1); lean_inc(x_28); lean_dec(x_27); -x_29 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__14; +x_29 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__14; x_30 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_25, x_29, x_28); if (lean_obj_tag(x_30) == 0) { @@ -91362,7 +92116,7 @@ lean_object* x_31; lean_object* x_32; lean_object* x_33; x_31 = lean_ctor_get(x_30, 1); lean_inc(x_31); lean_dec(x_30); -x_32 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__15; +x_32 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__15; x_33 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_25, x_32, x_31); if (lean_obj_tag(x_33) == 0) { @@ -91370,8 +92124,8 @@ lean_object* x_34; lean_object* x_35; lean_object* x_36; lean_object* x_37; x_34 = lean_ctor_get(x_33, 1); lean_inc(x_34); lean_dec(x_33); -x_35 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__16; -x_36 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__17; +x_35 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__16; +x_36 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__17; x_37 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_35, x_36, x_34); if (lean_obj_tag(x_37) == 0) { @@ -91379,7 +92133,7 @@ lean_object* x_38; lean_object* x_39; lean_object* x_40; x_38 = lean_ctor_get(x_37, 1); lean_inc(x_38); lean_dec(x_37); -x_39 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__18; +x_39 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__18; x_40 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_35, x_39, x_38); if (lean_obj_tag(x_40) == 0) { @@ -91387,7 +92141,7 @@ lean_object* x_41; lean_object* x_42; lean_object* x_43; x_41 = lean_ctor_get(x_40, 1); lean_inc(x_41); lean_dec(x_40); -x_42 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__19; +x_42 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__19; x_43 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_35, x_42, x_41); if (lean_obj_tag(x_43) == 0) { @@ -91395,8 +92149,8 @@ lean_object* x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; x_44 = lean_ctor_get(x_43, 1); lean_inc(x_44); lean_dec(x_43); -x_45 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__20; -x_46 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__21; +x_45 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__20; +x_46 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__21; x_47 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_45, x_46, x_44); if (lean_obj_tag(x_47) == 0) { @@ -91404,7 +92158,7 @@ lean_object* x_48; lean_object* x_49; lean_object* x_50; x_48 = lean_ctor_get(x_47, 1); lean_inc(x_48); lean_dec(x_47); -x_49 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__22; +x_49 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__22; x_50 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_45, x_49, x_48); if (lean_obj_tag(x_50) == 0) { @@ -91412,7 +92166,7 @@ lean_object* x_51; lean_object* x_52; lean_object* x_53; x_51 = lean_ctor_get(x_50, 1); lean_inc(x_51); lean_dec(x_50); -x_52 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__23; +x_52 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__23; x_53 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_45, x_52, x_51); if (lean_obj_tag(x_53) == 0) { @@ -91420,8 +92174,8 @@ lean_object* x_54; lean_object* x_55; lean_object* x_56; lean_object* x_57; x_54 = lean_ctor_get(x_53, 1); lean_inc(x_54); lean_dec(x_53); -x_55 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__24; -x_56 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__25; +x_55 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__24; +x_56 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__25; x_57 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_55, x_56, x_54); if (lean_obj_tag(x_57) == 0) { @@ -91429,7 +92183,7 @@ lean_object* x_58; lean_object* x_59; lean_object* x_60; x_58 = lean_ctor_get(x_57, 1); lean_inc(x_58); lean_dec(x_57); -x_59 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__26; +x_59 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__26; x_60 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_55, x_59, x_58); if (lean_obj_tag(x_60) == 0) { @@ -91437,7 +92191,7 @@ lean_object* x_61; lean_object* x_62; lean_object* x_63; x_61 = lean_ctor_get(x_60, 1); lean_inc(x_61); lean_dec(x_60); -x_62 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__27; +x_62 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__27; x_63 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_55, x_62, x_61); if (lean_obj_tag(x_63) == 0) { @@ -91445,8 +92199,8 @@ lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; x_64 = lean_ctor_get(x_63, 1); lean_inc(x_64); lean_dec(x_63); -x_65 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__28; -x_66 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__29; +x_65 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__28; +x_66 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__29; x_67 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_65, x_66, x_64); if (lean_obj_tag(x_67) == 0) { @@ -91454,7 +92208,7 @@ lean_object* x_68; lean_object* x_69; lean_object* x_70; x_68 = lean_ctor_get(x_67, 1); lean_inc(x_68); lean_dec(x_67); -x_69 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__30; +x_69 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__30; x_70 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_65, x_69, x_68); if (lean_obj_tag(x_70) == 0) { @@ -91462,7 +92216,7 @@ lean_object* x_71; lean_object* x_72; lean_object* x_73; x_71 = lean_ctor_get(x_70, 1); lean_inc(x_71); lean_dec(x_70); -x_72 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__31; +x_72 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__31; x_73 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_65, x_72, x_71); if (lean_obj_tag(x_73) == 0) { @@ -91470,8 +92224,8 @@ lean_object* x_74; lean_object* x_75; lean_object* x_76; lean_object* x_77; x_74 = lean_ctor_get(x_73, 1); lean_inc(x_74); lean_dec(x_73); -x_75 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__32; -x_76 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__33; +x_75 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__32; +x_76 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__33; x_77 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_75, x_76, x_74); if (lean_obj_tag(x_77) == 0) { @@ -91479,7 +92233,7 @@ lean_object* x_78; lean_object* x_79; lean_object* x_80; x_78 = lean_ctor_get(x_77, 1); lean_inc(x_78); lean_dec(x_77); -x_79 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__34; +x_79 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__34; x_80 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_75, x_79, x_78); if (lean_obj_tag(x_80) == 0) { @@ -91487,7 +92241,7 @@ lean_object* x_81; lean_object* x_82; lean_object* x_83; x_81 = lean_ctor_get(x_80, 1); lean_inc(x_81); lean_dec(x_80); -x_82 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__35; +x_82 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__35; x_83 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_75, x_82, x_81); if (lean_obj_tag(x_83) == 0) { @@ -91495,8 +92249,8 @@ lean_object* x_84; lean_object* x_85; lean_object* x_86; lean_object* x_87; x_84 = lean_ctor_get(x_83, 1); lean_inc(x_84); lean_dec(x_83); -x_85 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__36; -x_86 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__37; +x_85 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__36; +x_86 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__37; x_87 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_85, x_86, x_84); if (lean_obj_tag(x_87) == 0) { @@ -91504,7 +92258,7 @@ lean_object* x_88; lean_object* x_89; lean_object* x_90; x_88 = lean_ctor_get(x_87, 1); lean_inc(x_88); lean_dec(x_87); -x_89 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__38; +x_89 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__38; x_90 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_85, x_89, x_88); if (lean_obj_tag(x_90) == 0) { @@ -91512,7 +92266,7 @@ lean_object* x_91; lean_object* x_92; lean_object* x_93; x_91 = lean_ctor_get(x_90, 1); lean_inc(x_91); lean_dec(x_90); -x_92 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__39; +x_92 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__39; x_93 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_85, x_92, x_91); return x_93; } @@ -100292,6 +101046,102 @@ lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_forInMacro_parenthesizer___ res = l___regBuiltin_Lean_Parser_Term_forInMacro_parenthesizer(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); +l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__1 = _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__1); +l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2 = _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__2); +l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__3 = _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__3); +l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__4 = _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__4); +l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__5 = _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__5); +l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__6 = _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__6); +l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__7 = _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__7(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__7); +l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__8 = _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__8(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__8); +l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__9 = _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__9(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__9); +l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__10 = _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__10(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__10); +l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__11 = _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__11(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__11); +l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__12 = _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__12(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__12); +l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__13 = _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__13(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__13); +l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__14 = _init_l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__14(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___elambda__1___closed__14); +l_Lean_Parser_Term_forInMacro_x27___closed__1 = _init_l_Lean_Parser_Term_forInMacro_x27___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___closed__1); +l_Lean_Parser_Term_forInMacro_x27___closed__2 = _init_l_Lean_Parser_Term_forInMacro_x27___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___closed__2); +l_Lean_Parser_Term_forInMacro_x27___closed__3 = _init_l_Lean_Parser_Term_forInMacro_x27___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___closed__3); +l_Lean_Parser_Term_forInMacro_x27___closed__4 = _init_l_Lean_Parser_Term_forInMacro_x27___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___closed__4); +l_Lean_Parser_Term_forInMacro_x27___closed__5 = _init_l_Lean_Parser_Term_forInMacro_x27___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___closed__5); +l_Lean_Parser_Term_forInMacro_x27___closed__6 = _init_l_Lean_Parser_Term_forInMacro_x27___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___closed__6); +l_Lean_Parser_Term_forInMacro_x27___closed__7 = _init_l_Lean_Parser_Term_forInMacro_x27___closed__7(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___closed__7); +l_Lean_Parser_Term_forInMacro_x27___closed__8 = _init_l_Lean_Parser_Term_forInMacro_x27___closed__8(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27___closed__8); +l_Lean_Parser_Term_forInMacro_x27 = _init_l_Lean_Parser_Term_forInMacro_x27(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27); +res = l___regBuiltin_Lean_Parser_Term_forInMacro_x27(lean_io_mk_world()); +if (lean_io_result_is_error(res)) return res; +lean_dec_ref(res); +l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__1); +l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__2 = _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__2(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__2); +l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__3 = _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__3(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__3); +l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__4 = _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__4(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__4); +l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__5 = _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__5(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__5); +l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__6 = _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__6(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__6); +l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__7 = _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__7(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__7); +res = l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange(lean_io_mk_world()); +if (lean_io_result_is_error(res)) return res; +lean_dec_ref(res); +l_Lean_Parser_Term_forInMacro_x27_formatter___closed__1 = _init_l_Lean_Parser_Term_forInMacro_x27_formatter___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27_formatter___closed__1); +l_Lean_Parser_Term_forInMacro_x27_formatter___closed__2 = _init_l_Lean_Parser_Term_forInMacro_x27_formatter___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27_formatter___closed__2); +l_Lean_Parser_Term_forInMacro_x27_formatter___closed__3 = _init_l_Lean_Parser_Term_forInMacro_x27_formatter___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27_formatter___closed__3); +l_Lean_Parser_Term_forInMacro_x27_formatter___closed__4 = _init_l_Lean_Parser_Term_forInMacro_x27_formatter___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27_formatter___closed__4); +l___regBuiltin_Lean_Parser_Term_forInMacro_x27_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_formatter___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_forInMacro_x27_formatter___closed__1); +l___regBuiltin_Lean_Parser_Term_forInMacro_x27_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_formatter___closed__2(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_forInMacro_x27_formatter___closed__2); +res = l___regBuiltin_Lean_Parser_Term_forInMacro_x27_formatter(lean_io_mk_world()); +if (lean_io_result_is_error(res)) return res; +lean_dec_ref(res); +l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__1); +l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__2); +l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__3 = _init_l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__3); +l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__4 = _init_l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__4); +l___regBuiltin_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__1); +l___regBuiltin_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__2(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__2); +res = l___regBuiltin_Lean_Parser_Term_forInMacro_x27_parenthesizer(lean_io_mk_world()); +if (lean_io_result_is_error(res)) return res; +lean_dec_ref(res); l_Lean_Parser_Term_typeOf___elambda__1___closed__1 = _init_l_Lean_Parser_Term_typeOf___elambda__1___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_typeOf___elambda__1___closed__1); l_Lean_Parser_Term_typeOf___elambda__1___closed__2 = _init_l_Lean_Parser_Term_typeOf___elambda__1___closed__2(); @@ -101597,10 +102447,6 @@ l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__4 = _init_l___reg lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__4); l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__5 = _init_l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__5(); lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__5); -l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__6 = _init_l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__6(); -lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__6); -l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__7 = _init_l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__7(); -lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__7); res = l___regBuiltin_Lean_Parser_Term_completion_declRange(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); @@ -103698,85 +104544,85 @@ lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_quot_parenthesizer___close res = l___regBuiltin_Lean_Parser_Level_quot_parenthesizer(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__1 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__1(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__1); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__2 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__2(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__2); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__3 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__3(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__3); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__4 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__4(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__4); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__5 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__5(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__5); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__6 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__6(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__6); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__7 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__7(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__7); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__8 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__8(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__8); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__9 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__9(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__9); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__10 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__10(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__10); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__11 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__11(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__11); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__12 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__12(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__12); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__13 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__13(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__13); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__14 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__14(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__14); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__15 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__15(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__15); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__16 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__16(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__16); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__17 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__17(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__17); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__18 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__18(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__18); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__19 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__19(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__19); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__20 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__20(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__20); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__21 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__21(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__21); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__22 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__22(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__22); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__23 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__23(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__23); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__24 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__24(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__24); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__25 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__25(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__25); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__26 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__26(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__26); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__27 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__27(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__27); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__28 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__28(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__28); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__29 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__29(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__29); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__30 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__30(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__30); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__31 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__31(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__31); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__32 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__32(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__32); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__33 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__33(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__33); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__34 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__34(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__34); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__35 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__35(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__35); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__36 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__36(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__36); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__37 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__37(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__37); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__38 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__38(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__38); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__39 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__39(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628____closed__39); -res = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3628_(lean_io_mk_world()); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__1 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__1(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__1); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__2 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__2(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__2); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__3 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__3(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__3); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__4 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__4(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__4); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__5 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__5(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__5); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__6 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__6(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__6); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__7 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__7(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__7); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__8 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__8(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__8); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__9 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__9(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__9); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__10 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__10(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__10); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__11 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__11(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__11); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__12 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__12(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__12); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__13 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__13(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__13); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__14 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__14(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__14); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__15 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__15(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__15); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__16 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__16(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__16); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__17 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__17(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__17); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__18 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__18(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__18); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__19 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__19(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__19); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__20 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__20(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__20); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__21 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__21(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__21); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__22 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__22(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__22); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__23 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__23(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__23); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__24 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__24(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__24); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__25 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__25(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__25); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__26 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__26(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__26); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__27 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__27(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__27); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__28 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__28(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__28); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__29 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__29(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__29); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__30 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__30(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__30); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__31 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__31(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__31); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__32 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__32(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__32); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__33 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__33(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__33); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__34 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__34(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__34); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__35 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__35(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__35); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__36 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__36(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__36); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__37 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__37(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__37); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__38 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__38(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__38); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__39 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__39(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658____closed__39); +res = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3658_(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));