diff --git a/stage0/src/Init/Prelude.lean b/stage0/src/Init/Prelude.lean index 493741997d..2df3b2347a 100644 --- a/stage0/src/Init/Prelude.lean +++ b/stage0/src/Init/Prelude.lean @@ -1722,6 +1722,20 @@ def getNumArgs (stx : Syntax) : Nat := | Syntax.node _ args => args.size | _ => 0 +def isMissing : Syntax → Bool + | Syntax.missing => true + | _ => false + +def isNodeOf (stx : Syntax) (k : SyntaxNodeKind) (n : Nat) : Bool := + and (stx.isOfKind k) (beq stx.getNumArgs n) + +/-- + Similar to `isNodeOf`, but also succeeds if `stx` is `Syntax.missing`. + We use this function to implement `Syntax` pattern matching. + TODO: is this too liberal? -/ +def isNodeOf' (stx : Syntax) (k : SyntaxNodeKind) (n : Nat) : Bool := + or (stx.isNodeOf k n) stx.isMissing + def setArgs (stx : Syntax) (args : Array Syntax) : Syntax := match stx with | node k _ => node k args diff --git a/stage0/src/Lean/Elab/Quotation.lean b/stage0/src/Lean/Elab/Quotation.lean index bb2f7118b7..1454349d29 100644 --- a/stage0/src/Lean/Elab/Quotation.lean +++ b/stage0/src/Lean/Elab/Quotation.lean @@ -373,7 +373,7 @@ private partial def getHeadInfo (alt : Alt) : TermElabM HeadInfo := uncovered, doMatch := fun yes no => do let cond ← match kind with - | `null => `(and (Syntax.isOfKind discr $(quote kind)) (BEq.beq (Array.size (Syntax.getArgs discr)) $(quote argPats.size))) + | `null => `(Syntax.isNodeOf' discr $(quote kind) $(quote argPats.size)) -- `isNodeOf'` also succeeds if discr is `Syntax.missing`, use `isNodeOf` to disable this | `ident => `(and (Syntax.isIdent discr) (BEq.beq (Syntax.getId discr) $(quote quoted.getId))) | _ => `(Syntax.isOfKind discr $(quote kind)) let newDiscrs ← (List.range argPats.size).mapM fun i => `(Syntax.getArg discr $(quote i)) diff --git a/stage0/src/Lean/Parser/Basic.lean b/stage0/src/Lean/Parser/Basic.lean index 7544c3300c..edd32307a3 100644 --- a/stage0/src/Lean/Parser/Basic.lean +++ b/stage0/src/Lean/Parser/Basic.lean @@ -628,7 +628,7 @@ private partial def sepByFnAux (p : ParserFn) (sep : ParserFn) (allowTrailingSep let mut s := p c s if s.hasError then if s.pos > pos then - return s + return s.mkNode nullKind iniSz else if pOpt then let s := s.restore sz pos return s.mkNode nullKind iniSz diff --git a/stage0/src/Lean/Syntax.lean b/stage0/src/Lean/Syntax.lean index ec49b4e18c..27fa4d21fb 100644 --- a/stage0/src/Lean/Syntax.lean +++ b/stage0/src/Lean/Syntax.lean @@ -14,10 +14,6 @@ def SourceInfo.updateTrailing (trailing : Substring) : SourceInfo → SourceInfo /- Syntax AST -/ -def Syntax.isMissing : Syntax → Bool - | Syntax.missing => true - | _ => false - inductive IsNode : Syntax → Prop where | mk (kind : SyntaxNodeKind) (args : Array Syntax) : IsNode (Syntax.node kind args) diff --git a/stage0/stdlib/Init/Prelude.c b/stage0/stdlib/Init/Prelude.c index 9b36a861fa..1f7f3206c7 100644 --- a/stage0/stdlib/Init/Prelude.c +++ b/stage0/stdlib/Init/Prelude.c @@ -247,6 +247,7 @@ lean_object* l_instInhabitedArrow__1___rarg(lean_object*); lean_object* l_instMonadExcept(lean_object*, lean_object*); lean_object* l_Lean_Syntax_getKind___closed__1; lean_object* l_Lean_PrettyPrinter_instMonadQuotationUnexpandM___lambda__2(lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Syntax_isNodeOf_x27___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_ReaderT_instMonadLiftReaderT(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Macro_throwErrorAt___rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_monadFunctorRefl___rarg(lean_object*, lean_object*); @@ -416,6 +417,7 @@ lean_object* l_Lean_replaceRef_match__1___rarg(lean_object*, lean_object*, lean_ lean_object* l_Array_getOp(lean_object*); lean_object* l_Lean_numLitKind___closed__2; lean_object* l_Lean_Macro_instMonadRefMacroM___closed__4; +lean_object* l_Lean_Syntax_isMissing___boxed(lean_object*); lean_object* l_Lean_PrettyPrinter_instMonadQuotationUnexpandM___closed__2; lean_object* l_Unit_unit; lean_object* l___private_Init_Prelude_0__Lean_simpMacroScopesAux(lean_object*); @@ -437,6 +439,7 @@ lean_object* l_throwThe(lean_object*, lean_object*); lean_object* l_instMonadExcept___rarg(lean_object*); lean_object* l_instMonadStateOf___rarg___lambda__1(lean_object*, lean_object*, lean_object*); lean_object* l_instHMod___rarg(lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Syntax_isMissing_match__1(lean_object*); lean_object* l_decEq___rarg(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_interpolatedStrKind___closed__2; lean_object* l_inferInstance(lean_object*); @@ -478,6 +481,7 @@ lean_object* l_namedPattern___boxed(lean_object*, lean_object*); uint8_t l_or(uint8_t, uint8_t); lean_object* l_instInhabitedExcept(lean_object*, lean_object*); lean_object* l_Monad_map___default(lean_object*); +uint8_t l_Lean_Syntax_isNodeOf_x27(lean_object*, lean_object*, lean_object*); lean_object* l_instBEq(lean_object*); lean_object* l_Nat_add___boxed(lean_object*, lean_object*); lean_object* l_UInt64_ofNatCore___boxed(lean_object*, lean_object*); @@ -525,10 +529,13 @@ lean_object* l_instHShiftRight(lean_object*); lean_object* l_Eq_ndrec___rarg(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_mkAtomFrom(lean_object*, lean_object*); lean_object* l_and___boxed(lean_object*, lean_object*); +uint8_t l_Lean_Syntax_isNodeOf(lean_object*, lean_object*, lean_object*); lean_object* l_instMonadReaderOf(lean_object*, lean_object*, lean_object*); lean_object* l_EStateM_seqRight(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Eq_ndrec(lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Syntax_isMissing_match__1___rarg(lean_object*, lean_object*, lean_object*); lean_object* l_instHasLessEqNat; +uint8_t l_Lean_Syntax_isMissing(lean_object*); lean_object* l_EStateM_throw___rarg(lean_object*, lean_object*); lean_object* l_Lean_Syntax_setArg___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_ReaderT_instMonadReaderT___rarg___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -557,6 +564,7 @@ lean_object* l_Lean_Macro_instMonadQuotationMacroM___closed__3; lean_object* l_Fin_decLt(lean_object*); lean_object* l_tryCatchThe___rarg(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_instHSub___rarg(lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Syntax_isNodeOf___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Syntax_getNumArgs(lean_object*); lean_object* l_instMonadWithReader(lean_object*, lean_object*); lean_object* l_EStateM_instMonadEStateM___closed__3; @@ -8581,6 +8589,129 @@ lean_dec(x_1); return x_2; } } +lean_object* l_Lean_Syntax_isMissing_match__1___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) { +_start: +{ +if (lean_obj_tag(x_1) == 0) +{ +lean_object* x_4; lean_object* x_5; +lean_dec(x_3); +x_4 = lean_box(0); +x_5 = lean_apply_1(x_2, x_4); +return x_5; +} +else +{ +lean_object* x_6; +lean_dec(x_2); +x_6 = lean_apply_1(x_3, x_1); +return x_6; +} +} +} +lean_object* l_Lean_Syntax_isMissing_match__1(lean_object* x_1) { +_start: +{ +lean_object* x_2; +x_2 = lean_alloc_closure((void*)(l_Lean_Syntax_isMissing_match__1___rarg), 3, 0); +return x_2; +} +} +uint8_t l_Lean_Syntax_isMissing(lean_object* x_1) { +_start: +{ +if (lean_obj_tag(x_1) == 0) +{ +uint8_t x_2; +x_2 = 1; +return x_2; +} +else +{ +uint8_t x_3; +x_3 = 0; +return x_3; +} +} +} +lean_object* l_Lean_Syntax_isMissing___boxed(lean_object* x_1) { +_start: +{ +uint8_t x_2; lean_object* x_3; +x_2 = l_Lean_Syntax_isMissing(x_1); +lean_dec(x_1); +x_3 = lean_box(x_2); +return x_3; +} +} +uint8_t l_Lean_Syntax_isNodeOf(lean_object* x_1, lean_object* x_2, lean_object* x_3) { +_start: +{ +uint8_t x_4; +lean_inc(x_1); +x_4 = l_Lean_Syntax_isOfKind(x_1, x_2); +if (x_4 == 0) +{ +uint8_t x_5; +lean_dec(x_1); +x_5 = 0; +return x_5; +} +else +{ +lean_object* x_6; uint8_t x_7; +x_6 = l_Lean_Syntax_getNumArgs(x_1); +lean_dec(x_1); +x_7 = lean_nat_dec_eq(x_6, x_3); +lean_dec(x_6); +return x_7; +} +} +} +lean_object* l_Lean_Syntax_isNodeOf___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) { +_start: +{ +uint8_t x_4; lean_object* x_5; +x_4 = l_Lean_Syntax_isNodeOf(x_1, x_2, x_3); +lean_dec(x_3); +lean_dec(x_2); +x_5 = lean_box(x_4); +return x_5; +} +} +uint8_t l_Lean_Syntax_isNodeOf_x27(lean_object* x_1, lean_object* x_2, lean_object* x_3) { +_start: +{ +uint8_t x_4; +lean_inc(x_1); +x_4 = l_Lean_Syntax_isNodeOf(x_1, x_2, x_3); +if (x_4 == 0) +{ +uint8_t x_5; +x_5 = l_Lean_Syntax_isMissing(x_1); +lean_dec(x_1); +return x_5; +} +else +{ +uint8_t x_6; +lean_dec(x_1); +x_6 = 1; +return x_6; +} +} +} +lean_object* l_Lean_Syntax_isNodeOf_x27___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) { +_start: +{ +uint8_t x_4; lean_object* x_5; +x_4 = l_Lean_Syntax_isNodeOf_x27(x_1, x_2, x_3); +lean_dec(x_3); +lean_dec(x_2); +x_5 = lean_box(x_4); +return x_5; +} +} lean_object* l_Lean_Syntax_setArgs(lean_object* x_1, lean_object* x_2) { _start: { diff --git a/stage0/stdlib/Lean/Elab/Quotation.c b/stage0/stdlib/Lean/Elab/Quotation.c index 4ced97a982..ee79d78c71 100644 --- a/stage0/stdlib/Lean/Elab/Quotation.c +++ b/stage0/stdlib/Lean/Elab/Quotation.c @@ -175,12 +175,10 @@ lean_object* l_Array_mapMUnsafe_map___at___private_Lean_Elab_Quotation_0__Lean_E lean_object* l_Lean_Elab_Term_Quotation_stxQuot_expand___closed__27; lean_object* l_Lean_Elab_Term_Quotation_myMacro____x40_Lean_Elab_Quotation___hyg_3759____closed__16; lean_object* l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___closed__7; -lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__38; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__15___closed__8; lean_object* l_Array_foldrMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__10(lean_object*, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___closed__7; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__21; -lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__41; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__15___closed__1; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_deduplicate___lambda__1___closed__3; extern lean_object* l_myMacro____x40_Init_NotationExtra___hyg_5662____closed__24; @@ -205,6 +203,7 @@ extern lean_object* l_termDepIfThenElse___closed__24; lean_object* l_Lean_Elab_Term_Quotation_stxQuot_expand___closed__23; lean_object* l_Array_foldlMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__20___lambda__3___closed__2; extern lean_object* l_myMacro____x40_Init_Notation___hyg_11742____closed__7; +lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__25; lean_object* l_Lean_Elab_Term_Quotation_myMacro____x40_Lean_Elab_Quotation___hyg_3759____closed__28; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___closed__19; extern lean_object* l_Array_getEvenElems___rarg___closed__1; @@ -307,6 +306,7 @@ lean_object* l_ReaderT_pure___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term lean_object* l_Lean_Elab_Term_Quotation_stxQuot_expand___closed__30; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_deduplicate___lambda__2(lean_object*, lean_object*); lean_object* l_Array_foldlMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__20___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__20; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo_match__6(lean_object*); extern lean_object* l_myMacro____x40_Init_Notation___hyg_12513____closed__9; extern lean_object* l_Lean_myMacro____x40_Init_NotationExtra___hyg_1139____closed__10; @@ -448,7 +448,6 @@ lean_object* l_Lean_Elab_Term_Quotation_stxQuot_expand___closed__3; lean_object* l_Array_foldrMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__15(lean_object*, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___closed__34; lean_object* l_Lean_throwError___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__39; extern lean_object* l_Lean_Elab_autoBoundImplicitLocal___closed__1; lean_object* l_Array_foldlMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__20(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__17; @@ -473,7 +472,6 @@ lean_object* l_Lean_Elab_Term_Quotation_mkTuple___closed__1; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___lambda__1___closed__26; extern lean_object* l_myMacro____x40_Init_Notation___hyg_1244____closed__1; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__8; -lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__36; lean_object* l_Lean_Elab_Term_Quotation_resolveSectionVariable_loop_match__2(lean_object*); lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___closed__1; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__15___closed__6; @@ -490,7 +488,6 @@ lean_object* l_Lean_Elab_Term_Quotation_mkTuple___boxed(lean_object*, lean_objec lean_object* l_Lean_Elab_throwUnsupportedSyntax___at_Lean_Elab_Term_Quotation_match__syntax_expand___spec__7___rarg(lean_object*); lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___closed__2; lean_object* l_Array_foldlMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__20___closed__6; -lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__35; lean_object* l_Array_mapMUnsafe_map___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_floatOutAntiquotTerms___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Init_Meta_0__Lean_quoteName(lean_object*); extern lean_object* l_myMacro____x40_Init_Notation___hyg_13541____closed__6; @@ -518,13 +515,14 @@ lean_object* l_Lean_Elab_Term_Quotation_commandElab__stx__quot_______closed__1; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___lambda__1___closed__9; lean_object* l_Std_RBNode_find___at___private_Lean_Hygiene_0__Lean_sanitizeSyntaxAux___spec__2(lean_object*, lean_object*); lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__24(lean_object*, lean_object*, lean_object*); -lean_object* l_Lean_Elab_Term_Quotation_initFn____x40_Lean_Elab_Quotation___hyg_12250_(lean_object*); +lean_object* l_Lean_Elab_Term_Quotation_initFn____x40_Lean_Elab_Quotation___hyg_11947_(lean_object*); lean_object* l_Lean_Elab_Term_Quotation_initFn____x40_Lean_Elab_Quotation___hyg_7_(lean_object*); lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___closed__3; lean_object* l___private_Init_Util_0__mkPanicMessageWithDecl(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___lambda__1___closed__8; lean_object* l_Array_foldrMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__17(lean_object*, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__22; lean_object* l_Lean_Elab_Term_Quotation_myMacro____x40_Lean_Elab_Quotation___hyg_3759____closed__11; lean_object* l_Array_foldrMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__5___closed__2; extern lean_object* l_Lean_KernelException_toMessageData___closed__15; @@ -736,6 +734,7 @@ lean_object* lean_panic_fn(lean_object*, lean_object*); lean_object* l_Lean_throwError___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__22___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Array_foldlMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__20___lambda__1___closed__3; lean_object* l_Lean_Elab_Term_Quotation_match__syntax_expand___closed__2; +lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__26; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__18; extern lean_object* l_Lean_instQuoteSubstring___closed__4; lean_object* l_Array_appendCore___rarg(lean_object*, lean_object*); @@ -772,9 +771,9 @@ lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_compile lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___closed__20; lean_object* l_Array_foldlMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__20___boxed__const__1; extern lean_object* l_myMacro____x40_Init_Notation___hyg_13856____closed__7; -lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__40; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__13; lean_object* l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__21; lean_object* lean_st_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_Array_foldlMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__20___lambda__1___closed__1; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__2; @@ -854,6 +853,7 @@ lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Q lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__8(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___closed__10; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___closed__32; +lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__23; lean_object* l_Lean_Elab_Term_Quotation_resolveSectionVariable_loop_match__1___rarg(lean_object*, lean_object*, lean_object*); extern lean_object* l_Lean_Parser_Tactic_changeWith___closed__3; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__17; @@ -956,12 +956,10 @@ lean_object* l_Array_foldlMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lea lean_object* l___regBuiltin_Lean_Elab_Term_Quotation_elabQuot____x40_Lean_Elab_Quotation___hyg_4244____closed__1; extern lean_object* l_Lean_Parser_Term_namedPattern___elambda__1___closed__1; lean_object* l_Lean_Elab_Term_Quotation_commandElab__stx__quot_______closed__5; -lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__42; extern lean_object* l_Lean_myMacro____x40_Init_NotationExtra___hyg_1139____closed__21; extern lean_object* l_myMacro____x40_Init_Notation___hyg_13856____closed__10; lean_object* l_Lean_Syntax_antiquotKind_x3f(lean_object*); lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_floatOutAntiquotTerms___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -extern lean_object* l_Array_myMacro____x40_Init_Data_Array_Subarray___hyg_936____closed__10; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__3; lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__4(lean_object*, lean_object*); lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__8(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -1000,10 +998,11 @@ lean_object* l_Lean_Elab_Term_Quotation_stxQuot_expand___closed__19; lean_object* l_Array_foldlMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__20___lambda__2___closed__7; uint8_t lean_nat_dec_lt(lean_object*, lean_object*); lean_object* l_Lean_Elab_Term_Quotation_match__syntax_expand___closed__1; +lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__23; +lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__24; extern lean_object* l_Array_myMacro____x40_Init_Data_Array_Subarray___hyg_936____closed__3; lean_object* l_Lean_Elab_Term_Quotation_myMacro____x40_Lean_Elab_Quotation___hyg_3759____closed__4; lean_object* l_Lean_Elab_Term_Quotation_elabMatchSyntax___closed__1; -lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__37; uint8_t l_Lean_Syntax_isIdent(lean_object*); lean_object* l_Lean_Elab_Term_Quotation_mkTuple___closed__10; uint8_t l_Lean_Syntax_isAntiquotSplice(lean_object*); @@ -19037,51 +19036,27 @@ return x_3; static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__27() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__6; -x_3 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; +lean_object* x_1; +x_1 = lean_mk_string("Syntax.isNodeOf'"); +return x_1; } } static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__28() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__27; -x_3 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; +lean_object* x_1; lean_object* x_2; +x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__27; +x_2 = lean_string_utf8_byte_size(x_1); +return x_2; } } static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__29() { _start: { -lean_object* x_1; -x_1 = lean_mk_string("Array.size"); -return x_1; -} -} -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__30() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__29; -x_2 = lean_string_utf8_byte_size(x_1); -return x_2; -} -} -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__31() { -_start: -{ lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__29; +x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__27; x_2 = lean_unsigned_to_nat(0u); -x_3 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__30; +x_3 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__28; x_4 = lean_alloc_ctor(0, 3, 0); lean_ctor_set(x_4, 0, x_1); lean_ctor_set(x_4, 1, x_2); @@ -19089,12 +19064,30 @@ lean_ctor_set(x_4, 2, x_3); return x_4; } } +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__30() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("isNodeOf'"); +return x_1; +} +} +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__31() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___lambda__1___closed__4; +x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__30; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__32() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Array_term_____x5b___x3a___x5d___closed__2; -x_2 = l_Array_myMacro____x40_Init_Data_Array_Subarray___hyg_936____closed__10; +x_1 = l___private_Lean_Elab_Util_0__Lean_Elab_evalSyntaxConstantUnsafe___closed__1; +x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__30; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } @@ -19123,89 +19116,6 @@ lean_ctor_set(x_3, 1, x_1); return x_3; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__35() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("Syntax.getArgs"); -return x_1; -} -} -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__36() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__35; -x_2 = lean_string_utf8_byte_size(x_1); -return x_2; -} -} -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__37() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__35; -x_2 = lean_unsigned_to_nat(0u); -x_3 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__36; -x_4 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__38() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("getArgs"); -return x_1; -} -} -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__39() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___lambda__1___closed__4; -x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__38; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__40() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l___private_Lean_Elab_Util_0__Lean_Elab_evalSyntaxConstantUnsafe___closed__1; -x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__38; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__41() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__40; -x_3 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; -} -} -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__42() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__41; -x_3 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; -} -} lean_object* l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8, lean_object* x_9, lean_object* x_10, lean_object* x_11, lean_object* x_12) { _start: { @@ -19458,7 +19368,7 @@ return x_133; } else { -lean_object* x_134; lean_object* x_135; lean_object* x_136; lean_object* x_137; lean_object* x_138; lean_object* x_139; lean_object* x_140; lean_object* x_141; lean_object* x_142; lean_object* x_143; lean_object* x_144; lean_object* x_145; lean_object* x_146; lean_object* x_147; lean_object* x_148; lean_object* x_149; lean_object* x_150; lean_object* x_151; lean_object* x_152; lean_object* x_153; lean_object* x_154; lean_object* x_155; lean_object* x_156; lean_object* x_157; lean_object* x_158; lean_object* x_159; lean_object* x_160; lean_object* x_161; lean_object* x_162; lean_object* x_163; lean_object* x_164; lean_object* x_165; lean_object* x_166; lean_object* x_167; lean_object* x_168; lean_object* x_169; lean_object* x_170; lean_object* x_171; lean_object* x_172; lean_object* x_173; lean_object* x_174; lean_object* x_175; lean_object* x_176; lean_object* x_177; lean_object* x_178; lean_object* x_179; lean_object* x_180; lean_object* x_181; lean_object* x_182; lean_object* x_183; lean_object* x_184; lean_object* x_185; lean_object* x_186; lean_object* x_187; lean_object* x_188; lean_object* x_189; lean_object* x_190; lean_object* x_191; lean_object* x_192; lean_object* x_193; lean_object* x_194; lean_object* x_195; lean_object* x_196; lean_object* x_197; lean_object* x_198; lean_object* x_199; lean_object* x_200; lean_object* x_201; lean_object* x_202; lean_object* x_203; lean_object* x_204; lean_object* x_205; lean_object* x_206; lean_object* x_207; lean_object* x_208; lean_object* x_209; lean_object* x_210; lean_object* x_211; lean_object* x_212; lean_object* x_213; lean_object* x_214; lean_object* x_215; lean_object* x_216; lean_object* x_217; lean_object* x_218; lean_object* x_219; lean_object* x_220; lean_object* x_221; lean_object* x_222; lean_object* x_223; lean_object* x_224; lean_object* x_225; lean_object* x_226; lean_object* x_227; lean_object* x_228; lean_object* x_229; lean_object* x_230; lean_object* x_231; lean_object* x_232; lean_object* x_233; lean_object* x_234; lean_object* x_235; lean_object* x_236; lean_object* x_237; lean_object* x_238; lean_object* x_239; +lean_object* x_134; lean_object* x_135; lean_object* x_136; lean_object* x_137; lean_object* x_138; lean_object* x_139; lean_object* x_140; lean_object* x_141; lean_object* x_142; lean_object* x_143; lean_object* x_144; lean_object* x_145; lean_object* x_146; lean_object* x_147; lean_object* x_148; lean_object* x_149; lean_object* x_150; lean_object* x_151; lean_object* x_152; lean_object* x_153; lean_object* x_154; lean_object* x_155; lean_object* x_156; lean_object* x_157; lean_object* x_158; lean_object* x_159; lean_object* x_160; lean_object* x_161; lean_object* x_162; lean_object* x_163; lean_object* x_164; lean_object* x_165; lean_object* x_166; lean_object* x_167; lean_object* x_168; lean_dec(x_14); x_134 = l_Lean_MonadRef_mkInfoFromRefPos___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__1___rarg(x_10, x_11, x_12); x_135 = lean_ctor_get(x_134, 0); @@ -19478,13 +19388,13 @@ lean_inc(x_141); x_142 = lean_ctor_get(x_140, 1); lean_inc(x_142); lean_dec(x_140); -x_143 = l_myMacro____x40_Init_Notation___hyg_10750____closed__4; +x_143 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__31; lean_inc(x_138); lean_inc(x_141); x_144 = l_Lean_addMacroScope(x_141, x_143, x_138); x_145 = lean_box(0); -x_146 = l_myMacro____x40_Init_Notation___hyg_10750____closed__3; -x_147 = l_myMacro____x40_Init_Notation___hyg_10750____closed__6; +x_146 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__29; +x_147 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__34; lean_inc(x_135); x_148 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_148, 0, x_135); @@ -19493,299 +19403,155 @@ lean_ctor_set(x_148, 2, x_144); lean_ctor_set(x_148, 3, x_147); x_149 = l_Array_empty___closed__1; x_150 = lean_array_push(x_149, x_148); -x_151 = l_prec_x28___x29___closed__3; -lean_inc(x_135); -x_152 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_152, 0, x_135); -lean_ctor_set(x_152, 1, x_151); -x_153 = lean_array_push(x_149, x_152); -x_154 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__5; -lean_inc(x_138); -lean_inc(x_141); -x_155 = l_Lean_addMacroScope(x_141, x_154, x_138); -x_156 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__3; -x_157 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__28; -lean_inc(x_135); -x_158 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_158, 0, x_135); -lean_ctor_set(x_158, 1, x_156); -lean_ctor_set(x_158, 2, x_155); -lean_ctor_set(x_158, 3, x_157); -x_159 = lean_array_push(x_149, x_158); -x_160 = l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___closed__12; -lean_inc(x_138); -lean_inc(x_141); -x_161 = l_Lean_addMacroScope(x_141, x_160, x_138); -x_162 = l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___closed__11; -lean_inc(x_135); -x_163 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_163, 0, x_135); -lean_ctor_set(x_163, 1, x_162); -lean_ctor_set(x_163, 2, x_161); -lean_ctor_set(x_163, 3, x_145); -x_164 = lean_array_push(x_149, x_163); -x_165 = l___private_Init_Meta_0__Lean_quoteName(x_2); -lean_inc(x_164); -x_166 = lean_array_push(x_164, x_165); -x_167 = l_Lean_nullKind___closed__2; -x_168 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_168, 0, x_167); -lean_ctor_set(x_168, 1, x_166); -x_169 = lean_array_push(x_159, x_168); -x_170 = l_myMacro____x40_Init_Notation___hyg_2278____closed__4; -x_171 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_171, 0, x_170); -lean_ctor_set(x_171, 1, x_169); -x_172 = lean_array_push(x_149, x_171); -x_173 = l_myMacro____x40_Init_Notation___hyg_1481____closed__8; -x_174 = lean_array_push(x_172, x_173); -x_175 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_175, 0, x_167); -lean_ctor_set(x_175, 1, x_174); -lean_inc(x_153); -x_176 = lean_array_push(x_153, x_175); -x_177 = l_prec_x28___x29___closed__7; -lean_inc(x_135); -x_178 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_178, 0, x_135); -lean_ctor_set(x_178, 1, x_177); -lean_inc(x_178); -x_179 = lean_array_push(x_176, x_178); -x_180 = l_myMacro____x40_Init_Notation___hyg_13856____closed__8; -x_181 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_181, 0, x_180); -lean_ctor_set(x_181, 1, x_179); -x_182 = lean_array_push(x_149, x_181); -x_183 = l_myMacro____x40_Init_Notation___hyg_7866____closed__7; -lean_inc(x_138); -lean_inc(x_141); -x_184 = l_Lean_addMacroScope(x_141, x_183, x_138); -x_185 = l_myMacro____x40_Init_Notation___hyg_7866____closed__3; -x_186 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__18; -lean_inc(x_135); -x_187 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_187, 0, x_135); -lean_ctor_set(x_187, 1, x_185); -lean_ctor_set(x_187, 2, x_184); -lean_ctor_set(x_187, 3, x_186); -x_188 = lean_array_push(x_149, x_187); -x_189 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__32; -lean_inc(x_138); -lean_inc(x_141); -x_190 = l_Lean_addMacroScope(x_141, x_189, x_138); -x_191 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__31; -x_192 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__34; -lean_inc(x_135); -x_193 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_193, 0, x_135); -lean_ctor_set(x_193, 1, x_191); -lean_ctor_set(x_193, 2, x_190); -lean_ctor_set(x_193, 3, x_192); -x_194 = lean_array_push(x_149, x_193); -x_195 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__39; -x_196 = l_Lean_addMacroScope(x_141, x_195, x_138); -x_197 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__37; -x_198 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__42; -x_199 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_199, 0, x_135); -lean_ctor_set(x_199, 1, x_197); -lean_ctor_set(x_199, 2, x_196); -lean_ctor_set(x_199, 3, x_198); -x_200 = lean_array_push(x_149, x_199); -x_201 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_201, 0, x_167); -lean_ctor_set(x_201, 1, x_164); -x_202 = lean_array_push(x_200, x_201); -x_203 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_203, 0, x_170); -lean_ctor_set(x_203, 1, x_202); -x_204 = lean_array_push(x_149, x_203); -x_205 = lean_array_push(x_204, x_173); -x_206 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_206, 0, x_167); -lean_ctor_set(x_206, 1, x_205); -lean_inc(x_153); -x_207 = lean_array_push(x_153, x_206); -lean_inc(x_178); -x_208 = lean_array_push(x_207, x_178); -x_209 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_209, 0, x_180); -lean_ctor_set(x_209, 1, x_208); -x_210 = lean_array_push(x_149, x_209); -x_211 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_211, 0, x_167); -lean_ctor_set(x_211, 1, x_210); -x_212 = lean_array_push(x_194, x_211); -x_213 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_213, 0, x_170); -lean_ctor_set(x_213, 1, x_212); -x_214 = lean_array_push(x_149, x_213); -x_215 = lean_array_push(x_214, x_173); -x_216 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_216, 0, x_167); -lean_ctor_set(x_216, 1, x_215); -lean_inc(x_153); -x_217 = lean_array_push(x_153, x_216); -lean_inc(x_178); -x_218 = lean_array_push(x_217, x_178); -x_219 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_219, 0, x_180); -lean_ctor_set(x_219, 1, x_218); -x_220 = lean_array_push(x_149, x_219); +x_151 = l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___closed__12; +x_152 = l_Lean_addMacroScope(x_141, x_151, x_138); +x_153 = l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___closed__11; +x_154 = lean_alloc_ctor(3, 4, 0); +lean_ctor_set(x_154, 0, x_135); +lean_ctor_set(x_154, 1, x_153); +lean_ctor_set(x_154, 2, x_152); +lean_ctor_set(x_154, 3, x_145); +x_155 = lean_array_push(x_149, x_154); +x_156 = l___private_Init_Meta_0__Lean_quoteName(x_2); +x_157 = lean_array_push(x_155, x_156); lean_inc(x_1); -x_221 = l_Nat_repr(x_1); -x_222 = l_Lean_numLitKind; -x_223 = lean_box(2); -x_224 = l_Lean_Syntax_mkLit(x_222, x_221, x_223); -x_225 = lean_array_push(x_220, x_224); -x_226 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_226, 0, x_167); -lean_ctor_set(x_226, 1, x_225); -x_227 = lean_array_push(x_188, x_226); -x_228 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_228, 0, x_170); -lean_ctor_set(x_228, 1, x_227); -x_229 = lean_array_push(x_149, x_228); -x_230 = lean_array_push(x_229, x_173); -x_231 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_231, 0, x_167); -lean_ctor_set(x_231, 1, x_230); -x_232 = lean_array_push(x_153, x_231); -x_233 = lean_array_push(x_232, x_178); -x_234 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_234, 0, x_180); -lean_ctor_set(x_234, 1, x_233); -x_235 = lean_array_push(x_182, x_234); -x_236 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_236, 0, x_167); -lean_ctor_set(x_236, 1, x_235); -x_237 = lean_array_push(x_150, x_236); -x_238 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_238, 0, x_170); -lean_ctor_set(x_238, 1, x_237); -x_239 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__10(x_1, x_4, x_5, x_238, x_6, x_7, x_8, x_9, x_10, x_11, x_142); -return x_239; +x_158 = l_Nat_repr(x_1); +x_159 = l_Lean_numLitKind; +x_160 = lean_box(2); +x_161 = l_Lean_Syntax_mkLit(x_159, x_158, x_160); +x_162 = lean_array_push(x_157, x_161); +x_163 = l_Lean_nullKind___closed__2; +x_164 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_164, 0, x_163); +lean_ctor_set(x_164, 1, x_162); +x_165 = lean_array_push(x_150, x_164); +x_166 = l_myMacro____x40_Init_Notation___hyg_2278____closed__4; +x_167 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_167, 0, x_166); +lean_ctor_set(x_167, 1, x_165); +x_168 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__10(x_1, x_4, x_5, x_167, x_6, x_7, x_8, x_9, x_10, x_11, x_142); +return x_168; } } else { -lean_object* x_240; lean_object* x_241; lean_object* x_242; lean_object* x_243; lean_object* x_244; lean_object* x_245; lean_object* x_246; lean_object* x_247; lean_object* x_248; lean_object* x_249; lean_object* x_250; lean_object* x_251; lean_object* x_252; lean_object* x_253; lean_object* x_254; lean_object* x_255; lean_object* x_256; lean_object* x_257; lean_object* x_258; lean_object* x_259; lean_object* x_260; lean_object* x_261; lean_object* x_262; lean_object* x_263; lean_object* x_264; lean_object* x_265; lean_object* x_266; lean_object* x_267; lean_object* x_268; lean_object* x_269; +lean_object* x_169; lean_object* x_170; lean_object* x_171; lean_object* x_172; lean_object* x_173; lean_object* x_174; lean_object* x_175; lean_object* x_176; lean_object* x_177; lean_object* x_178; lean_object* x_179; lean_object* x_180; lean_object* x_181; lean_object* x_182; lean_object* x_183; lean_object* x_184; lean_object* x_185; lean_object* x_186; lean_object* x_187; lean_object* x_188; lean_object* x_189; lean_object* x_190; lean_object* x_191; lean_object* x_192; lean_object* x_193; lean_object* x_194; lean_object* x_195; lean_object* x_196; lean_object* x_197; lean_object* x_198; lean_dec(x_13); -x_240 = l_Lean_MonadRef_mkInfoFromRefPos___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__1___rarg(x_10, x_11, x_12); -x_241 = lean_ctor_get(x_240, 0); -lean_inc(x_241); -x_242 = lean_ctor_get(x_240, 1); -lean_inc(x_242); -lean_dec(x_240); -x_243 = l_Lean_Elab_Term_getCurrMacroScope(x_6, x_7, x_8, x_9, x_10, x_11, x_242); -x_244 = lean_ctor_get(x_243, 0); -lean_inc(x_244); -x_245 = lean_ctor_get(x_243, 1); -lean_inc(x_245); -lean_dec(x_243); -x_246 = l_Lean_Elab_Term_getMainModule___rarg(x_11, x_245); -x_247 = lean_ctor_get(x_246, 0); -lean_inc(x_247); -x_248 = lean_ctor_get(x_246, 1); -lean_inc(x_248); -lean_dec(x_246); -x_249 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__5; -lean_inc(x_244); -lean_inc(x_247); -x_250 = l_Lean_addMacroScope(x_247, x_249, x_244); -x_251 = lean_box(0); -x_252 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__3; -x_253 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__8; -lean_inc(x_241); -x_254 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_254, 0, x_241); -lean_ctor_set(x_254, 1, x_252); -lean_ctor_set(x_254, 2, x_250); -lean_ctor_set(x_254, 3, x_253); -x_255 = l_Array_empty___closed__1; -x_256 = lean_array_push(x_255, x_254); -x_257 = l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___closed__12; -x_258 = l_Lean_addMacroScope(x_247, x_257, x_244); -x_259 = l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___closed__11; -x_260 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_260, 0, x_241); -lean_ctor_set(x_260, 1, x_259); -lean_ctor_set(x_260, 2, x_258); -lean_ctor_set(x_260, 3, x_251); -x_261 = lean_array_push(x_255, x_260); -x_262 = l___private_Init_Meta_0__Lean_quoteName(x_2); -x_263 = lean_array_push(x_261, x_262); -x_264 = l_Lean_nullKind___closed__2; -x_265 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_265, 0, x_264); -lean_ctor_set(x_265, 1, x_263); -x_266 = lean_array_push(x_256, x_265); -x_267 = l_myMacro____x40_Init_Notation___hyg_2278____closed__4; -x_268 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_268, 0, x_267); -lean_ctor_set(x_268, 1, x_266); -x_269 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__10(x_1, x_4, x_5, x_268, x_6, x_7, x_8, x_9, x_10, x_11, x_248); -return x_269; +x_169 = l_Lean_MonadRef_mkInfoFromRefPos___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__1___rarg(x_10, x_11, x_12); +x_170 = lean_ctor_get(x_169, 0); +lean_inc(x_170); +x_171 = lean_ctor_get(x_169, 1); +lean_inc(x_171); +lean_dec(x_169); +x_172 = l_Lean_Elab_Term_getCurrMacroScope(x_6, x_7, x_8, x_9, x_10, x_11, x_171); +x_173 = lean_ctor_get(x_172, 0); +lean_inc(x_173); +x_174 = lean_ctor_get(x_172, 1); +lean_inc(x_174); +lean_dec(x_172); +x_175 = l_Lean_Elab_Term_getMainModule___rarg(x_11, x_174); +x_176 = lean_ctor_get(x_175, 0); +lean_inc(x_176); +x_177 = lean_ctor_get(x_175, 1); +lean_inc(x_177); +lean_dec(x_175); +x_178 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__5; +lean_inc(x_173); +lean_inc(x_176); +x_179 = l_Lean_addMacroScope(x_176, x_178, x_173); +x_180 = lean_box(0); +x_181 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__3; +x_182 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__8; +lean_inc(x_170); +x_183 = lean_alloc_ctor(3, 4, 0); +lean_ctor_set(x_183, 0, x_170); +lean_ctor_set(x_183, 1, x_181); +lean_ctor_set(x_183, 2, x_179); +lean_ctor_set(x_183, 3, x_182); +x_184 = l_Array_empty___closed__1; +x_185 = lean_array_push(x_184, x_183); +x_186 = l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___closed__12; +x_187 = l_Lean_addMacroScope(x_176, x_186, x_173); +x_188 = l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___closed__11; +x_189 = lean_alloc_ctor(3, 4, 0); +lean_ctor_set(x_189, 0, x_170); +lean_ctor_set(x_189, 1, x_188); +lean_ctor_set(x_189, 2, x_187); +lean_ctor_set(x_189, 3, x_180); +x_190 = lean_array_push(x_184, x_189); +x_191 = l___private_Init_Meta_0__Lean_quoteName(x_2); +x_192 = lean_array_push(x_190, x_191); +x_193 = l_Lean_nullKind___closed__2; +x_194 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_194, 0, x_193); +lean_ctor_set(x_194, 1, x_192); +x_195 = lean_array_push(x_185, x_194); +x_196 = l_myMacro____x40_Init_Notation___hyg_2278____closed__4; +x_197 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_197, 0, x_196); +lean_ctor_set(x_197, 1, x_195); +x_198 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__10(x_1, x_4, x_5, x_197, x_6, x_7, x_8, x_9, x_10, x_11, x_177); +return x_198; } } else { -lean_object* x_270; lean_object* x_271; lean_object* x_272; lean_object* x_273; lean_object* x_274; lean_object* x_275; lean_object* x_276; lean_object* x_277; lean_object* x_278; lean_object* x_279; lean_object* x_280; lean_object* x_281; lean_object* x_282; lean_object* x_283; lean_object* x_284; lean_object* x_285; lean_object* x_286; lean_object* x_287; lean_object* x_288; lean_object* x_289; lean_object* x_290; lean_object* x_291; lean_object* x_292; lean_object* x_293; lean_object* x_294; lean_object* x_295; lean_object* x_296; lean_object* x_297; lean_object* x_298; lean_object* x_299; -x_270 = l_Lean_MonadRef_mkInfoFromRefPos___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__1___rarg(x_10, x_11, x_12); -x_271 = lean_ctor_get(x_270, 0); -lean_inc(x_271); -x_272 = lean_ctor_get(x_270, 1); -lean_inc(x_272); -lean_dec(x_270); -x_273 = l_Lean_Elab_Term_getCurrMacroScope(x_6, x_7, x_8, x_9, x_10, x_11, x_272); -x_274 = lean_ctor_get(x_273, 0); -lean_inc(x_274); -x_275 = lean_ctor_get(x_273, 1); -lean_inc(x_275); -lean_dec(x_273); -x_276 = l_Lean_Elab_Term_getMainModule___rarg(x_11, x_275); -x_277 = lean_ctor_get(x_276, 0); -lean_inc(x_277); -x_278 = lean_ctor_get(x_276, 1); -lean_inc(x_278); -lean_dec(x_276); -x_279 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__5; -lean_inc(x_274); -lean_inc(x_277); -x_280 = l_Lean_addMacroScope(x_277, x_279, x_274); -x_281 = lean_box(0); -x_282 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__3; -x_283 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__8; -lean_inc(x_271); -x_284 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_284, 0, x_271); -lean_ctor_set(x_284, 1, x_282); -lean_ctor_set(x_284, 2, x_280); -lean_ctor_set(x_284, 3, x_283); -x_285 = l_Array_empty___closed__1; -x_286 = lean_array_push(x_285, x_284); -x_287 = l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___closed__12; -x_288 = l_Lean_addMacroScope(x_277, x_287, x_274); -x_289 = l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___closed__11; -x_290 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_290, 0, x_271); -lean_ctor_set(x_290, 1, x_289); -lean_ctor_set(x_290, 2, x_288); -lean_ctor_set(x_290, 3, x_281); -x_291 = lean_array_push(x_285, x_290); -x_292 = l___private_Init_Meta_0__Lean_quoteName(x_2); -x_293 = lean_array_push(x_291, x_292); -x_294 = l_Lean_nullKind___closed__2; -x_295 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_295, 0, x_294); -lean_ctor_set(x_295, 1, x_293); -x_296 = lean_array_push(x_286, x_295); -x_297 = l_myMacro____x40_Init_Notation___hyg_2278____closed__4; -x_298 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_298, 0, x_297); -lean_ctor_set(x_298, 1, x_296); -x_299 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__10(x_1, x_4, x_5, x_298, x_6, x_7, x_8, x_9, x_10, x_11, x_278); -return x_299; +lean_object* x_199; lean_object* x_200; lean_object* x_201; lean_object* x_202; lean_object* x_203; lean_object* x_204; lean_object* x_205; lean_object* x_206; lean_object* x_207; lean_object* x_208; lean_object* x_209; lean_object* x_210; lean_object* x_211; lean_object* x_212; lean_object* x_213; lean_object* x_214; lean_object* x_215; lean_object* x_216; lean_object* x_217; lean_object* x_218; lean_object* x_219; lean_object* x_220; lean_object* x_221; lean_object* x_222; lean_object* x_223; lean_object* x_224; lean_object* x_225; lean_object* x_226; lean_object* x_227; lean_object* x_228; +x_199 = l_Lean_MonadRef_mkInfoFromRefPos___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__1___rarg(x_10, x_11, x_12); +x_200 = lean_ctor_get(x_199, 0); +lean_inc(x_200); +x_201 = lean_ctor_get(x_199, 1); +lean_inc(x_201); +lean_dec(x_199); +x_202 = l_Lean_Elab_Term_getCurrMacroScope(x_6, x_7, x_8, x_9, x_10, x_11, x_201); +x_203 = lean_ctor_get(x_202, 0); +lean_inc(x_203); +x_204 = lean_ctor_get(x_202, 1); +lean_inc(x_204); +lean_dec(x_202); +x_205 = l_Lean_Elab_Term_getMainModule___rarg(x_11, x_204); +x_206 = lean_ctor_get(x_205, 0); +lean_inc(x_206); +x_207 = lean_ctor_get(x_205, 1); +lean_inc(x_207); +lean_dec(x_205); +x_208 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__5; +lean_inc(x_203); +lean_inc(x_206); +x_209 = l_Lean_addMacroScope(x_206, x_208, x_203); +x_210 = lean_box(0); +x_211 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__3; +x_212 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__8; +lean_inc(x_200); +x_213 = lean_alloc_ctor(3, 4, 0); +lean_ctor_set(x_213, 0, x_200); +lean_ctor_set(x_213, 1, x_211); +lean_ctor_set(x_213, 2, x_209); +lean_ctor_set(x_213, 3, x_212); +x_214 = l_Array_empty___closed__1; +x_215 = lean_array_push(x_214, x_213); +x_216 = l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___closed__12; +x_217 = l_Lean_addMacroScope(x_206, x_216, x_203); +x_218 = l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___closed__11; +x_219 = lean_alloc_ctor(3, 4, 0); +lean_ctor_set(x_219, 0, x_200); +lean_ctor_set(x_219, 1, x_218); +lean_ctor_set(x_219, 2, x_217); +lean_ctor_set(x_219, 3, x_210); +x_220 = lean_array_push(x_214, x_219); +x_221 = l___private_Init_Meta_0__Lean_quoteName(x_2); +x_222 = lean_array_push(x_220, x_221); +x_223 = l_Lean_nullKind___closed__2; +x_224 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_224, 0, x_223); +lean_ctor_set(x_224, 1, x_222); +x_225 = lean_array_push(x_215, x_224); +x_226 = l_myMacro____x40_Init_Notation___hyg_2278____closed__4; +x_227 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_227, 0, x_226); +lean_ctor_set(x_227, 1, x_225); +x_228 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__10(x_1, x_4, x_5, x_227, x_6, x_7, x_8, x_9, x_10, x_11, x_207); +return x_228; } } } @@ -19950,14 +19716,22 @@ return x_4; static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__11() { _start: { +lean_object* x_1; +x_1 = lean_mk_string("getArgs"); +return x_1; +} +} +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__12() { +_start: +{ lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___closed__12; -x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__38; +x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__11; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__12() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__13() { _start: { lean_object* x_1; @@ -19965,17 +19739,17 @@ x_1 = lean_mk_string("extract"); return x_1; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__13() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__14() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__11; -x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__12; +x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__12; +x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__13; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__14() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__15() { _start: { lean_object* x_1; @@ -19983,22 +19757,22 @@ x_1 = lean_mk_string("discr.getNumArgs"); return x_1; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__15() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__16() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__14; +x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__15; x_2 = lean_string_utf8_byte_size(x_1); return x_2; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__16() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__17() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__14; +x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__15; x_2 = lean_unsigned_to_nat(0u); -x_3 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__15; +x_3 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__16; x_4 = lean_alloc_ctor(0, 3, 0); lean_ctor_set(x_4, 0, x_1); lean_ctor_set(x_4, 1, x_2); @@ -20006,7 +19780,7 @@ lean_ctor_set(x_4, 2, x_3); return x_4; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__17() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__18() { _start: { lean_object* x_1; @@ -20014,17 +19788,17 @@ x_1 = lean_mk_string("getNumArgs"); return x_1; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__18() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__19() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___closed__12; -x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__17; +x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__18; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__19() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__20() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -20036,19 +19810,19 @@ lean_ctor_set(x_3, 1, x_1); return x_3; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__20() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__21() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__19; +x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__20; x_3 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_3, 0, x_2); lean_ctor_set(x_3, 1, x_1); return x_3; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__21() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__22() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -20060,12 +19834,12 @@ lean_ctor_set(x_3, 1, x_1); return x_3; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__22() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__23() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__21; +x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__22; x_3 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_3, 0, x_2); lean_ctor_set(x_3, 1, x_1); @@ -20123,7 +19897,7 @@ x_35 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_35, 0, x_18); lean_ctor_set(x_35, 1, x_34); x_36 = lean_array_push(x_32, x_35); -x_37 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__13; +x_37 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__14; lean_inc(x_21); lean_inc(x_24); x_38 = l_Lean_addMacroScope(x_24, x_37, x_21); @@ -20140,9 +19914,9 @@ x_43 = l_Lean_numLitKind; x_44 = lean_box(2); x_45 = l_Lean_Syntax_mkLit(x_43, x_42, x_44); x_46 = lean_array_push(x_32, x_45); -x_47 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__18; +x_47 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__19; x_48 = l_Lean_addMacroScope(x_24, x_47, x_21); -x_49 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__16; +x_49 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__17; lean_inc(x_18); x_50 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_50, 0, x_18); @@ -20284,7 +20058,7 @@ lean_inc(x_104); lean_inc(x_108); x_110 = l_Lean_addMacroScope(x_108, x_109, x_104); x_111 = l_myMacro____x40_Init_Notation___hyg_14269____closed__3; -x_112 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__20; +x_112 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__21; lean_inc(x_101); x_113 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_113, 0, x_101); @@ -20302,7 +20076,7 @@ lean_inc(x_104); lean_inc(x_108); x_118 = l_Lean_addMacroScope(x_108, x_117, x_104); x_119 = l_myMacro____x40_Init_Notation___hyg_6854____closed__3; -x_120 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__22; +x_120 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__23; lean_inc(x_101); x_121 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_121, 0, x_101); @@ -20367,7 +20141,7 @@ lean_inc(x_104); lean_inc(x_145); x_148 = l_Lean_addMacroScope(x_145, x_147, x_104); x_149 = l_myMacro____x40_Init_Notation___hyg_14269____closed__3; -x_150 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__20; +x_150 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__21; lean_inc(x_101); x_151 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_151, 0, x_101); @@ -20385,7 +20159,7 @@ lean_inc(x_104); lean_inc(x_145); x_156 = l_Lean_addMacroScope(x_145, x_155, x_104); x_157 = l_myMacro____x40_Init_Notation___hyg_6854____closed__3; -x_158 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__22; +x_158 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__23; lean_inc(x_101); x_159 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_159, 0, x_101); @@ -21890,7 +21664,7 @@ static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quot _start: { lean_object* x_1; -x_1 = lean_mk_string("Array.getSepElems"); +x_1 = lean_mk_string("Syntax.getArgs"); return x_1; } } @@ -21920,17 +21694,19 @@ return x_4; static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__4() { _start: { -lean_object* x_1; -x_1 = lean_mk_string("getSepElems"); -return x_1; +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___lambda__1___closed__4; +x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__11; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; } } static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__5() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Array_term_____x5b___x3a___x5d___closed__2; -x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__4; +x_1 = l___private_Lean_Elab_Util_0__Lean_Elab_evalSyntaxConstantUnsafe___closed__1; +x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__11; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } @@ -21962,6 +21738,79 @@ return x_3; static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__8() { _start: { +lean_object* x_1; +x_1 = lean_mk_string("Array.getSepElems"); +return x_1; +} +} +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__9() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__8; +x_2 = lean_string_utf8_byte_size(x_1); +return x_2; +} +} +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__10() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__8; +x_2 = lean_unsigned_to_nat(0u); +x_3 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__9; +x_4 = lean_alloc_ctor(0, 3, 0); +lean_ctor_set(x_4, 0, x_1); +lean_ctor_set(x_4, 1, x_2); +lean_ctor_set(x_4, 2, x_3); +return x_4; +} +} +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__11() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("getSepElems"); +return x_1; +} +} +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__12() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Array_term_____x5b___x3a___x5d___closed__2; +x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__11; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__13() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_box(0); +x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__12; +x_3 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_3, 0, x_2); +lean_ctor_set(x_3, 1, x_1); +return x_3; +} +} +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__14() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_box(0); +x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__13; +x_3 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_3, 0, x_2); +lean_ctor_set(x_3, 1, x_1); +return x_3; +} +} +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__15() { +_start: +{ lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); x_2 = l___private_Init_Meta_0__Lean_quoteOption___rarg___closed__3; @@ -21971,19 +21820,19 @@ lean_ctor_set(x_3, 1, x_1); return x_3; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__9() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__16() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__8; +x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__15; x_3 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_3, 0, x_2); lean_ctor_set(x_3, 1, x_1); return x_3; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__10() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__17() { _start: { lean_object* x_1; @@ -21991,22 +21840,22 @@ x_1 = lean_mk_string("yes"); return x_1; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__11() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__18() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__10; +x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__17; x_2 = lean_string_utf8_byte_size(x_1); return x_2; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__12() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__19() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__10; +x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__17; x_2 = lean_unsigned_to_nat(0u); -x_3 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__11; +x_3 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__18; x_4 = lean_alloc_ctor(0, 3, 0); lean_ctor_set(x_4, 0, x_1); lean_ctor_set(x_4, 1, x_2); @@ -22014,17 +21863,17 @@ lean_ctor_set(x_4, 2, x_3); return x_4; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__13() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__20() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__10; +x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__17; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__14() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__21() { _start: { lean_object* x_1; @@ -22032,22 +21881,22 @@ x_1 = lean_mk_string("discr.isNone"); return x_1; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__15() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__22() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__14; +x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__21; x_2 = lean_string_utf8_byte_size(x_1); return x_2; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__16() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__23() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__14; +x_1 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__21; x_2 = lean_unsigned_to_nat(0u); -x_3 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__15; +x_3 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__22; x_4 = lean_alloc_ctor(0, 3, 0); lean_ctor_set(x_4, 0, x_1); lean_ctor_set(x_4, 1, x_2); @@ -22055,7 +21904,7 @@ lean_ctor_set(x_4, 2, x_3); return x_4; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__17() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__24() { _start: { lean_object* x_1; @@ -22063,17 +21912,17 @@ x_1 = lean_mk_string("isNone"); return x_1; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__18() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__25() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_List_mapM___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___spec__5___closed__12; -x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__17; +x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__24; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__19() { +static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__26() { _start: { lean_object* x_1; @@ -22153,12 +22002,12 @@ lean_inc(x_30); x_31 = lean_ctor_get(x_29, 1); lean_inc(x_31); lean_dec(x_29); -x_32 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__39; +x_32 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__4; lean_inc(x_27); lean_inc(x_30); x_33 = l_Lean_addMacroScope(x_30, x_32, x_27); -x_34 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__37; -x_35 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__42; +x_34 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__3; +x_35 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__7; lean_inc(x_24); x_36 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_36, 0, x_24); @@ -22222,10 +22071,10 @@ lean_inc(x_61); x_62 = lean_ctor_get(x_60, 1); lean_inc(x_62); lean_dec(x_60); -x_63 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__5; +x_63 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__12; x_64 = l_Lean_addMacroScope(x_61, x_63, x_58); -x_65 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__3; -x_66 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__7; +x_65 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__10; +x_66 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__14; x_67 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_67, 0, x_55); lean_ctor_set(x_67, 1, x_65); @@ -22284,12 +22133,12 @@ lean_inc(x_86); x_87 = lean_ctor_get(x_85, 1); lean_inc(x_87); lean_dec(x_85); -x_88 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__39; +x_88 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__4; lean_inc(x_83); lean_inc(x_86); x_89 = l_Lean_addMacroScope(x_86, x_88, x_83); -x_90 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__37; -x_91 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__42; +x_90 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__3; +x_91 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__7; lean_inc(x_80); x_92 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_92, 0, x_80); @@ -22354,10 +22203,10 @@ lean_inc(x_117); x_118 = lean_ctor_get(x_116, 1); lean_inc(x_118); lean_dec(x_116); -x_119 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__5; +x_119 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__12; x_120 = l_Lean_addMacroScope(x_117, x_119, x_114); -x_121 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__3; -x_122 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__7; +x_121 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__10; +x_122 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__14; x_123 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_123, 0, x_111); lean_ctor_set(x_123, 1, x_121); @@ -22425,12 +22274,12 @@ lean_inc(x_145); x_146 = lean_ctor_get(x_144, 1); lean_inc(x_146); lean_dec(x_144); -x_147 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__39; +x_147 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__4; lean_inc(x_142); lean_inc(x_145); x_148 = l_Lean_addMacroScope(x_145, x_147, x_142); -x_149 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__37; -x_150 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__42; +x_149 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__3; +x_150 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__7; lean_inc(x_139); x_151 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_151, 0, x_139); @@ -22495,10 +22344,10 @@ lean_inc(x_176); x_177 = lean_ctor_get(x_175, 1); lean_inc(x_177); lean_dec(x_175); -x_178 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__5; +x_178 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__12; x_179 = l_Lean_addMacroScope(x_176, x_178, x_173); -x_180 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__3; -x_181 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__7; +x_180 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__10; +x_181 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__14; x_182 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_182, 0, x_170); lean_ctor_set(x_182, 1, x_180); @@ -22550,7 +22399,7 @@ lean_dec(x_197); x_200 = l_Array_foldlMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__20___lambda__3___closed__6; x_201 = l_Lean_addMacroScope(x_198, x_200, x_195); x_202 = l_Array_foldlMUnsafe_fold___at___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_quoteSyntax___spec__20___lambda__3___closed__5; -x_203 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__9; +x_203 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__16; x_204 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_204, 0, x_192); lean_ctor_set(x_204, 1, x_202); @@ -22590,11 +22439,11 @@ lean_ctor_set(x_217, 0, x_208); lean_ctor_set(x_217, 1, x_216); x_218 = l_Array_empty___closed__1; x_219 = lean_array_push(x_218, x_217); -x_220 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__13; +x_220 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__20; lean_inc(x_211); lean_inc(x_215); x_221 = l_Lean_addMacroScope(x_215, x_220, x_211); -x_222 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__12; +x_222 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__19; lean_inc(x_208); x_223 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_223, 0, x_208); @@ -22666,11 +22515,11 @@ x_259 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_259, 0, x_208); lean_ctor_set(x_259, 1, x_258); x_260 = lean_array_push(x_218, x_259); -x_261 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__18; +x_261 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__25; lean_inc(x_211); lean_inc(x_215); x_262 = l_Lean_addMacroScope(x_215, x_261, x_211); -x_263 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__16; +x_263 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__23; lean_inc(x_208); x_264 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_264, 0, x_208); @@ -22678,7 +22527,7 @@ lean_ctor_set(x_264, 1, x_263); lean_ctor_set(x_264, 2, x_262); lean_ctor_set(x_264, 3, x_16); x_265 = lean_array_push(x_260, x_264); -x_266 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__19; +x_266 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__26; lean_inc(x_208); x_267 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_267, 0, x_208); @@ -22873,11 +22722,11 @@ lean_ctor_set(x_365, 0, x_208); lean_ctor_set(x_365, 1, x_364); x_366 = l_Array_empty___closed__1; x_367 = lean_array_push(x_366, x_365); -x_368 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__13; +x_368 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__20; lean_inc(x_211); lean_inc(x_362); x_369 = l_Lean_addMacroScope(x_362, x_368, x_211); -x_370 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__12; +x_370 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__19; lean_inc(x_208); x_371 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_371, 0, x_208); @@ -22949,11 +22798,11 @@ x_407 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_407, 0, x_208); lean_ctor_set(x_407, 1, x_406); x_408 = lean_array_push(x_366, x_407); -x_409 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__18; +x_409 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__25; lean_inc(x_211); lean_inc(x_362); x_410 = l_Lean_addMacroScope(x_362, x_409, x_211); -x_411 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__16; +x_411 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__23; lean_inc(x_208); x_412 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_412, 0, x_208); @@ -22961,7 +22810,7 @@ lean_ctor_set(x_412, 1, x_411); lean_ctor_set(x_412, 2, x_410); lean_ctor_set(x_412, 3, x_16); x_413 = lean_array_push(x_408, x_412); -x_414 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__19; +x_414 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__26; lean_inc(x_208); x_415 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_415, 0, x_208); @@ -23173,12 +23022,12 @@ lean_inc(x_520); x_521 = lean_ctor_get(x_519, 1); lean_inc(x_521); lean_dec(x_519); -x_522 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__39; +x_522 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__4; lean_inc(x_517); lean_inc(x_520); x_523 = l_Lean_addMacroScope(x_520, x_522, x_517); -x_524 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__37; -x_525 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__42; +x_524 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__3; +x_525 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__7; lean_inc(x_514); x_526 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_526, 0, x_514); @@ -23243,10 +23092,10 @@ lean_inc(x_551); x_552 = lean_ctor_get(x_550, 1); lean_inc(x_552); lean_dec(x_550); -x_553 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__5; +x_553 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__12; x_554 = l_Lean_addMacroScope(x_551, x_553, x_548); -x_555 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__3; -x_556 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__7; +x_555 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__10; +x_556 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__14; x_557 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_557, 0, x_545); lean_ctor_set(x_557, 1, x_555); @@ -23301,12 +23150,12 @@ lean_inc(x_575); x_576 = lean_ctor_get(x_574, 1); lean_inc(x_576); lean_dec(x_574); -x_577 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__39; +x_577 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__4; lean_inc(x_572); lean_inc(x_575); x_578 = l_Lean_addMacroScope(x_575, x_577, x_572); -x_579 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__37; -x_580 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__42; +x_579 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__3; +x_580 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__7; lean_inc(x_569); x_581 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_581, 0, x_569); @@ -23371,10 +23220,10 @@ lean_inc(x_606); x_607 = lean_ctor_get(x_605, 1); lean_inc(x_607); lean_dec(x_605); -x_608 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__5; +x_608 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__12; x_609 = l_Lean_addMacroScope(x_606, x_608, x_603); -x_610 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__3; -x_611 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__7; +x_610 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__10; +x_611 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__14; x_612 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_612, 0, x_600); lean_ctor_set(x_612, 1, x_610); @@ -23430,12 +23279,12 @@ lean_inc(x_630); x_631 = lean_ctor_get(x_629, 1); lean_inc(x_631); lean_dec(x_629); -x_632 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__39; +x_632 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__4; lean_inc(x_627); lean_inc(x_630); x_633 = l_Lean_addMacroScope(x_630, x_632, x_627); -x_634 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__37; -x_635 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__42; +x_634 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__3; +x_635 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__7; lean_inc(x_624); x_636 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_636, 0, x_624); @@ -23500,10 +23349,10 @@ lean_inc(x_661); x_662 = lean_ctor_get(x_660, 1); lean_inc(x_662); lean_dec(x_660); -x_663 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__5; +x_663 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__12; x_664 = l_Lean_addMacroScope(x_661, x_663, x_658); -x_665 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__3; -x_666 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__7; +x_665 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__10; +x_666 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__14; x_667 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_667, 0, x_655); lean_ctor_set(x_667, 1, x_665); @@ -23713,7 +23562,7 @@ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__40; +x_2 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__5; x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_2); lean_ctor_set(x_3, 1, x_1); @@ -23958,12 +23807,12 @@ x_70 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_70, 0, x_35); lean_ctor_set(x_70, 1, x_69); x_71 = lean_array_push(x_45, x_70); -x_72 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__39; +x_72 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__4; lean_inc(x_38); lean_inc(x_42); x_73 = l_Lean_addMacroScope(x_42, x_72, x_38); -x_74 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__37; -x_75 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__42; +x_74 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__3; +x_75 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__7; lean_inc(x_35); x_76 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_76, 0, x_35); @@ -24100,12 +23949,12 @@ x_145 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_145, 0, x_35); lean_ctor_set(x_145, 1, x_144); x_146 = lean_array_push(x_120, x_145); -x_147 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__39; +x_147 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__4; lean_inc(x_38); lean_inc(x_116); x_148 = l_Lean_addMacroScope(x_116, x_147, x_38); -x_149 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__37; -x_150 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__42; +x_149 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__3; +x_150 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__7; lean_inc(x_35); x_151 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_151, 0, x_35); @@ -24230,12 +24079,12 @@ x_210 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_210, 0, x_193); lean_ctor_set(x_210, 1, x_209); x_211 = lean_array_push(x_208, x_210); -x_212 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__39; +x_212 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__4; lean_inc(x_196); lean_inc(x_200); x_213 = l_Lean_addMacroScope(x_200, x_212, x_196); x_214 = lean_box(0); -x_215 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__37; +x_215 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__3; x_216 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__23___closed__9; lean_inc(x_193); x_217 = lean_alloc_ctor(3, 4, 0); @@ -24316,12 +24165,12 @@ x_255 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_255, 0, x_193); lean_ctor_set(x_255, 1, x_254); x_256 = lean_array_push(x_253, x_255); -x_257 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__39; +x_257 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__4; lean_inc(x_196); lean_inc(x_244); x_258 = l_Lean_addMacroScope(x_244, x_257, x_196); x_259 = lean_box(0); -x_260 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__37; +x_260 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__3; x_261 = l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__23___closed__9; lean_inc(x_193); x_262 = lean_alloc_ctor(3, 4, 0); @@ -34638,7 +34487,7 @@ x_5 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_1); return x_5; } } -lean_object* l_Lean_Elab_Term_Quotation_initFn____x40_Lean_Elab_Quotation___hyg_12250_(lean_object* x_1) { +lean_object* l_Lean_Elab_Term_Quotation_initFn____x40_Lean_Elab_Quotation___hyg_11947_(lean_object* x_1) { _start: { lean_object* x_2; lean_object* x_3; @@ -35329,22 +35178,6 @@ l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__33); l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__34 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__34(); lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__34); -l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__35 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__35(); -lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__35); -l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__36 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__36(); -lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__36); -l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__37 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__37(); -lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__37); -l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__38 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__38(); -lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__38); -l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__39 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__39(); -lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__39); -l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__40 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__40(); -lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__40); -l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__41 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__41(); -lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__41); -l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__42 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__42(); -lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__11___closed__42); l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__1 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__1(); lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__1); l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__2 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__2(); @@ -35389,6 +35222,8 @@ l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__21); l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__22 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__22(); lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__22); +l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__23 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__23(); +lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__13___closed__23); l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__14___closed__1 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__14___closed__1(); lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__14___closed__1); l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__15___closed__1 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__15___closed__1(); @@ -35455,6 +35290,20 @@ l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__18); l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__19 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__19(); lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__19); +l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__20 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__20(); +lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__20); +l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__21 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__21(); +lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__21); +l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__22 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__22(); +lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__22); +l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__23 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__23(); +lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__23); +l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__24 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__24(); +lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__24); +l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__25 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__25(); +lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__25); +l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__26 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__26(); +lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__22___closed__26); l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__23___closed__1 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__23___closed__1(); lean_mark_persistent(l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__23___closed__1); l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__23___closed__2 = _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quotation_getHeadInfo___lambda__23___closed__2(); @@ -35566,7 +35415,7 @@ lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_Quotation_elabMatchSyntax___c res = l___regBuiltin_Lean_Elab_Term_Quotation_elabMatchSyntax(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); -res = l_Lean_Elab_Term_Quotation_initFn____x40_Lean_Elab_Quotation___hyg_12250_(lean_io_mk_world()); +res = l_Lean_Elab_Term_Quotation_initFn____x40_Lean_Elab_Quotation___hyg_11947_(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)); diff --git a/stage0/stdlib/Lean/Elab/Syntax.c b/stage0/stdlib/Lean/Elab/Syntax.c index b8fcab2929..3baeefe973 100644 --- a/stage0/stdlib/Lean/Elab/Syntax.c +++ b/stage0/stdlib/Lean/Elab/Syntax.c @@ -715,7 +715,7 @@ extern lean_object* l_myMacro____x40_Init_Notation___hyg_1346____closed__1; uint8_t l_Lean_Name_isAnonymous(lean_object*); extern lean_object* l_Lean_Parser_Command_infix___elambda__1___closed__2; lean_object* l_Lean_Elab_toAttributeKind___at_Lean_Elab_Command_expandNotation___spec__1___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*); -uint8_t l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6927_(uint8_t, uint8_t); +uint8_t l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6929_(uint8_t, uint8_t); lean_object* l___private_Lean_Elab_Syntax_0__Lean_Elab_Term_withNestedParser___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Array_mapMUnsafe_map___at_Lean_Elab_Command_elabMacroRulesAux___spec__3(lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Elab_Term_checkLeftRec(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -4039,7 +4039,7 @@ lean_inc(x_15); lean_dec(x_13); x_60 = lean_ctor_get_uint8(x_2, sizeof(void*)*1 + 2); x_61 = 0; -x_62 = l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6927_(x_60, x_61); +x_62 = l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6929_(x_60, x_61); if (x_62 == 0) { uint8_t x_63; diff --git a/stage0/stdlib/Lean/Parser/Basic.c b/stage0/stdlib/Lean/Parser/Basic.c index 6fe0252747..348a233ef6 100644 --- a/stage0/stdlib/Lean/Parser/Basic.c +++ b/stage0/stdlib/Lean/Parser/Basic.c @@ -92,7 +92,6 @@ lean_object* l_Lean_Parser_FirstTokens_toOptional_match__1(lean_object*); lean_object* lean_name_mk_string(lean_object*, lean_object*); extern lean_object* l_Lean_fieldIdxKind___closed__2; lean_object* l_Lean_Parser_strAux___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7225____closed__1; uint8_t l_USize_decEq(size_t, size_t); lean_object* lean_array_uget(lean_object*, size_t); lean_object* l_Lean_Parser_eoi; @@ -174,6 +173,7 @@ lean_object* l_Lean_Parser_tokenWithAntiquotFn(lean_object*, lean_object*, lean_ lean_object* l_Lean_Parser_nonReservedSymbolInfo___closed__2; lean_object* l_Lean_Parser_anyOfFn_match__1___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_strAux_parse(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6929__match__1___rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); uint8_t l_Lean_Parser_isLitKind(lean_object*); lean_object* l_Lean_Parser_instBEqError___closed__1; extern lean_object* l_Lean_fieldIdxKind___closed__1; @@ -200,7 +200,6 @@ lean_object* l_Lean_Parser_withAntiquotSuffixSpliceFn___lambda__2(lean_object*, lean_object* l_Lean_Parser_instInhabitedParserInfo___closed__1; lean_object* l_Lean_Parser_nameLitNoAntiquot___closed__1; lean_object* l_Lean_Parser_leadingParserAux___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207____closed__1; uint8_t lean_name_eq(lean_object*, lean_object*); uint8_t l_Lean_Parser_hexNumberFn___lambda__1(uint32_t); lean_object* l_Lean_Parser_antiquotNestedExpr___elambda__1(lean_object*, lean_object*); @@ -209,6 +208,7 @@ lean_object* l_Lean_Parser_mkTokenAndFixPos___closed__2; lean_object* l_Lean_Parser_mkAntiquot___closed__9; uint8_t l_Lean_Parser_octalNumberFn___lambda__1(uint32_t); lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_sepByFnAux___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209____closed__1; lean_object* l_Lean_isIdRest___boxed(lean_object*); lean_object* l_Lean_Parser_pushNone___elambda__1___boxed(lean_object*); lean_object* l_Lean_Parser_notFollowedByFn(lean_object*, lean_object*, lean_object*, lean_object*); @@ -225,13 +225,13 @@ lean_object* lean_array_get_size(lean_object*); lean_object* l_Std_PersistentHashMap_getCollisionNodeSize___rarg(lean_object*); extern lean_object* l_Lean_charLitKind___closed__1; lean_object* lean_string_append(lean_object*, lean_object*); +lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6929____boxed(lean_object*, lean_object*); lean_object* l_Lean_Parser_tokenFn(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_withoutForbidden___lambda__1(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_mkAtomicInfo(lean_object*); lean_object* l_Lean_Parser_notFollowedBy(lean_object*, lean_object*); lean_object* lean_string_utf8_extract(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Parser_info___default___closed__1; -lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6927____boxed(lean_object*, lean_object*); uint8_t l_Char_isWhitespace(uint32_t); lean_object* l_Lean_Parser_Error_merge_match__1(lean_object*); lean_object* l_Lean_Parser_atomicFn(lean_object*, lean_object*, lean_object*); @@ -297,7 +297,6 @@ lean_object* l_Lean_Parser_orelseFnCore_match__1___rarg(lean_object*, lean_objec lean_object* lean_nat_add(lean_object*, lean_object*); lean_object* l_Lean_Parser_indexed___rarg(lean_object*, lean_object*, lean_object*, uint8_t); lean_object* l_Std_RBNode_find___at_Lean_Parser_indexed___spec__6(lean_object*); -lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6927__match__1___rarg(uint8_t, uint8_t, lean_object*, lean_object*, lean_object*, lean_object*); uint32_t l_Lean_Parser_getNext(lean_object*, lean_object*); lean_object* l_List_toStringAux___at_Lean_Parser_FirstTokens_toStr___spec__2___boxed(lean_object*, lean_object*); lean_object* l_Lean_Parser_andthenInfo___elambda__2(lean_object*, lean_object*, lean_object*); @@ -315,6 +314,7 @@ lean_object* l_Lean_Parser_antiquotNestedExpr___elambda__1___closed__3; lean_object* l_Lean_Parser_instInhabitedParserCategory; lean_object* l_Lean_Parser_scientificLitFn___closed__1; lean_object* l_Lean_Parser_setExpectedFn_match__1___rarg(lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209____lambda__1(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_rawIdentFn(lean_object*, lean_object*); lean_object* l_Lean_Parser_mkAntiquotSplice___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_Std_PersistentHashMap_insert___at_Lean_Parser_SyntaxNodeKindSet_insert___spec__1(lean_object*, lean_object*, lean_object*); @@ -323,7 +323,6 @@ lean_object* l_Lean_Parser_scientificLitNoAntiquot___closed__3; lean_object* l_Lean_Parser_indexed(lean_object*); lean_object* l_Lean_Parser_setExpectedFn___rarg(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_mkAntiquotSplice___closed__9; -lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207____lambda__1(lean_object*, lean_object*, lean_object*); lean_object* lean_string_utf8_next(lean_object*, lean_object*); lean_object* l_Lean_Parser_invalidLongestMatchParser(lean_object*); lean_object* l_Lean_Parser_invalidLongestMatchParser___closed__1; @@ -377,7 +376,6 @@ lean_object* l_Lean_Parser_strLitFn___closed__1; lean_object* l_Lean_Parser_Error_instToStringError; lean_object* l_Lean_Parser_orelseFnCore_match__1(lean_object*); lean_object* l_Lean_Parser_strLitFn___closed__2; -lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207____lambda__1___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_evalParserConst___boxed(lean_object*, lean_object*); lean_object* l_Lean_Parser_FirstTokens_instToStringFirstTokens___closed__1; uint8_t lean_nat_dec_eq(lean_object*, lean_object*); @@ -450,9 +448,9 @@ lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Syntax_foldArgsM___spec__1___ra lean_object* l_Lean_Parser_ParserState_keepNewError(lean_object*, lean_object*); lean_object* l_Lean_Parser_antiquotExpr; lean_object* l_Lean_Parser_instInhabitedParserCategory___closed__1; -lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7225____lambda__1(lean_object*); uint8_t l_Substring_contains(lean_object*, uint32_t); lean_object* l_Lean_Parser_symbol(lean_object*); +lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7227____lambda__1(lean_object*); lean_object* l_Lean_Parser_isQuotableCharDefault___boxed(lean_object*); lean_object* l_List_toStringAux___at_Lean_Parser_dbgTraceStateFn___spec__2(uint8_t, lean_object*); lean_object* l_Lean_Parser_checkLineEqFn(lean_object*, lean_object*, lean_object*); @@ -504,6 +502,7 @@ lean_object* l_Lean_Parser_charLitNoAntiquot___closed__2; lean_object* l_Lean_Parser_longestMatchStep(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_instAndThenParser; lean_object* l_Lean_Parser_tryAnti_match__1___rarg(lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7227____closed__1; lean_object* l_Lean_Parser_setExpectedFn(lean_object*); lean_object* l_List_eraseRepsAux___at_Lean_Parser_Error_toString___spec__4(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_strLitFn(lean_object*, lean_object*); @@ -559,7 +558,6 @@ lean_object* l_Lean_Parser_setExpectedFn_match__1(lean_object*); lean_object* l_Lean_Parser_sepBy___elambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_pushNone___elambda__1___rarg(lean_object*); lean_object* l_Lean_Parser_scientificLitFn(lean_object*, lean_object*); -lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6927__match__1___rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* lean_array_to_list(lean_object*, lean_object*); lean_object* l_Lean_Parser_PrattParsingTables_leadingParsers___default; lean_object* l_Lean_Parser_fieldIdx___closed__5; @@ -764,6 +762,7 @@ lean_object* l_Std_RBNode_insert___at_Lean_Parser_TokenMap_insert___spec__5___ra lean_object* l_Lean_Parser_ParserState_mkUnexpectedErrorAt(lean_object*, lean_object*, lean_object*); lean_object* l_Std_RBNode_find___at_Lean_Parser_TokenMap_insert___spec__1(lean_object*); lean_object* l_Lean_Parser_mergeOrElseErrors(lean_object*, lean_object*, lean_object*, uint8_t); +lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209____lambda__1___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_Std_RBNode_find___at_Lean_Parser_indexed___spec__1(lean_object*); lean_object* l_Lean_Parser_withPosition___lambda__1(lean_object*, lean_object*, lean_object*); uint8_t lean_nat_dec_le(lean_object*, lean_object*); @@ -792,7 +791,7 @@ lean_object* l_Lean_Parser_Error_instToStringError___closed__1; lean_object* l_Lean_Parser_checkTailNoWs_match__1(lean_object*); lean_object* l_Lean_Parser_TokenMap_instEmptyCollectionTokenMap(lean_object*); lean_object* l_Lean_Parser_orelseInfo___elambda__1(lean_object*, lean_object*, lean_object*); -uint8_t l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6927_(uint8_t, uint8_t); +uint8_t l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6929_(uint8_t, uint8_t); extern lean_object* l_Array_instToStringArray___rarg___closed__1; lean_object* l_Lean_Parser_errorAtSavedPos(lean_object*, uint8_t); lean_object* l_Lean_Parser_mkAntiquot___closed__14; @@ -920,8 +919,8 @@ extern lean_object* l_Lean_Syntax_antiquotSpliceKind_x3f_match__1___rarg___close lean_object* l_Lean_Parser_mkAntiquot___closed__6; lean_object* l_Lean_Parser_parserOfStackFnUnsafe___closed__1; extern lean_object* l_Lean_Syntax_mkAntiquotNode___closed__6; -lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207_(lean_object*); -lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7225_(lean_object*); +lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209_(lean_object*); +lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7227_(lean_object*); uint8_t l_Lean_Parser_instInhabitedLeadingIdentBehavior; lean_object* l_Lean_Parser_fieldIdx___closed__7; lean_object* l_Lean_Parser_mkAntiquot(lean_object*, lean_object*, uint8_t); @@ -955,6 +954,7 @@ lean_object* l_Lean_Parser_manyFn(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_ParserState_next___boxed(lean_object*, lean_object*, lean_object*); extern lean_object* l_Lean_mkOptionalNode___closed__2; lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_Error_expectedToString_match__1(lean_object*); +lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6929__match__1___rarg(uint8_t, uint8_t, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_updateCache_match__1(lean_object*); lean_object* l_Lean_Parser_eoiFn___boxed(lean_object*, lean_object*); lean_object* l_Lean_Parser_satisfySymbolFn_match__1___rarg(lean_object*, lean_object*, lean_object*); @@ -1027,13 +1027,13 @@ uint8_t lean_string_utf8_at_end(lean_object*, lean_object*); lean_object* l_Lean_Parser_ParserState_replaceLongest___boxed(lean_object*, lean_object*); lean_object* l_Lean_Parser_longestMatchStep___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_quotedCharCoreFn___boxed(lean_object*, lean_object*, lean_object*); -lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6927__match__1(lean_object*); lean_object* l_Lean_Parser_Error_toString___closed__1; lean_object* l_Lean_Parser_instInhabitedParserInfo___lambda__1(lean_object*); lean_object* l_Std_RBNode_find___at_Lean_Parser_indexed___spec__2___rarg(lean_object*, lean_object*); lean_object* l_Lean_Parser_mkAntiquot___closed__2; lean_object* l_Lean_Parser_withResultOfInfo(lean_object*); lean_object* l_Lean_Parser_withAntiquotSuffixSpliceFn(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6929__match__1(lean_object*); lean_object* l_Lean_Parser_categoryParserOfStack___elambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Array_qpartition_loop___at_Lean_Parser_Error_toString___spec__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_identFn(lean_object*, lean_object*); @@ -1046,10 +1046,10 @@ lean_object* l_Lean_Parser_antiquotExpr___closed__3; lean_object* l_Lean_Parser_charLitNoAntiquot; lean_object* l_Lean_Parser_FirstTokens_merge_match__1(lean_object*); lean_object* l_Lean_mkErrorStringWithPos(lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l_IO_mkRef___at_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207____spec__1(lean_object*, lean_object*); lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_isToken_match__1___rarg(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_unicodeSymbolFnAux(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Syntax_formatStxAux(lean_object*, uint8_t, lean_object*, lean_object*); +lean_object* l_IO_mkRef___at_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209____spec__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_indexed_match__3(lean_object*); lean_object* l_Lean_Parser_checkColGtFn___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_dbgTraceStateFn(lean_object*, lean_object*, lean_object*, lean_object*); @@ -8167,19 +8167,21 @@ return x_23; } else { +lean_object* x_24; lean_object* x_25; lean_dec(x_10); lean_dec(x_9); -lean_dec(x_4); -return x_11; +x_24 = l_Lean_nullKind; +x_25 = l_Lean_Parser_ParserState_mkNode(x_11, x_24, x_4); +return x_25; } } else { -lean_object* x_24; lean_object* x_25; +lean_object* x_26; lean_object* x_27; lean_dec(x_10); -x_24 = lean_box(0); -x_25 = l___private_Lean_Parser_Basic_0__Lean_Parser_sepByFnAux_parse___lambda__5(x_2, x_6, x_1, x_3, x_4, x_9, x_11, x_24); -return x_25; +x_26 = lean_box(0); +x_27 = l___private_Lean_Parser_Basic_0__Lean_Parser_sepByFnAux_parse___lambda__5(x_2, x_6, x_1, x_3, x_4, x_9, x_11, x_26); +return x_27; } } } @@ -26869,7 +26871,7 @@ x_1 = 0; return x_1; } } -lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6927__match__1___rarg(uint8_t x_1, uint8_t x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { +lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6929__match__1___rarg(uint8_t x_1, uint8_t x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { _start: { switch (x_1) { @@ -26951,15 +26953,15 @@ return x_24; } } } -lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6927__match__1(lean_object* x_1) { +lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6929__match__1(lean_object* x_1) { _start: { lean_object* x_2; -x_2 = lean_alloc_closure((void*)(l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6927__match__1___rarg___boxed), 6, 0); +x_2 = lean_alloc_closure((void*)(l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6929__match__1___rarg___boxed), 6, 0); return x_2; } } -lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6927__match__1___rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { +lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6929__match__1___rarg___boxed(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: { uint8_t x_7; uint8_t x_8; lean_object* x_9; @@ -26967,11 +26969,11 @@ x_7 = lean_unbox(x_1); lean_dec(x_1); x_8 = lean_unbox(x_2); lean_dec(x_2); -x_9 = l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6927__match__1___rarg(x_7, x_8, x_3, x_4, x_5, x_6); +x_9 = l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6929__match__1___rarg(x_7, x_8, x_3, x_4, x_5, x_6); return x_9; } } -uint8_t l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6927_(uint8_t x_1, uint8_t x_2) { +uint8_t l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6929_(uint8_t x_1, uint8_t x_2) { _start: { switch (x_1) { @@ -27032,7 +27034,7 @@ return x_11; } } } -lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6927____boxed(lean_object* x_1, lean_object* x_2) { +lean_object* l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6929____boxed(lean_object* x_1, lean_object* x_2) { _start: { uint8_t x_3; uint8_t x_4; uint8_t x_5; lean_object* x_6; @@ -27040,7 +27042,7 @@ x_3 = lean_unbox(x_1); lean_dec(x_1); x_4 = lean_unbox(x_2); lean_dec(x_2); -x_5 = l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6927_(x_3, x_4); +x_5 = l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6929_(x_3, x_4); x_6 = lean_box(x_5); return x_6; } @@ -27049,7 +27051,7 @@ static lean_object* _init_l_Lean_Parser_instBEqLeadingIdentBehavior___closed__1( _start: { lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6927____boxed), 2, 0); +x_1 = lean_alloc_closure((void*)(l___private_Lean_Parser_Basic_0__Lean_Parser_beqLeadingIdentBehavior____x40_Lean_Parser_Basic___hyg_6929____boxed), 2, 0); return x_1; } } @@ -28311,7 +28313,7 @@ lean_dec(x_1); return x_6; } } -lean_object* l_IO_mkRef___at_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207____spec__1(lean_object* x_1, lean_object* x_2) { +lean_object* l_IO_mkRef___at_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209____spec__1(lean_object* x_1, lean_object* x_2) { _start: { lean_object* x_3; uint8_t x_4; @@ -28336,7 +28338,7 @@ return x_7; } } } -lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207____lambda__1(lean_object* x_1, lean_object* x_2, lean_object* x_3) { +lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209____lambda__1(lean_object* x_1, lean_object* x_2, lean_object* x_3) { _start: { lean_object* x_4; @@ -28344,34 +28346,34 @@ x_4 = l_Lean_Parser_whitespace(x_2, x_3); return x_4; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207____closed__1() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209____closed__1() { _start: { lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207____lambda__1___boxed), 3, 0); +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209____lambda__1___boxed), 3, 0); return x_1; } } -lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207_(lean_object* x_1) { +lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209_(lean_object* x_1) { _start: { lean_object* x_2; lean_object* x_3; -x_2 = l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207____closed__1; -x_3 = l_IO_mkRef___at_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207____spec__1(x_2, x_1); +x_2 = l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209____closed__1; +x_3 = l_IO_mkRef___at_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209____spec__1(x_2, x_1); return x_3; } } -lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207____lambda__1___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) { +lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209____lambda__1___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) { _start: { lean_object* x_4; -x_4 = l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207____lambda__1(x_1, x_2, x_3); +x_4 = l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209____lambda__1(x_1, x_2, x_3); lean_dec(x_2); lean_dec(x_1); return x_4; } } -lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7225____lambda__1(lean_object* x_1) { +lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7227____lambda__1(lean_object* x_1) { _start: { lean_object* x_2; lean_object* x_3; uint8_t x_4; @@ -28397,19 +28399,19 @@ return x_7; } } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7225____closed__1() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7227____closed__1() { _start: { lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7225____lambda__1), 1, 0); +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7227____lambda__1), 1, 0); return x_1; } } -lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7225_(lean_object* x_1) { +lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7227_(lean_object* x_1) { _start: { lean_object* x_2; lean_object* x_3; -x_2 = l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7225____closed__1; +x_2 = l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7227____closed__1; x_3 = l_Lean_EnvExtensionInterfaceUnsafe_registerExt___rarg(x_2, x_1); return x_3; } @@ -33417,16 +33419,16 @@ l_Lean_Parser_instInhabitedParserCategory___closed__1 = _init_l_Lean_Parser_inst lean_mark_persistent(l_Lean_Parser_instInhabitedParserCategory___closed__1); l_Lean_Parser_instInhabitedParserCategory = _init_l_Lean_Parser_instInhabitedParserCategory(); lean_mark_persistent(l_Lean_Parser_instInhabitedParserCategory); -l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207____closed__1 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207____closed__1(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207____closed__1); -res = l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7207_(lean_io_mk_world()); +l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209____closed__1 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209____closed__1(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209____closed__1); +res = l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7209_(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; l_Lean_Parser_categoryParserFnRef = lean_io_result_get_value(res); lean_mark_persistent(l_Lean_Parser_categoryParserFnRef); lean_dec_ref(res); -l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7225____closed__1 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7225____closed__1(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7225____closed__1); -res = l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7225_(lean_io_mk_world()); +l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7227____closed__1 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7227____closed__1(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7227____closed__1); +res = l_Lean_Parser_initFn____x40_Lean_Parser_Basic___hyg_7227_(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; l_Lean_Parser_categoryParserFnExtension = lean_io_result_get_value(res); lean_mark_persistent(l_Lean_Parser_categoryParserFnExtension); diff --git a/stage0/stdlib/Lean/Syntax.c b/stage0/stdlib/Lean/Syntax.c index e945d89976..8204ab8226 100644 --- a/stage0/stdlib/Lean/Syntax.c +++ b/stage0/stdlib/Lean/Syntax.c @@ -181,7 +181,6 @@ lean_object* l_Lean_Syntax_getAtomVal_x21_match__1(lean_object*); lean_object* l_Lean_Syntax_antiquotSuffixSplice_x3f___boxed(lean_object*); lean_object* l_Lean_Syntax_instForInTopDownSyntax_loop___at_Lean_Syntax_reprint___spec__2___lambda__1(lean_object*, lean_object*); lean_object* l_Lean_Syntax_mkAntiquotNode___closed__5; -lean_object* l_Lean_Syntax_isMissing___boxed(lean_object*); lean_object* l_Lean_Syntax_antiquotSpliceKind_x3f___boxed(lean_object*); lean_object* l_Lean_Syntax_setAtomVal_match__1(lean_object*); lean_object* l___private_Lean_Syntax_0__Lean_Syntax_updateInfo_match__1___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -190,7 +189,6 @@ lean_object* l_Lean_Syntax_MonadTraverser_setCur(lean_object*); lean_object* l_Lean_Syntax_MonadTraverser_goLeft___rarg___closed__1; lean_object* l_Lean_SyntaxNode_modifyArgs(lean_object*, lean_object*); lean_object* l_Lean_SyntaxNode_getArgs___boxed(lean_object*); -lean_object* l_Lean_Syntax_isMissing_match__1(lean_object*); lean_object* l___private_Init_Util_0__mkPanicMessageWithDecl(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Syntax_isQuot_match__1(lean_object*); lean_object* l_Array_back___at_Lean_Syntax_Traverser_up___spec__1___boxed(lean_object*); @@ -219,9 +217,7 @@ lean_object* l_Lean_Syntax_Traverser_fromSyntax(lean_object*); lean_object* l_Lean_unreachIsNodeAtom(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Syntax_mkAntiquotNode___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Syntax_replaceM_match__2___rarg(lean_object*, lean_object*, lean_object*); -lean_object* l_Lean_Syntax_isMissing_match__1___rarg(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Syntax_mkAntiquotNode___closed__1; -uint8_t l_Lean_Syntax_isMissing(lean_object*); lean_object* l_Lean_Syntax_replaceM___at_Lean_Syntax_updateLeading___spec__1(lean_object*, lean_object*); lean_object* l_Lean_Syntax_getQuotContent(lean_object*); lean_object* l_Lean_SyntaxNode_getNumArgs(lean_object*); @@ -397,61 +393,6 @@ return x_2; } } } -lean_object* l_Lean_Syntax_isMissing_match__1___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) { -_start: -{ -if (lean_obj_tag(x_1) == 0) -{ -lean_object* x_4; lean_object* x_5; -lean_dec(x_3); -x_4 = lean_box(0); -x_5 = lean_apply_1(x_2, x_4); -return x_5; -} -else -{ -lean_object* x_6; -lean_dec(x_2); -x_6 = lean_apply_1(x_3, x_1); -return x_6; -} -} -} -lean_object* l_Lean_Syntax_isMissing_match__1(lean_object* x_1) { -_start: -{ -lean_object* x_2; -x_2 = lean_alloc_closure((void*)(l_Lean_Syntax_isMissing_match__1___rarg), 3, 0); -return x_2; -} -} -uint8_t l_Lean_Syntax_isMissing(lean_object* x_1) { -_start: -{ -if (lean_obj_tag(x_1) == 0) -{ -uint8_t x_2; -x_2 = 1; -return x_2; -} -else -{ -uint8_t x_3; -x_3 = 0; -return x_3; -} -} -} -lean_object* l_Lean_Syntax_isMissing___boxed(lean_object* x_1) { -_start: -{ -uint8_t x_2; lean_object* x_3; -x_2 = l_Lean_Syntax_isMissing(x_1); -lean_dec(x_1); -x_3 = lean_box(x_2); -return x_3; -} -} lean_object* l_Lean_unreachIsNodeMissing(lean_object* x_1, lean_object* x_2) { _start: { @@ -816,7 +757,7 @@ _start: lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; x_1 = l_Lean_Syntax_getAtomVal_x21___closed__1; x_2 = l_Lean_Syntax_getAtomVal_x21___closed__2; -x_3 = lean_unsigned_to_nat(68u); +x_3 = lean_unsigned_to_nat(64u); x_4 = lean_unsigned_to_nat(18u); x_5 = l_Lean_Syntax_getAtomVal_x21___closed__3; x_6 = l___private_Init_Util_0__mkPanicMessageWithDecl(x_1, x_2, x_3, x_4, x_5);