From 38fc8a520df2d2c8a6a799bdceec1446d5f4d530 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 11 Nov 2020 10:59:47 -0800 Subject: [PATCH] chore: update stage0 --- stage0/src/Lean/Parser/Term.lean | 1 - stage0/stdlib/Lean/Parser/Command.c | 8 +- stage0/stdlib/Lean/Parser/Do.c | 1111 ++++++++++++++++----------- stage0/stdlib/Lean/Parser/Syntax.c | 10 +- stage0/stdlib/Lean/Parser/Term.c | 1108 +++----------------------- 5 files changed, 765 insertions(+), 1473 deletions(-) diff --git a/stage0/src/Lean/Parser/Term.lean b/stage0/src/Lean/Parser/Term.lean index 58556c108a..5793157b57 100644 --- a/stage0/src/Lean/Parser/Term.lean +++ b/stage0/src/Lean/Parser/Term.lean @@ -74,7 +74,6 @@ def parenSpecial : Parser := optional (tupleTail <|> typeAscription) @[builtinTermParser] def paren := parser! "(" >> ppDedent (withoutPosition (withoutForbidden (optional (termParser >> parenSpecial)))) >> ")" @[builtinTermParser] def anonymousCtor := parser! "⟨" >> sepBy termParser ", " >> "⟩" def optIdent : Parser := optional («try» (ident >> " : ")) -@[builtinTermParser] def «if» := parser!:leadPrec "if " >> optIdent >> termParser >> " then " >> termParser >> " else " >> termParser def fromTerm := parser! " from " >> termParser def haveAssign := parser! " := " >> termParser def haveDecl := optIdent >> termParser >> (haveAssign <|> fromTerm <|> byTactic) diff --git a/stage0/stdlib/Lean/Parser/Command.c b/stage0/stdlib/Lean/Parser/Command.c index 446da724ce..62f6ab0183 100644 --- a/stage0/stdlib/Lean/Parser/Command.c +++ b/stage0/stdlib/Lean/Parser/Command.c @@ -315,6 +315,7 @@ lean_object* l_Lean_Parser_Command_structure_formatter___closed__17; lean_object* l_Lean_Parser_Command_partial_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Command_export___elambda__1___closed__5; lean_object* l_Lean_Parser_Command_print___elambda__1___closed__6; +extern lean_object* l_Lean_Parser_Term_doIf_parenthesizer___closed__4; lean_object* l_Lean_Parser_Command_declVal___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Command_unsafe___elambda__1___closed__4; lean_object* l_Lean_Parser_Command_in___closed__5; @@ -1114,7 +1115,6 @@ lean_object* l_Lean_Parser_Command_structure_parenthesizer___closed__5; lean_object* l_Lean_Parser_Command_openRenaming___elambda__1___closed__8; lean_object* l___regBuiltin_Lean_Parser_Command_init__quot_formatter(lean_object*); lean_object* l_Lean_Parser_Command_unsafe___closed__5; -extern lean_object* l_Lean_Parser_Term_doIf_parenthesizer___closed__2; lean_object* l_Lean_Parser_Command_mutual___closed__9; lean_object* l_Lean_Parser_Command_structure_parenthesizer___closed__14; lean_object* l_Lean_Parser_Command_classInductive___closed__3; @@ -1872,7 +1872,6 @@ lean_object* l_Lean_Parser_Command_print_parenthesizer___closed__5; lean_object* l_Lean_Parser_Command_openRenaming_parenthesizer___closed__1; lean_object* l_Lean_Parser_Command_structure_parenthesizer___closed__16; lean_object* l_Lean_Parser_Command_declId___closed__7; -extern lean_object* l_Lean_Parser_Term_doIf_formatter___closed__2; lean_object* l___regBuiltin_Lean_Parser_Command_section_formatter(lean_object*); lean_object* l_Lean_Parser_Command_openOnly___elambda__1___closed__3; lean_object* l_Lean_Parser_Command_check__failure___elambda__1___closed__8; @@ -1909,6 +1908,7 @@ lean_object* l_Lean_Parser_Command_axiom___elambda__1(lean_object*, lean_object* lean_object* l_Lean_Parser_Command_structExplicitBinder_formatter___closed__10; lean_object* l_Lean_Parser_Command_set__option_parenthesizer___closed__7; lean_object* l_Lean_Parser_Command_openRenaming___closed__8; +extern lean_object* l_Lean_Parser_Term_doIf_formatter___closed__4; lean_object* l_Lean_Parser_Command_declaration_parenthesizer___closed__2; lean_object* l_Lean_Parser_Command_docComment_formatter___closed__7; lean_object* l_Lean_Parser_Command_classInductive_formatter___closed__2; @@ -28392,7 +28392,7 @@ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Command_initialize_formatter___closed__6; -x_2 = l_Lean_Parser_Term_doIf_formatter___closed__2; +x_2 = l_Lean_Parser_Term_doIf_formatter___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -28528,7 +28528,7 @@ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Command_initialize_parenthesizer___closed__6; -x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__2; +x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); diff --git a/stage0/stdlib/Lean/Parser/Do.c b/stage0/stdlib/Lean/Parser/Do.c index 4e68dabeb9..cecfd84495 100644 --- a/stage0/stdlib/Lean/Parser/Do.c +++ b/stage0/stdlib/Lean/Parser/Do.c @@ -130,7 +130,6 @@ lean_object* l___regBuiltinParser_Lean_Parser_Term_liftMethod(lean_object*); lean_object* l_Lean_Parser_Term_doFinally___elambda__1___closed__10; extern lean_object* l_Lean_Parser_Term_have___closed__2; lean_object* l_Lean_Parser_Term_doContinue_formatter___closed__2; -extern lean_object* l_Lean_Parser_Term_if_formatter___closed__3; lean_object* l_Lean_Parser_Term_do___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doUnless___closed__1; lean_object* l_Lean_Parser_Term_doMatchAlts___elambda__1___closed__5; @@ -215,7 +214,6 @@ lean_object* l_Lean_Parser_Term_doFor___closed__9; lean_object* l_Lean_Parser_Term_doAssert_formatter___closed__2; lean_object* l_Lean_Parser_Term_doTry_formatter___closed__9; lean_object* l_Lean_Parser_Term_termUnless___closed__3; -extern lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_doIf___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_doBreak___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doReassign___elambda__1___closed__7; @@ -297,13 +295,13 @@ lean_object* l___regBuiltin_Lean_Parser_Term_doLetRec_formatter___closed__1; lean_object* l_Lean_Parser_Term_doHave___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_doReturn___closed__8; lean_object* l_Lean_Parser_addBuiltinParser(lean_object*, lean_object*, uint8_t, lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Parser_Term_doIf___closed__23; lean_object* l_Lean_Parser_Term_doLet_formatter___closed__5; extern lean_object* l___kind_term____x40_Init_Notation___hyg_3____closed__14; lean_object* l_Lean_Parser_Term_doSeqBracketed___closed__5; lean_object* l_Lean_Parser_Term_doReturn___closed__9; lean_object* lean_array_get_size(lean_object*); lean_object* l_Lean_Parser_Term_doMatchAlt___elambda__1___closed__1; -extern lean_object* l_Lean_Parser_Term_if___elambda__1___closed__10; lean_object* l_Lean_Parser_Term_doPatDecl___closed__7; lean_object* l_Lean_Parser_Term_doPatDecl_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); extern lean_object* l_Lean_Parser_Term_subtype_formatter___closed__6; @@ -315,6 +313,7 @@ lean_object* l___regBuiltin_Lean_Parser_Term_doNested_formatter(lean_object*); lean_object* l_Lean_Parser_Term_leftArrow_parenthesizer___boxed(lean_object*); lean_object* lean_string_append(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doIdDecl_formatter___closed__1; +lean_object* l_Lean_Parser_Term_doIf_parenthesizer___closed__22; lean_object* l_Lean_Parser_Term_doIf___closed__13; lean_object* l_Lean_Parser_Term_doReassign___closed__1; lean_object* l_Lean_Parser_Term_termUnless___elambda__1___closed__4; @@ -342,6 +341,7 @@ lean_object* l_Lean_Parser_Term_termFor_formatter___closed__1; lean_object* l_Lean_Parser_Term_doElem_quot; lean_object* l_Lean_Parser_Term_doCatchMatch_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_doUnless_parenthesizer___closed__5; +lean_object* l_Lean_Parser_Term_elseIf___closed__7; lean_object* l_Lean_Parser_Term_doMatch_formatter___closed__1; lean_object* l_Lean_Parser_Term_doTry_parenthesizer___closed__5; lean_object* l_Lean_Parser_Term_doMatchAlts_parenthesizer___closed__3; @@ -354,6 +354,7 @@ lean_object* l_Lean_Parser_Term_termReturn___closed__5; extern lean_object* l_Lean_Parser_Term_letRecDecls___closed__5; lean_object* l_Lean_Parser_Term_doCatchMatch___elambda__1___closed__7; lean_object* l_Lean_Parser_Term_doReturn___elambda__1___closed__6; +lean_object* l_Lean_Parser_Term_doIf___elambda__1___closed__22; lean_object* l_Lean_Parser_Term_doReassign_formatter___closed__4; lean_object* l_Lean_Parser_Term_doAssert___closed__2; lean_object* l_Lean_Parser_Term_termUnless_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -465,7 +466,6 @@ lean_object* l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___c lean_object* l_Lean_Parser_Term_doFor___closed__2; lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Do___hyg_14____closed__1; lean_object* l_Lean_Parser_Term_doMatchAlt___elambda__1(lean_object*, lean_object*); -extern lean_object* l_Lean_Parser_Term_if___closed__3; lean_object* l_Lean_Parser_Term_doBreak___elambda__1___closed__6; extern lean_object* l_Lean_PrettyPrinter_parenthesizerAttribute; lean_object* l_Lean_Parser_Term_liftMethod_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -564,7 +564,6 @@ lean_object* l_Lean_Parser_Term_doReturn___elambda__1___closed__5; extern lean_object* l_Lean_Parser_antiquotNestedExpr___closed__2; lean_object* l___regBuiltin_Lean_Parser_Term_termTry_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_termUnless_formatter___closed__1; -extern lean_object* l_Lean_Parser_Term_if___elambda__1___closed__13; lean_object* l_Lean_Parser_noFirstTokenInfo(lean_object*); lean_object* l_Lean_Parser_Term_doIdDecl_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_termReturn___elambda__1___closed__1; @@ -638,7 +637,6 @@ lean_object* l_Lean_PrettyPrinter_Parenthesizer_sepBy1_parenthesizer(lean_object lean_object* l_Lean_Parser_Term_doUnless_formatter___closed__6; lean_object* l_Lean_Parser_Term_doFinally_formatter___closed__3; lean_object* l_Lean_Parser_Term_doMatch___closed__3; -extern lean_object* l_Lean_Parser_Term_if___elambda__1___closed__6; lean_object* l_Lean_PrettyPrinter_Formatter_toggleInsideQuot_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doIdDecl_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doHave_formatter___closed__1; @@ -716,6 +714,7 @@ lean_object* l___regBuiltin_Lean_Parser_Term_doLetRec_parenthesizer___closed__1; lean_object* l___regBuiltin_Lean_Parser_Term_liftMethod_formatter(lean_object*); lean_object* l_Lean_Parser_Term_doMatch_formatter___closed__4; lean_object* l_Lean_Parser_Term_doMatch_parenthesizer___closed__2; +lean_object* l_Lean_Parser_Term_doIf___elambda__1___closed__20; lean_object* l_Lean_Parser_Term_notFollowedByRedefinedTermToken_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doReturn___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doSeqIndent___elambda__1___closed__2; @@ -750,6 +749,7 @@ lean_object* l_Lean_Parser_many1Indent_formatter(lean_object*, lean_object*, lea lean_object* l_Lean_Parser_Term_doFinally___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_doSeqBracketed_formatter___closed__4; lean_object* l_Lean_Parser_Term_leftArrow___elambda__1___closed__6; +lean_object* l_Lean_Parser_Term_doIf___closed__22; lean_object* l_Lean_Parser_Term_doSeqIndent_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doLetRec___elambda__1___closed__10; lean_object* l_Lean_Parser_Term_termUnless___elambda__1___closed__1; @@ -761,7 +761,6 @@ lean_object* l_Lean_PrettyPrinter_Parenthesizer_checkLineEq_parenthesizer___boxe lean_object* l_Lean_Parser_Term_doMatch_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_termTry___closed__5; extern lean_object* l_Lean_Parser_Term_haveDecl___closed__5; -extern lean_object* l_Lean_Parser_Term_if___closed__1; lean_object* l_Lean_Parser_Term_doMatch___closed__7; lean_object* l_Lean_Parser_Term_doFinally___closed__4; lean_object* l_Lean_Parser_Term_termFor___closed__3; @@ -776,6 +775,7 @@ extern lean_object* l_Lean_PrettyPrinter_formatterAttribute; lean_object* l_Lean_Parser_Term_doMatchAlts_formatter___closed__2; lean_object* l___regBuiltin_Lean_Parser_Term_doDbgTrace_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doMatch___closed__1; +extern lean_object* l_Lean_Parser_Term_haveDecl_formatter___closed__6; lean_object* l___regBuiltin_Lean_Parser_Term_doHave_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_doPatDecl_formatter___closed__3; lean_object* l_Lean_Parser_Term_doPatDecl___elambda__1___closed__1; @@ -798,6 +798,7 @@ lean_object* l_Lean_Parser_Term_doReassign_formatter___closed__2; lean_object* l_Lean_Parser_Term_doLetRec___closed__5; lean_object* l_Lean_Parser_Term_doBreak___closed__2; lean_object* l_Lean_Parser_Term_doMatchAlts___closed__5; +lean_object* l_Lean_Parser_Term_doIf_formatter___closed__23; lean_object* l_Lean_Parser_registerBuiltinParserAttribute(lean_object*, lean_object*, uint8_t, lean_object*); lean_object* l_Lean_Parser_Term_doAssert_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doIdDecl; @@ -811,6 +812,7 @@ lean_object* l_Lean_Parser_Term_liftMethod___closed__1; lean_object* l_Lean_Parser_Term_doPatDecl___closed__5; lean_object* l_Lean_Parser_Term_doLetArrow___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doCatchMatch___closed__1; +lean_object* l_Lean_Parser_Term_doIf___elambda__1___closed__25; lean_object* l___regBuiltin_Lean_Parser_Term_termFor_formatter(lean_object*); lean_object* l_Lean_Parser_Term_doIf_formatter___closed__13; lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -917,20 +919,17 @@ lean_object* l_Lean_Parser_Term_doUnless___elambda__1___closed__15; lean_object* l_Lean_Parser_Term_doHave___closed__2; extern lean_object* l_Lean_Parser_Term_letrec___closed__4; lean_object* l___regBuiltin_Lean_Parser_Term_termReturn_parenthesizer___closed__1; -extern lean_object* l_Lean_Parser_Term_if___closed__2; lean_object* l_Lean_Parser_Term_doIdDecl_formatter___closed__7; lean_object* l_Lean_Parser_Term_doPatDecl_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doLetArrow_formatter___closed__5; lean_object* l_Lean_Parser_Term_doReturn___elambda__1___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doFinally___elambda__1___closed__2; -extern lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__9; lean_object* l_Lean_Parser_Term_doFor_parenthesizer___closed__2; lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Do___hyg_4____closed__2; lean_object* l_Lean_Parser_Term_doTry___closed__7; lean_object* l_Lean_Parser_Term_liftMethod___elambda__1___closed__8; extern lean_object* l_Lean_Parser_antiquotNestedExpr_formatter___closed__2; -extern lean_object* l_Lean_Parser_Term_if___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_leftArrow___elambda__1___closed__2; extern lean_object* l___kind_tactic____x40_Init_Tactics___hyg_461____closed__2; lean_object* l_Lean_PrettyPrinter_Formatter_many1_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -946,7 +945,6 @@ lean_object* l_Lean_Parser_Term_doReturn; lean_object* l_Lean_Parser_Term_doUnless_formatter___closed__3; lean_object* l_Lean_Parser_Term_elseIf___closed__1; lean_object* l_Lean_Parser_Term_doFor___elambda__1___closed__7; -extern lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__4; lean_object* l_Lean_Parser_mkAntiquot_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doLetRec___closed__4; lean_object* l_Lean_Parser_Term_doPatDecl_parenthesizer___closed__5; @@ -967,6 +965,7 @@ lean_object* l_Lean_Parser_checkColGeFn(lean_object*, lean_object*, lean_object* lean_object* l___regBuiltin_Lean_Parser_Term_doDbgTrace_formatter(lean_object*); lean_object* l_Lean_Parser_Term_doTry_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Do___hyg_4____closed__1; +lean_object* l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__41; lean_object* l_Lean_Parser_Term_doFinally___elambda__1___closed__9; extern lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___closed__1; lean_object* l_Lean_Parser_Term_doHave___closed__1; @@ -998,7 +997,6 @@ lean_object* l_Lean_Parser_Term_leftArrow; lean_object* l_Lean_Parser_Term_doTry_parenthesizer___closed__8; lean_object* l_Lean_Parser_Term_doAssert___closed__5; extern lean_object* l_Lean_Parser_Term_matchAlt_parenthesizer___closed__1; -extern lean_object* l_Lean_Parser_Term_if___elambda__1___closed__9; lean_object* l_Lean_Parser_Term_doReassignArrow___closed__1; lean_object* l___regBuiltin_Lean_Parser_Term_doReassign_parenthesizer(lean_object*); extern lean_object* l_Lean_Parser_Term_match_formatter___closed__2; @@ -1116,6 +1114,7 @@ lean_object* l_Lean_Parser_Term_doIf_parenthesizer(lean_object*, lean_object*, l lean_object* l_Lean_Parser_Term_doNested___elambda__1___closed__6; lean_object* l_Lean_Parser_Term_leftArrow___elambda__1___closed__7; lean_object* l_Lean_Parser_Term_doUnless___elambda__1___closed__9; +lean_object* l_Lean_Parser_Term_elseIf___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_termTry_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doPatDecl_parenthesizer___closed__8; lean_object* l_Lean_Parser_Term_doTry_parenthesizer___closed__1; @@ -1139,6 +1138,7 @@ lean_object* l_Lean_Parser_Term_doPatDecl_parenthesizer___closed__9; lean_object* l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__26; lean_object* l_Lean_Parser_Term_doReassignArrow_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doMatch___closed__6; +lean_object* l_Lean_Parser_Term_elseIf_formatter___closed__6; lean_object* l_Lean_Parser_Term_doBreak_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doIf_parenthesizer___closed__15; lean_object* l_Lean_Parser_Term_doCatch_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -1210,10 +1210,10 @@ lean_object* l_Lean_Parser_Term_do_parenthesizer(lean_object*, lean_object*, lea lean_object* l_Lean_Parser_Term_elseIf___closed__5; lean_object* l_Lean_Parser_Term_doCatch___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doMatchAlt_parenthesizer___closed__1; -extern lean_object* l_Lean_Parser_Term_if_formatter___closed__4; lean_object* l_String_trim(lean_object*); lean_object* l_Lean_Parser_Term_doSeq_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doSeqIndent___elambda__1___closed__7; +extern lean_object* l_Lean_Parser_Term_haveDecl_parenthesizer___closed__6; lean_object* l_Lean_Parser_Term_doPatDecl_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__4; extern lean_object* l___kind_tactic____x40_Init_Tactics___hyg_994____closed__2; @@ -1248,7 +1248,6 @@ lean_object* l_Lean_Parser_Term_doHave___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doHave___closed__5; lean_object* l_Lean_Parser_Term_liftMethod_formatter___closed__4; lean_object* l_Lean_Parser_Term_doFor_formatter___closed__4; -extern lean_object* l_Lean_Parser_Term_if_formatter___closed__9; lean_object* l_Lean_Parser_Term_liftMethod___elambda__1___closed__7; lean_object* l_Lean_Parser_Term_doIf___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_doContinue___elambda__1___closed__3; @@ -1289,7 +1288,6 @@ extern lean_object* l_Lean_Parser_Term_have_formatter___closed__4; lean_object* l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__30; lean_object* l_Lean_Parser_Term_doMatchAlt_formatter___closed__3; lean_object* l_Lean_Parser_Term_elseIf___elambda__1___lambda__1___closed__1; -extern lean_object* l_Lean_Parser_Term_if_formatter___closed__2; lean_object* l_Lean_Parser_Term_doNested___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doUnless___elambda__1___lambda__1(lean_object*, lean_object*, lean_object*); extern lean_object* l_Lean_Parser_Term_letIdDecl___closed__4; @@ -1354,10 +1352,8 @@ lean_object* l_Lean_Parser_Term_doNested_parenthesizer(lean_object*, lean_object lean_object* l_Lean_Parser_Term_doLetArrow___closed__4; lean_object* l_Lean_Parser_Term_doMatch___elambda__1___closed__7; lean_object* l_Lean_Parser_Term_doFinally___closed__1; -extern lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doIf___elambda__1___closed__13; lean_object* l_Lean_Parser_Term_doHave; -extern lean_object* l_Lean_Parser_Term_if___elambda__1___closed__12; lean_object* l_Lean_Parser_Term_doMatchAlt___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doIdDecl___closed__6; lean_object* l___regBuiltin_Lean_Parser_Term_doLetArrow_formatter(lean_object*); @@ -1384,6 +1380,7 @@ lean_object* l_Lean_Parser_unicodeSymbolInfo(lean_object*, lean_object*); extern lean_object* l_Lean_Parser_Term_tupleTail___elambda__1___closed__7; lean_object* l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doIdDecl___closed__2; +lean_object* l_Lean_Parser_Term_doIf_parenthesizer___closed__23; lean_object* l_Lean_Parser_Term_doMatchAlt___elambda__1___closed__8; lean_object* l_Lean_Parser_Term_doSeqBracketed_formatter___closed__6; lean_object* l_Lean_Parser_Term_doPatDecl___closed__1; @@ -1399,7 +1396,9 @@ lean_object* l_Lean_Parser_Term_doLetArrow_formatter___closed__1; lean_object* l_Lean_PrettyPrinter_Parenthesizer_many1_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doContinue___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_termTry_formatter___closed__2; +lean_object* l_Lean_Parser_Term_doIf___elambda__1___closed__23; lean_object* l_Lean_Parser_Term_doIf_parenthesizer___closed__6; +lean_object* l_Lean_Parser_Term_doIf___elambda__1___closed__21; lean_object* l_Lean_Parser_Term_notFollowedByRedefinedTermToken___closed__2; lean_object* l_Lean_Parser_Term_doBreak___closed__5; lean_object* l_Lean_Parser_Term_doCatch; @@ -1430,6 +1429,7 @@ lean_object* l___regBuiltin_Lean_Parser_Term_doContinue_parenthesizer(lean_objec lean_object* l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_do___closed__5; lean_object* l_Lean_Parser_Term_doCatchMatch___elambda__1___closed__3; +lean_object* l_Lean_Parser_Term_doIf___elambda__1___closed__24; lean_object* l_Lean_Parser_Term_doIf_parenthesizer___closed__10; lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_doLetArrow_formatter___closed__2; @@ -1466,6 +1466,7 @@ extern lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__10; lean_object* l___regBuiltin_Lean_Parser_Term_doContinue_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doCatchMatch_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doUnless___elambda__1(lean_object*, lean_object*); +lean_object* l_Lean_Parser_Term_doIf_formatter___closed__22; lean_object* l_Lean_Parser_Term_doDbgTrace___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_liftMethod_formatter___closed__2; lean_object* l_Lean_Parser_Term_doSeqBracketed; @@ -1516,9 +1517,11 @@ lean_object* l_Lean_Parser_Term_doLetRec___closed__2; lean_object* l___regBuiltinParser_Lean_Parser_Term_doLet(lean_object*); lean_object* l_Lean_Parser_Term_do_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doLetRec___elambda__1___closed__2; +lean_object* l_Lean_Parser_Term_elseIf_parenthesizer___closed__6; lean_object* l_Lean_PrettyPrinter_Formatter_andthen_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doIf_formatter___closed__18; lean_object* l_Lean_Parser_Term_doIf___elambda__1___closed__1; +lean_object* l_Lean_Parser_Term_elseIf___elambda__1___closed__6; lean_object* l_Lean_Parser_Term_doCatch___elambda__1___closed__8; lean_object* l_Lean_Parser_Term_doLetRec___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doExpr___closed__5; @@ -2982,10 +2985,9 @@ return x_1; static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__1() { _start: { -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__1; -x_2 = l_String_trim(x_1); -return x_2; +lean_object* x_1; +x_1 = lean_mk_string("if"); +return x_1; } } static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__2() { @@ -2993,12 +2995,21 @@ _start: { lean_object* x_1; lean_object* x_2; x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__1; +x_2 = l_String_trim(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__2; x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); lean_closure_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__3() { +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__4() { _start: { lean_object* x_1; lean_object* x_2; @@ -3007,17 +3018,17 @@ x_2 = l_String_trim(x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__4() { +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__5() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__3; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__4; x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); lean_closure_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__5() { +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__6() { _start: { lean_object* x_1; lean_object* x_2; @@ -3026,17 +3037,17 @@ x_2 = l_String_trim(x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__6() { +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__7() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__5; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__6; x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); lean_closure_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__7() { +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__8() { _start: { lean_object* x_1; lean_object* x_2; @@ -3045,17 +3056,17 @@ x_2 = l_String_trim(x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__8() { +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__9() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__7; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__8; x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); lean_closure_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__9() { +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__10() { _start: { lean_object* x_1; @@ -3063,26 +3074,26 @@ x_1 = lean_mk_string("do"); return x_1; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__10() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__9; -x_2 = l_String_trim(x_1); -return x_2; -} -} static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__11() { _start: { lean_object* x_1; lean_object* x_2; x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__10; +x_2 = l_String_trim(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__12() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__11; x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); lean_closure_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__12() { +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__13() { _start: { lean_object* x_1; @@ -3090,26 +3101,26 @@ x_1 = lean_mk_string("dbgTrace!"); return x_1; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__13() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__12; -x_2 = l_String_trim(x_1); -return x_2; -} -} static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__14() { _start: { lean_object* x_1; lean_object* x_2; x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__13; +x_2 = l_String_trim(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__15() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__14; x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); lean_closure_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__15() { +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__16() { _start: { lean_object* x_1; @@ -3117,26 +3128,26 @@ x_1 = lean_mk_string("assert!"); return x_1; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__16() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__15; -x_2 = l_String_trim(x_1); -return x_2; -} -} static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__17() { _start: { lean_object* x_1; lean_object* x_2; x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__16; +x_2 = l_String_trim(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__18() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__17; x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); lean_closure_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__18() { +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__19() { _start: { lean_object* x_1; @@ -3144,26 +3155,26 @@ x_1 = lean_mk_string("for"); return x_1; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__19() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__18; -x_2 = l_String_trim(x_1); -return x_2; -} -} static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__20() { _start: { lean_object* x_1; lean_object* x_2; x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__19; +x_2 = l_String_trim(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__21() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__20; x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); lean_closure_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__21() { +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__22() { _start: { lean_object* x_1; @@ -3171,26 +3182,26 @@ x_1 = lean_mk_string("unless"); return x_1; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__22() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__21; -x_2 = l_String_trim(x_1); -return x_2; -} -} static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__23() { _start: { lean_object* x_1; lean_object* x_2; x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__22; +x_2 = l_String_trim(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__24() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__23; x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); lean_closure_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__24() { +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__25() { _start: { lean_object* x_1; @@ -3198,26 +3209,26 @@ x_1 = lean_mk_string("return"); return x_1; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__25() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__24; -x_2 = l_String_trim(x_1); -return x_2; -} -} static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__26() { _start: { lean_object* x_1; lean_object* x_2; x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__25; +x_2 = l_String_trim(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__27() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__26; x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); lean_closure_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__27() { +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__28() { _start: { lean_object* x_1; @@ -3225,42 +3236,30 @@ x_1 = lean_mk_string("try"); return x_1; } } -static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__28() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__27; -x_2 = l_String_trim(x_1); -return x_2; -} -} static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__29() { _start: { lean_object* x_1; lean_object* x_2; x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__28; -x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); -lean_closure_set(x_2, 0, x_1); +x_2 = l_String_trim(x_1); return x_2; } } static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__30() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__26; -x_2 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__29; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__29; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__31() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__23; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__27; x_2 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__30; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); lean_closure_set(x_3, 0, x_1); @@ -3272,7 +3271,7 @@ static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___e _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__20; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__24; x_2 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__31; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); lean_closure_set(x_3, 0, x_1); @@ -3284,7 +3283,7 @@ static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___e _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__17; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__21; x_2 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__32; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); lean_closure_set(x_3, 0, x_1); @@ -3296,7 +3295,7 @@ static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___e _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__14; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__18; x_2 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__33; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); lean_closure_set(x_3, 0, x_1); @@ -3308,7 +3307,7 @@ static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___e _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__11; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__15; x_2 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__34; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); lean_closure_set(x_3, 0, x_1); @@ -3320,7 +3319,7 @@ static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___e _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__8; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__12; x_2 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__35; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); lean_closure_set(x_3, 0, x_1); @@ -3332,7 +3331,7 @@ static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___e _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__6; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__9; x_2 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__36; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); lean_closure_set(x_3, 0, x_1); @@ -3344,7 +3343,7 @@ static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___e _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__4; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__7; x_2 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__37; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); lean_closure_set(x_3, 0, x_1); @@ -3356,7 +3355,7 @@ static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___e _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__2; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__5; x_2 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__38; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); lean_closure_set(x_3, 0, x_1); @@ -3367,6 +3366,18 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__40() { _start: { +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__3; +x_2 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__39; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__41() { +_start: +{ lean_object* x_1; x_1 = lean_mk_string("token at 'do' element"); return x_1; @@ -3376,8 +3387,8 @@ lean_object* l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1(lea _start: { lean_object* x_3; lean_object* x_4; lean_object* x_5; -x_3 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__39; -x_4 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__40; +x_3 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__40; +x_4 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__41; x_5 = l_Lean_Parser_notFollowedByFn(x_3, x_4, x_1, x_2); return x_5; } @@ -6905,7 +6916,7 @@ static lean_object* _init_l_Lean_Parser_Term_elseIf___elambda__1___closed__1() { _start: { lean_object* x_1; -x_1 = lean_mk_string(" if "); +x_1 = lean_mk_string(" else "); return x_1; } } @@ -6921,21 +6932,38 @@ return x_2; static lean_object* _init_l_Lean_Parser_Term_elseIf___elambda__1___closed__3() { _start: { +lean_object* x_1; +x_1 = lean_mk_string(" if "); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_elseIf___elambda__1___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_elseIf___elambda__1___closed__3; +x_2 = l_String_trim(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_elseIf___elambda__1___closed__5() { +_start: +{ lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__12; -x_2 = l_Lean_Parser_Term_elseIf___elambda__1___closed__2; +x_1 = l_Lean_Parser_Term_elseIf___elambda__1___closed__2; +x_2 = l_Lean_Parser_Term_elseIf___elambda__1___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_Term_elseIf___elambda__1___lambda__1___boxed), 4, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Term_elseIf___elambda__1___closed__4() { +static lean_object* _init_l_Lean_Parser_Term_elseIf___elambda__1___closed__6() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_nullKind; -x_2 = l_Lean_Parser_Term_elseIf___elambda__1___closed__3; +x_2 = l_Lean_Parser_Term_elseIf___elambda__1___closed__5; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_nodeFn), 4, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -6946,7 +6974,7 @@ lean_object* l_Lean_Parser_Term_elseIf___elambda__1(lean_object* x_1, lean_objec _start: { lean_object* x_3; lean_object* x_4; -x_3 = l_Lean_Parser_Term_elseIf___elambda__1___closed__4; +x_3 = l_Lean_Parser_Term_elseIf___elambda__1___closed__6; x_4 = l_Lean_Parser_tryFn(x_3, x_1, x_2); return x_4; } @@ -6963,18 +6991,17 @@ return x_2; static lean_object* _init_l_Lean_Parser_Term_elseIf___closed__2() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Lean_Parser_Basic___instance__8___closed__1; -x_2 = l_Lean_Parser_Term_elseIf___closed__1; -x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_elseIf___elambda__1___closed__4; +x_2 = l_Lean_Parser_symbolInfo(x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Term_elseIf___closed__3() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if___closed__3; +x_1 = l_Lean_Parser_Lean_Parser_Basic___instance__8___closed__1; x_2 = l_Lean_Parser_Term_elseIf___closed__2; x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); return x_3; @@ -6984,26 +7011,36 @@ static lean_object* _init_l_Lean_Parser_Term_elseIf___closed__4() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_nullKind; +x_1 = l_Lean_Parser_Term_elseIf___closed__1; x_2 = l_Lean_Parser_Term_elseIf___closed__3; -x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); +x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); return x_3; } } static lean_object* _init_l_Lean_Parser_Term_elseIf___closed__5() { _start: { +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_nullKind; +x_2 = l_Lean_Parser_Term_elseIf___closed__4; +x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_elseIf___closed__6() { +_start: +{ lean_object* x_1; x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_elseIf___elambda__1), 2, 0); return x_1; } } -static lean_object* _init_l_Lean_Parser_Term_elseIf___closed__6() { +static lean_object* _init_l_Lean_Parser_Term_elseIf___closed__7() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_elseIf___closed__4; -x_2 = l_Lean_Parser_Term_elseIf___closed__5; +x_1 = l_Lean_Parser_Term_elseIf___closed__5; +x_2 = l_Lean_Parser_Term_elseIf___closed__6; x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); lean_ctor_set(x_3, 1, x_2); @@ -7014,7 +7051,7 @@ static lean_object* _init_l_Lean_Parser_Term_elseIf() { _start: { lean_object* x_1; -x_1 = l_Lean_Parser_Term_elseIf___closed__6; +x_1 = l_Lean_Parser_Term_elseIf___closed__7; return x_1; } } @@ -7511,7 +7548,7 @@ static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__5() { _start: { lean_object* x_1; -x_1 = lean_mk_string("'else if' in 'do' must be indented"); +x_1 = lean_mk_string("if "); return x_1; } } @@ -7520,77 +7557,61 @@ _start: { lean_object* x_1; lean_object* x_2; x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__5; -x_2 = lean_alloc_closure((void*)(l_Lean_Parser_checkColGeFn), 3, 1); -lean_closure_set(x_2, 0, x_1); +x_2 = l_String_trim(x_1); return x_2; } } static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__7() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__10; -x_2 = l_Lean_Parser_Term_doSeq___closed__2; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; +x_1 = lean_mk_string(" then "); +return x_1; } } static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__8() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_antiquotNestedExpr___elambda__1___closed__4; -x_2 = l_Lean_Parser_Term_doIf___elambda__1___closed__7; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__7; +x_2 = l_String_trim(x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__9() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_optIdent___closed__3; -x_2 = l_Lean_Parser_Term_doIf___elambda__1___closed__8; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__8; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__10() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_elseIf___closed__5; -x_2 = l_Lean_Parser_Term_doIf___elambda__1___closed__9; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; +x_1 = lean_mk_string("'else if' in 'do' must be indented"); +return x_1; } } static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__11() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_nullKind; -x_2 = l_Lean_Parser_Term_doIf___elambda__1___closed__10; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_nodeFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__10; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_checkColGeFn), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__12() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__6; -x_2 = l_Lean_Parser_Term_doIf___elambda__1___closed__11; +x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__9; +x_2 = l_Lean_Parser_Term_doSeq___closed__2; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -7600,27 +7621,33 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__13() { _start: { -lean_object* x_1; -x_1 = lean_mk_string("'else' in 'do' must be indented"); -return x_1; +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_antiquotNestedExpr___elambda__1___closed__4; +x_2 = l_Lean_Parser_Term_doIf___elambda__1___closed__12; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; } } static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__14() { _start: { -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__13; -x_2 = lean_alloc_closure((void*)(l_Lean_Parser_checkColGeFn), 3, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_optIdent___closed__3; +x_2 = l_Lean_Parser_Term_doIf___elambda__1___closed__13; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; } } static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__15() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__13; -x_2 = l_Lean_Parser_Term_doSeq___closed__2; +x_1 = l_Lean_Parser_Term_elseIf___closed__6; +x_2 = l_Lean_Parser_Term_doIf___elambda__1___closed__14; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -7631,9 +7658,9 @@ static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__16() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__14; +x_1 = l_Lean_nullKind; x_2 = l_Lean_Parser_Term_doIf___elambda__1___closed__15; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_nodeFn), 4, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); return x_3; @@ -7642,12 +7669,76 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__17() { _start: { +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__11; +x_2 = l_Lean_Parser_Term_doIf___elambda__1___closed__16; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__18() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("'else' in 'do' must be indented"); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__19() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__18; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_checkColGeFn), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__20() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_elseIf___elambda__1___closed__2; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__21() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__20; +x_2 = l_Lean_Parser_Term_doSeq___closed__2; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__22() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__19; +x_2 = l_Lean_Parser_Term_doIf___elambda__1___closed__21; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__23() { +_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_Parser_Term_if___elambda__1___closed__6; +x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__6; x_2 = l___kind_term____x40_Init_Notation___hyg_3____closed__14; -x_3 = l_Lean_Parser_Term_if___elambda__1___closed__9; -x_4 = l_Lean_Parser_Term_doIf___elambda__1___closed__12; -x_5 = l_Lean_Parser_Term_doIf___elambda__1___closed__16; +x_3 = l_Lean_Parser_Term_doIf___elambda__1___closed__8; +x_4 = l_Lean_Parser_Term_doIf___elambda__1___closed__17; +x_5 = l_Lean_Parser_Term_doIf___elambda__1___closed__22; x_6 = lean_alloc_closure((void*)(l_Lean_Parser_Term_doIf___elambda__1___lambda__1___boxed), 7, 5); lean_closure_set(x_6, 0, x_1); lean_closure_set(x_6, 1, x_2); @@ -7657,24 +7748,24 @@ lean_closure_set(x_6, 4, x_5); return x_6; } } -static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__18() { +static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__24() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__2; -x_2 = l_Lean_Parser_Term_doIf___elambda__1___closed__17; +x_2 = l_Lean_Parser_Term_doIf___elambda__1___closed__23; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_nodeFn), 4, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__19() { +static lean_object* _init_l_Lean_Parser_Term_doIf___elambda__1___closed__25() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Level_paren___elambda__1___closed__8; -x_2 = l_Lean_Parser_Term_doIf___elambda__1___closed__18; +x_2 = l_Lean_Parser_Term_doIf___elambda__1___closed__24; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -7688,7 +7779,7 @@ lean_object* x_3; lean_object* x_4; lean_object* x_5; uint8_t x_6; lean_object* x_3 = l_Lean_Parser_Term_doIf___elambda__1___closed__4; x_4 = lean_ctor_get(x_3, 1); lean_inc(x_4); -x_5 = l_Lean_Parser_Term_doIf___elambda__1___closed__19; +x_5 = l_Lean_Parser_Term_doIf___elambda__1___closed__25; x_6 = 1; x_7 = l_Lean_Parser_orelseFnCore(x_4, x_5, x_6, x_1, x_2); return x_7; @@ -7697,36 +7788,30 @@ return x_7; static lean_object* _init_l_Lean_Parser_Term_doIf___closed__1() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_doSeq; -x_2 = lean_ctor_get(x_1, 0); -lean_inc(x_2); -x_3 = l_Lean_Parser_Term_if___closed__2; -x_4 = l_Lean_Parser_andthenInfo(x_3, x_2); -return x_4; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__6; +x_2 = l_Lean_Parser_symbolInfo(x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Term_doIf___closed__2() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_antiquotNestedExpr___closed__2; -x_2 = lean_ctor_get(x_1, 0); -lean_inc(x_2); -x_3 = l_Lean_Parser_Term_doIf___closed__1; -x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); -return x_4; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__8; +x_2 = l_Lean_Parser_symbolInfo(x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Term_doIf___closed__3() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_optIdent; +x_1 = l_Lean_Parser_Term_doSeq; x_2 = lean_ctor_get(x_1, 0); lean_inc(x_2); x_3 = l_Lean_Parser_Term_doIf___closed__2; -x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); +x_4 = l_Lean_Parser_andthenInfo(x_3, x_2); return x_4; } } @@ -7734,7 +7819,7 @@ static lean_object* _init_l_Lean_Parser_Term_doIf___closed__4() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_elseIf; +x_1 = l_Lean_Parser_antiquotNestedExpr___closed__2; x_2 = lean_ctor_get(x_1, 0); lean_inc(x_2); x_3 = l_Lean_Parser_Term_doIf___closed__3; @@ -7745,68 +7830,73 @@ return x_4; static lean_object* _init_l_Lean_Parser_Term_doIf___closed__5() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_nullKind; -x_2 = l_Lean_Parser_Term_doIf___closed__4; -x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Term_optIdent; +x_2 = lean_ctor_get(x_1, 0); +lean_inc(x_2); +x_3 = l_Lean_Parser_Term_doIf___closed__4; +x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); +return x_4; } } static lean_object* _init_l_Lean_Parser_Term_doIf___closed__6() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Lean_Parser_Basic___instance__8___closed__1; -x_2 = l_Lean_Parser_Term_doIf___closed__5; -x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Term_elseIf; +x_2 = lean_ctor_get(x_1, 0); +lean_inc(x_2); +x_3 = l_Lean_Parser_Term_doIf___closed__5; +x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); +return x_4; } } static lean_object* _init_l_Lean_Parser_Term_doIf___closed__7() { _start: { +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_nullKind; +x_2 = l_Lean_Parser_Term_doIf___closed__6; +x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_doIf___closed__8() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Lean_Parser_Basic___instance__8___closed__1; +x_2 = l_Lean_Parser_Term_doIf___closed__7; +x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_doIf___closed__9() { +_start: +{ lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_doIf___closed__6; +x_1 = l_Lean_Parser_Term_doIf___closed__8; x_2 = l_Lean_Parser_noFirstTokenInfo(x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Term_doIf___closed__8() { +static lean_object* _init_l_Lean_Parser_Term_doIf___closed__10() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; x_1 = l_Lean_Parser_Term_doSeq; x_2 = lean_ctor_get(x_1, 0); lean_inc(x_2); -x_3 = l_Lean_Parser_Term_if___closed__3; +x_3 = l_Lean_Parser_Term_elseIf___closed__1; x_4 = l_Lean_Parser_andthenInfo(x_3, x_2); return x_4; } } -static lean_object* _init_l_Lean_Parser_Term_doIf___closed__9() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Lean_Parser_Basic___instance__8___closed__1; -x_2 = l_Lean_Parser_Term_doIf___closed__8; -x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_doIf___closed__10() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_doIf___closed__9; -x_2 = l_Lean_Parser_optionaInfo(x_1); -return x_2; -} -} static lean_object* _init_l_Lean_Parser_Term_doIf___closed__11() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doIf___closed__7; +x_1 = l_Lean_Parser_Lean_Parser_Basic___instance__8___closed__1; x_2 = l_Lean_Parser_Term_doIf___closed__10; x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); return x_3; @@ -7815,20 +7905,17 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_doIf___closed__12() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_doSeq; -x_2 = lean_ctor_get(x_1, 0); -lean_inc(x_2); -x_3 = l_Lean_Parser_Term_doIf___closed__11; -x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); -return x_4; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf___closed__11; +x_2 = l_Lean_Parser_optionaInfo(x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Term_doIf___closed__13() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if___closed__2; +x_1 = l_Lean_Parser_Term_doIf___closed__9; x_2 = l_Lean_Parser_Term_doIf___closed__12; x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); return x_3; @@ -7838,7 +7925,7 @@ static lean_object* _init_l_Lean_Parser_Term_doIf___closed__14() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_antiquotNestedExpr___closed__2; +x_1 = l_Lean_Parser_Term_doSeq; x_2 = lean_ctor_get(x_1, 0); lean_inc(x_2); x_3 = l_Lean_Parser_Term_doIf___closed__13; @@ -7849,40 +7936,42 @@ return x_4; static lean_object* _init_l_Lean_Parser_Term_doIf___closed__15() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_optIdent; -x_2 = lean_ctor_get(x_1, 0); -lean_inc(x_2); -x_3 = l_Lean_Parser_Term_doIf___closed__14; -x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); -return x_4; +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_doIf___closed__2; +x_2 = l_Lean_Parser_Term_doIf___closed__14; +x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); +return x_3; } } static lean_object* _init_l_Lean_Parser_Term_doIf___closed__16() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if___closed__1; -x_2 = l_Lean_Parser_Term_doIf___closed__15; -x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_antiquotNestedExpr___closed__2; +x_2 = lean_ctor_get(x_1, 0); +lean_inc(x_2); +x_3 = l_Lean_Parser_Term_doIf___closed__15; +x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); +return x_4; } } static lean_object* _init_l_Lean_Parser_Term_doIf___closed__17() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__2; -x_2 = l_Lean_Parser_Term_doIf___closed__16; -x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Term_optIdent; +x_2 = lean_ctor_get(x_1, 0); +lean_inc(x_2); +x_3 = l_Lean_Parser_Term_doIf___closed__16; +x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); +return x_4; } } static lean_object* _init_l_Lean_Parser_Term_doIf___closed__18() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_epsilonInfo; +x_1 = l_Lean_Parser_Term_doIf___closed__1; x_2 = l_Lean_Parser_Term_doIf___closed__17; x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); return x_3; @@ -7891,16 +7980,36 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_doIf___closed__19() { _start: { +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__2; +x_2 = l_Lean_Parser_Term_doIf___closed__18; +x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_doIf___closed__20() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_epsilonInfo; +x_2 = l_Lean_Parser_Term_doIf___closed__19; +x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_doIf___closed__21() { +_start: +{ lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__4; x_2 = lean_ctor_get(x_1, 0); lean_inc(x_2); -x_3 = l_Lean_Parser_Term_doIf___closed__18; +x_3 = l_Lean_Parser_Term_doIf___closed__20; x_4 = l_Lean_Parser_orelseInfo(x_2, x_3); return x_4; } } -static lean_object* _init_l_Lean_Parser_Term_doIf___closed__20() { +static lean_object* _init_l_Lean_Parser_Term_doIf___closed__22() { _start: { lean_object* x_1; @@ -7908,12 +8017,12 @@ x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_doIf___elambda__1), 2, 0); return x_1; } } -static lean_object* _init_l_Lean_Parser_Term_doIf___closed__21() { +static lean_object* _init_l_Lean_Parser_Term_doIf___closed__23() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doIf___closed__19; -x_2 = l_Lean_Parser_Term_doIf___closed__20; +x_1 = l_Lean_Parser_Term_doIf___closed__21; +x_2 = l_Lean_Parser_Term_doIf___closed__22; x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); lean_ctor_set(x_3, 1, x_2); @@ -7924,7 +8033,7 @@ static lean_object* _init_l_Lean_Parser_Term_doIf() { _start: { lean_object* x_1; -x_1 = l_Lean_Parser_Term_doIf___closed__21; +x_1 = l_Lean_Parser_Term_doIf___closed__23; return x_1; } } @@ -8164,29 +8273,27 @@ return x_2; static lean_object* _init_l_Lean_Parser_Term_elseIf_formatter___closed__2() { _start: { -lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_checkLineEq_formatter___boxed), 4, 0); -return x_1; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_elseIf___elambda__1___closed__3; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_symbol_formatter___boxed), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Term_elseIf_formatter___closed__3() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_elseIf_formatter___closed__2; -x_2 = l_Lean_Parser_Term_elseIf_formatter___closed__1; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_checkLineEq_formatter___boxed), 4, 0); +return x_1; } } static lean_object* _init_l_Lean_Parser_Term_elseIf_formatter___closed__4() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_formatter___closed__4; -x_2 = l_Lean_Parser_Term_elseIf_formatter___closed__3; +x_1 = l_Lean_Parser_Term_elseIf_formatter___closed__3; +x_2 = l_Lean_Parser_Term_elseIf_formatter___closed__2; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -8196,8 +8303,20 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_elseIf_formatter___closed__5() { _start: { +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_elseIf_formatter___closed__1; +x_2 = l_Lean_Parser_Term_elseIf_formatter___closed__4; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_elseIf_formatter___closed__6() { +_start: +{ lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_elseIf_formatter___closed__4; +x_1 = l_Lean_Parser_Term_elseIf_formatter___closed__5; x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_withPosition_formatter), 6, 1); lean_closure_set(x_2, 0, x_1); return x_2; @@ -8208,7 +8327,7 @@ _start: { lean_object* x_6; lean_object* x_7; lean_object* x_8; x_6 = l_Lean_nullKind; -x_7 = l_Lean_Parser_Term_elseIf_formatter___closed__5; +x_7 = l_Lean_Parser_Term_elseIf_formatter___closed__6; x_8 = l_Lean_PrettyPrinter_Formatter_node_formatter(x_6, x_7, x_1, x_2, x_3, x_4, x_5); return x_8; } @@ -8231,40 +8350,36 @@ return x_5; static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__2() { _start: { -lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_doSeq_formatter), 5, 0); -return x_1; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__5; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_symbol_formatter___boxed), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__3() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_formatter___closed__3; -x_2 = l_Lean_Parser_Term_doIf_formatter___closed__2; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__7; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_symbol_formatter___boxed), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__4() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_antiquotNestedExpr_formatter___closed__2; -x_2 = l_Lean_Parser_Term_doIf_formatter___closed__3; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_doSeq_formatter), 5, 0); +return x_1; } } static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__5() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_formatter___closed__9; +x_1 = l_Lean_Parser_Term_doIf_formatter___closed__3; x_2 = l_Lean_Parser_Term_doIf_formatter___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -8275,17 +8390,21 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__6() { _start: { -lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_elseIf_formatter), 5, 0); -return x_1; +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_antiquotNestedExpr_formatter___closed__2; +x_2 = l_Lean_Parser_Term_doIf_formatter___closed__5; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; } } static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__7() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doIf_formatter___closed__6; -x_2 = l_Lean_Parser_Term_doIf_formatter___closed__5; +x_1 = l_Lean_Parser_Term_haveDecl_formatter___closed__6; +x_2 = l_Lean_Parser_Term_doIf_formatter___closed__6; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -8295,19 +8414,17 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__8() { _start: { -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_doIf_formatter___closed__7; -x_2 = lean_alloc_closure((void*)(l_Lean_Parser_group_formatter), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_elseIf_formatter), 5, 0); +return x_1; } } static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__9() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_PrettyPrinter_Formatter_interpretParserDescr___closed__7; -x_2 = l_Lean_Parser_Term_doIf_formatter___closed__8; +x_1 = l_Lean_Parser_Term_doIf_formatter___closed__8; +x_2 = l_Lean_Parser_Term_doIf_formatter___closed__7; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -8319,7 +8436,7 @@ _start: { lean_object* x_1; lean_object* x_2; x_1 = l_Lean_Parser_Term_doIf_formatter___closed__9; -x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_many_formatter), 6, 1); +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_group_formatter), 6, 1); lean_closure_set(x_2, 0, x_1); return x_2; } @@ -8328,8 +8445,8 @@ static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__11() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_formatter___closed__4; -x_2 = l_Lean_Parser_Term_doIf_formatter___closed__2; +x_1 = l_Lean_PrettyPrinter_Formatter_interpretParserDescr___closed__7; +x_2 = l_Lean_Parser_Term_doIf_formatter___closed__10; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -8339,30 +8456,30 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__12() { _start: { +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf_formatter___closed__11; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_many_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__13() { +_start: +{ lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_PrettyPrinter_Formatter_interpretParserDescr___closed__7; -x_2 = l_Lean_Parser_Term_doIf_formatter___closed__11; +x_1 = l_Lean_Parser_Term_elseIf_formatter___closed__1; +x_2 = l_Lean_Parser_Term_doIf_formatter___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__13() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_doIf_formatter___closed__12; -x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_optional_formatter), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; -} -} static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__14() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doIf_formatter___closed__10; +x_1 = l_Lean_PrettyPrinter_Formatter_interpretParserDescr___closed__7; x_2 = l_Lean_Parser_Term_doIf_formatter___closed__13; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -8373,20 +8490,18 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__15() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doIf_formatter___closed__2; -x_2 = l_Lean_Parser_Term_doIf_formatter___closed__14; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf_formatter___closed__14; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_optional_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__16() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_formatter___closed__3; +x_1 = l_Lean_Parser_Term_doIf_formatter___closed__12; x_2 = l_Lean_Parser_Term_doIf_formatter___closed__15; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -8398,7 +8513,7 @@ static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__17() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_antiquotNestedExpr_formatter___closed__2; +x_1 = l_Lean_Parser_Term_doIf_formatter___closed__4; x_2 = l_Lean_Parser_Term_doIf_formatter___closed__16; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -8410,7 +8525,7 @@ static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__18() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_formatter___closed__9; +x_1 = l_Lean_Parser_Term_doIf_formatter___closed__3; x_2 = l_Lean_Parser_Term_doIf_formatter___closed__17; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -8422,7 +8537,7 @@ static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__19() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_formatter___closed__2; +x_1 = l_Lean_Parser_antiquotNestedExpr_formatter___closed__2; x_2 = l_Lean_Parser_Term_doIf_formatter___closed__18; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -8433,20 +8548,44 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__20() { _start: { -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_doIf_formatter___closed__19; -x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_withPosition_formatter), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_haveDecl_formatter___closed__6; +x_2 = l_Lean_Parser_Term_doIf_formatter___closed__19; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; } } static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__21() { _start: { +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_doIf_formatter___closed__2; +x_2 = l_Lean_Parser_Term_doIf_formatter___closed__20; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__22() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf_formatter___closed__21; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_withPosition_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_doIf_formatter___closed__23() { +_start: +{ lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__2; x_2 = lean_unsigned_to_nat(1024u); -x_3 = l_Lean_Parser_Term_doIf_formatter___closed__20; +x_3 = l_Lean_Parser_Term_doIf_formatter___closed__22; x_4 = lean_alloc_closure((void*)(l_Lean_Parser_leadingNode_formatter___boxed), 8, 3); lean_closure_set(x_4, 0, x_1); lean_closure_set(x_4, 1, x_2); @@ -8459,7 +8598,7 @@ _start: { lean_object* x_6; lean_object* x_7; lean_object* x_8; x_6 = l_Lean_Parser_Term_doIf_formatter___closed__1; -x_7 = l_Lean_Parser_Term_doIf_formatter___closed__21; +x_7 = l_Lean_Parser_Term_doIf_formatter___closed__23; x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x_4, x_5); return x_8; } @@ -8696,29 +8835,27 @@ return x_2; static lean_object* _init_l_Lean_Parser_Term_elseIf_parenthesizer___closed__2() { _start: { -lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_checkLineEq_parenthesizer___boxed), 4, 0); -return x_1; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_elseIf___elambda__1___closed__3; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_symbol_parenthesizer___boxed), 2, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Term_elseIf_parenthesizer___closed__3() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_elseIf_parenthesizer___closed__2; -x_2 = l_Lean_Parser_Term_elseIf_parenthesizer___closed__1; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_checkLineEq_parenthesizer___boxed), 4, 0); +return x_1; } } static lean_object* _init_l_Lean_Parser_Term_elseIf_parenthesizer___closed__4() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_parenthesizer___closed__4; -x_2 = l_Lean_Parser_Term_elseIf_parenthesizer___closed__3; +x_1 = l_Lean_Parser_Term_elseIf_parenthesizer___closed__3; +x_2 = l_Lean_Parser_Term_elseIf_parenthesizer___closed__2; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -8728,8 +8865,20 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_elseIf_parenthesizer___closed__5() { _start: { +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_elseIf_parenthesizer___closed__1; +x_2 = l_Lean_Parser_Term_elseIf_parenthesizer___closed__4; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_elseIf_parenthesizer___closed__6() { +_start: +{ lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_elseIf_parenthesizer___closed__4; +x_1 = l_Lean_Parser_Term_elseIf_parenthesizer___closed__5; x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_withPosition_parenthesizer), 6, 1); lean_closure_set(x_2, 0, x_1); return x_2; @@ -8740,7 +8889,7 @@ _start: { lean_object* x_6; lean_object* x_7; lean_object* x_8; x_6 = l_Lean_nullKind; -x_7 = l_Lean_Parser_Term_elseIf_parenthesizer___closed__5; +x_7 = l_Lean_Parser_Term_elseIf_parenthesizer___closed__6; x_8 = l_Lean_PrettyPrinter_Parenthesizer_node_parenthesizer(x_6, x_7, x_1, x_2, x_3, x_4, x_5); return x_8; } @@ -8763,40 +8912,36 @@ return x_5; static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__2() { _start: { -lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_doSeq_parenthesizer), 5, 0); -return x_1; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__5; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_symbol_parenthesizer___boxed), 2, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__3() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_parenthesizer___closed__3; -x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__2; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__7; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_symbol_parenthesizer___boxed), 2, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__4() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_antiquotNestedExpr_parenthesizer___closed__2; -x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__3; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_doSeq_parenthesizer), 5, 0); +return x_1; } } static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__5() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_parenthesizer___closed__9; +x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__3; x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -8807,17 +8952,21 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__6() { _start: { -lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_elseIf_parenthesizer), 5, 0); -return x_1; +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_antiquotNestedExpr_parenthesizer___closed__2; +x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__5; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; } } static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__7() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__6; -x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__5; +x_1 = l_Lean_Parser_Term_haveDecl_parenthesizer___closed__6; +x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__6; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -8827,19 +8976,17 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__8() { _start: { -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__7; -x_2 = lean_alloc_closure((void*)(l_Lean_Parser_group_parenthesizer), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_elseIf_parenthesizer), 5, 0); +return x_1; } } static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__9() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_PrettyPrinter_Parenthesizer_interpretParserDescr___closed__7; -x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__8; +x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__8; +x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__7; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -8851,7 +8998,7 @@ _start: { lean_object* x_1; lean_object* x_2; x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__9; -x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_many_parenthesizer), 6, 1); +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_group_parenthesizer), 6, 1); lean_closure_set(x_2, 0, x_1); return x_2; } @@ -8860,8 +9007,8 @@ static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__11() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_parenthesizer___closed__4; -x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__2; +x_1 = l_Lean_PrettyPrinter_Parenthesizer_interpretParserDescr___closed__7; +x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__10; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -8871,30 +9018,30 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__12() { _start: { +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__11; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_many_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__13() { +_start: +{ lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_PrettyPrinter_Parenthesizer_interpretParserDescr___closed__7; -x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__11; +x_1 = l_Lean_Parser_Term_elseIf_parenthesizer___closed__1; +x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__13() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__12; -x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_optional_parenthesizer), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; -} -} static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__14() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__10; +x_1 = l_Lean_PrettyPrinter_Parenthesizer_interpretParserDescr___closed__7; x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__13; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -8905,20 +9052,18 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__15() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__2; -x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__14; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__14; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_optional_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__16() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_parenthesizer___closed__3; +x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__12; x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__15; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -8930,7 +9075,7 @@ static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__17() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_antiquotNestedExpr_parenthesizer___closed__2; +x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__4; x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__16; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -8942,7 +9087,7 @@ static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__18() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_parenthesizer___closed__9; +x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__3; x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__17; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -8954,7 +9099,7 @@ static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__19() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_parenthesizer___closed__2; +x_1 = l_Lean_Parser_antiquotNestedExpr_parenthesizer___closed__2; x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__18; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -8965,20 +9110,44 @@ return x_3; static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__20() { _start: { -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__19; -x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_withPosition_parenthesizer), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_haveDecl_parenthesizer___closed__6; +x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__19; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; } } static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__21() { _start: { +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__2; +x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__20; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__22() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__21; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_withPosition_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__23() { +_start: +{ lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; x_1 = l_Lean_Parser_Term_doIf___elambda__1___closed__2; x_2 = lean_unsigned_to_nat(1024u); -x_3 = l_Lean_Parser_Term_doIf_parenthesizer___closed__20; +x_3 = l_Lean_Parser_Term_doIf_parenthesizer___closed__22; x_4 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed), 8, 3); lean_closure_set(x_4, 0, x_1); lean_closure_set(x_4, 1, x_2); @@ -8991,7 +9160,7 @@ _start: { lean_object* x_6; lean_object* x_7; lean_object* x_8; x_6 = l_Lean_Parser_Term_doIf_parenthesizer___closed__1; -x_7 = l_Lean_Parser_Term_doIf_parenthesizer___closed__21; +x_7 = l_Lean_Parser_Term_doIf_parenthesizer___closed__23; x_8 = l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer(x_6, x_7, x_1, x_2, x_3, x_4, x_5); return x_8; } @@ -9019,7 +9188,7 @@ static lean_object* _init_l_Lean_Parser_Term_doUnless___elambda__1___lambda__1__ _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__9; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__10; x_2 = lean_alloc_ctor(1, 1, 0); lean_ctor_set(x_2, 0, x_1); return x_2; @@ -9474,7 +9643,7 @@ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Term_doUnless_formatter___closed__4; -x_2 = l_Lean_Parser_Term_doIf_formatter___closed__2; +x_2 = l_Lean_Parser_Term_doIf_formatter___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -9598,7 +9767,7 @@ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Term_doUnless_parenthesizer___closed__4; -x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__2; +x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -10981,7 +11150,7 @@ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Term_matchAlt_formatter___closed__1; -x_2 = l_Lean_Parser_Term_doIf_formatter___closed__2; +x_2 = l_Lean_Parser_Term_doIf_formatter___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -11239,7 +11408,7 @@ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Term_matchAlt_parenthesizer___closed__2; -x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__2; +x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -12580,7 +12749,7 @@ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Term_doFinally_formatter___closed__2; -x_2 = l_Lean_Parser_Term_doIf_formatter___closed__2; +x_2 = l_Lean_Parser_Term_doIf_formatter___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -12708,7 +12877,7 @@ static lean_object* _init_l_Lean_Parser_Term_doTry_formatter___closed__10() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doIf_formatter___closed__2; +x_1 = l_Lean_Parser_Term_doIf_formatter___closed__4; x_2 = l_Lean_Parser_Term_doTry_formatter___closed__9; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -12957,7 +13126,7 @@ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Term_doFinally_parenthesizer___closed__2; -x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__2; +x_2 = l_Lean_Parser_Term_doIf_parenthesizer___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -13085,7 +13254,7 @@ static lean_object* _init_l_Lean_Parser_Term_doTry_parenthesizer___closed__10() _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__2; +x_1 = l_Lean_Parser_Term_doIf_parenthesizer___closed__4; x_2 = l_Lean_Parser_Term_doTry_parenthesizer___closed__9; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -14226,7 +14395,7 @@ static lean_object* _init_l_Lean_Parser_Term_doReturn_formatter___closed__3() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_elseIf_formatter___closed__2; +x_1 = l_Lean_Parser_Term_elseIf_formatter___closed__3; x_2 = l_Lean_Parser_antiquotNestedExpr_formatter___closed__2; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -14338,7 +14507,7 @@ static lean_object* _init_l_Lean_Parser_Term_doReturn_parenthesizer___closed__3( _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_elseIf_parenthesizer___closed__2; +x_1 = l_Lean_Parser_Term_elseIf_parenthesizer___closed__3; x_2 = l_Lean_Parser_antiquotNestedExpr_parenthesizer___closed__2; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -15594,7 +15763,7 @@ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_myMacro____x40_Init_Notation___hyg_37____closed__6; -x_2 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__9; +x_2 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__10; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } @@ -15613,7 +15782,7 @@ static lean_object* _init_l_Lean_Parser_Term_do___elambda__1___closed__3() { _start: { lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__9; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__10; x_2 = l_Lean_Parser_Term_do___elambda__1___closed__2; x_3 = 1; x_4 = l_Lean_Parser_mkAntiquot(x_1, x_2, x_3); @@ -15734,7 +15903,7 @@ static lean_object* _init_l_Lean_Parser_Term_do_formatter___closed__1() { _start: { lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; lean_object* x_5; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__9; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__10; x_2 = l_Lean_Parser_Term_do___elambda__1___closed__2; x_3 = 1; x_4 = lean_box(x_3); @@ -15792,7 +15961,7 @@ static lean_object* _init_l_Lean_Parser_Term_do_parenthesizer___closed__1() { _start: { lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; lean_object* x_5; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__9; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__10; x_2 = l_Lean_Parser_Term_do___elambda__1___closed__2; x_3 = 1; x_4 = lean_box(x_3); @@ -17643,6 +17812,8 @@ l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__39 = _ lean_mark_persistent(l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__39); l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__40 = _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__40(); lean_mark_persistent(l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__40); +l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__41 = _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__41(); +lean_mark_persistent(l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__41); l_Lean_Parser_Term_notFollowedByRedefinedTermToken___closed__1 = _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_notFollowedByRedefinedTermToken___closed__1); l_Lean_Parser_Term_notFollowedByRedefinedTermToken___closed__2 = _init_l_Lean_Parser_Term_notFollowedByRedefinedTermToken___closed__2(); @@ -18195,6 +18366,10 @@ l_Lean_Parser_Term_elseIf___elambda__1___closed__3 = _init_l_Lean_Parser_Term_el lean_mark_persistent(l_Lean_Parser_Term_elseIf___elambda__1___closed__3); l_Lean_Parser_Term_elseIf___elambda__1___closed__4 = _init_l_Lean_Parser_Term_elseIf___elambda__1___closed__4(); lean_mark_persistent(l_Lean_Parser_Term_elseIf___elambda__1___closed__4); +l_Lean_Parser_Term_elseIf___elambda__1___closed__5 = _init_l_Lean_Parser_Term_elseIf___elambda__1___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_elseIf___elambda__1___closed__5); +l_Lean_Parser_Term_elseIf___elambda__1___closed__6 = _init_l_Lean_Parser_Term_elseIf___elambda__1___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_elseIf___elambda__1___closed__6); l_Lean_Parser_Term_elseIf___closed__1 = _init_l_Lean_Parser_Term_elseIf___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_elseIf___closed__1); l_Lean_Parser_Term_elseIf___closed__2 = _init_l_Lean_Parser_Term_elseIf___closed__2(); @@ -18207,6 +18382,8 @@ l_Lean_Parser_Term_elseIf___closed__5 = _init_l_Lean_Parser_Term_elseIf___closed lean_mark_persistent(l_Lean_Parser_Term_elseIf___closed__5); l_Lean_Parser_Term_elseIf___closed__6 = _init_l_Lean_Parser_Term_elseIf___closed__6(); lean_mark_persistent(l_Lean_Parser_Term_elseIf___closed__6); +l_Lean_Parser_Term_elseIf___closed__7 = _init_l_Lean_Parser_Term_elseIf___closed__7(); +lean_mark_persistent(l_Lean_Parser_Term_elseIf___closed__7); l_Lean_Parser_Term_elseIf = _init_l_Lean_Parser_Term_elseIf(); lean_mark_persistent(l_Lean_Parser_Term_elseIf); l_Lean_Parser_Term_doIf___elambda__1___closed__1 = _init_l_Lean_Parser_Term_doIf___elambda__1___closed__1(); @@ -18247,6 +18424,18 @@ l_Lean_Parser_Term_doIf___elambda__1___closed__18 = _init_l_Lean_Parser_Term_doI lean_mark_persistent(l_Lean_Parser_Term_doIf___elambda__1___closed__18); l_Lean_Parser_Term_doIf___elambda__1___closed__19 = _init_l_Lean_Parser_Term_doIf___elambda__1___closed__19(); lean_mark_persistent(l_Lean_Parser_Term_doIf___elambda__1___closed__19); +l_Lean_Parser_Term_doIf___elambda__1___closed__20 = _init_l_Lean_Parser_Term_doIf___elambda__1___closed__20(); +lean_mark_persistent(l_Lean_Parser_Term_doIf___elambda__1___closed__20); +l_Lean_Parser_Term_doIf___elambda__1___closed__21 = _init_l_Lean_Parser_Term_doIf___elambda__1___closed__21(); +lean_mark_persistent(l_Lean_Parser_Term_doIf___elambda__1___closed__21); +l_Lean_Parser_Term_doIf___elambda__1___closed__22 = _init_l_Lean_Parser_Term_doIf___elambda__1___closed__22(); +lean_mark_persistent(l_Lean_Parser_Term_doIf___elambda__1___closed__22); +l_Lean_Parser_Term_doIf___elambda__1___closed__23 = _init_l_Lean_Parser_Term_doIf___elambda__1___closed__23(); +lean_mark_persistent(l_Lean_Parser_Term_doIf___elambda__1___closed__23); +l_Lean_Parser_Term_doIf___elambda__1___closed__24 = _init_l_Lean_Parser_Term_doIf___elambda__1___closed__24(); +lean_mark_persistent(l_Lean_Parser_Term_doIf___elambda__1___closed__24); +l_Lean_Parser_Term_doIf___elambda__1___closed__25 = _init_l_Lean_Parser_Term_doIf___elambda__1___closed__25(); +lean_mark_persistent(l_Lean_Parser_Term_doIf___elambda__1___closed__25); l_Lean_Parser_Term_doIf___closed__1 = _init_l_Lean_Parser_Term_doIf___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_doIf___closed__1); l_Lean_Parser_Term_doIf___closed__2 = _init_l_Lean_Parser_Term_doIf___closed__2(); @@ -18289,6 +18478,10 @@ l_Lean_Parser_Term_doIf___closed__20 = _init_l_Lean_Parser_Term_doIf___closed__2 lean_mark_persistent(l_Lean_Parser_Term_doIf___closed__20); l_Lean_Parser_Term_doIf___closed__21 = _init_l_Lean_Parser_Term_doIf___closed__21(); lean_mark_persistent(l_Lean_Parser_Term_doIf___closed__21); +l_Lean_Parser_Term_doIf___closed__22 = _init_l_Lean_Parser_Term_doIf___closed__22(); +lean_mark_persistent(l_Lean_Parser_Term_doIf___closed__22); +l_Lean_Parser_Term_doIf___closed__23 = _init_l_Lean_Parser_Term_doIf___closed__23(); +lean_mark_persistent(l_Lean_Parser_Term_doIf___closed__23); l_Lean_Parser_Term_doIf = _init_l_Lean_Parser_Term_doIf(); lean_mark_persistent(l_Lean_Parser_Term_doIf); res = l___regBuiltinParser_Lean_Parser_Term_doIf(lean_io_mk_world()); @@ -18334,6 +18527,8 @@ l_Lean_Parser_Term_elseIf_formatter___closed__4 = _init_l_Lean_Parser_Term_elseI lean_mark_persistent(l_Lean_Parser_Term_elseIf_formatter___closed__4); l_Lean_Parser_Term_elseIf_formatter___closed__5 = _init_l_Lean_Parser_Term_elseIf_formatter___closed__5(); lean_mark_persistent(l_Lean_Parser_Term_elseIf_formatter___closed__5); +l_Lean_Parser_Term_elseIf_formatter___closed__6 = _init_l_Lean_Parser_Term_elseIf_formatter___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_elseIf_formatter___closed__6); l_Lean_Parser_Term_doIf_formatter___closed__1 = _init_l_Lean_Parser_Term_doIf_formatter___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_doIf_formatter___closed__1); l_Lean_Parser_Term_doIf_formatter___closed__2 = _init_l_Lean_Parser_Term_doIf_formatter___closed__2(); @@ -18376,6 +18571,10 @@ l_Lean_Parser_Term_doIf_formatter___closed__20 = _init_l_Lean_Parser_Term_doIf_f lean_mark_persistent(l_Lean_Parser_Term_doIf_formatter___closed__20); l_Lean_Parser_Term_doIf_formatter___closed__21 = _init_l_Lean_Parser_Term_doIf_formatter___closed__21(); lean_mark_persistent(l_Lean_Parser_Term_doIf_formatter___closed__21); +l_Lean_Parser_Term_doIf_formatter___closed__22 = _init_l_Lean_Parser_Term_doIf_formatter___closed__22(); +lean_mark_persistent(l_Lean_Parser_Term_doIf_formatter___closed__22); +l_Lean_Parser_Term_doIf_formatter___closed__23 = _init_l_Lean_Parser_Term_doIf_formatter___closed__23(); +lean_mark_persistent(l_Lean_Parser_Term_doIf_formatter___closed__23); l___regBuiltin_Lean_Parser_Term_doIf_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_doIf_formatter___closed__1(); lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_doIf_formatter___closed__1); res = l___regBuiltin_Lean_Parser_Term_doIf_formatter(lean_io_mk_world()); @@ -18421,6 +18620,8 @@ l_Lean_Parser_Term_elseIf_parenthesizer___closed__4 = _init_l_Lean_Parser_Term_e lean_mark_persistent(l_Lean_Parser_Term_elseIf_parenthesizer___closed__4); l_Lean_Parser_Term_elseIf_parenthesizer___closed__5 = _init_l_Lean_Parser_Term_elseIf_parenthesizer___closed__5(); lean_mark_persistent(l_Lean_Parser_Term_elseIf_parenthesizer___closed__5); +l_Lean_Parser_Term_elseIf_parenthesizer___closed__6 = _init_l_Lean_Parser_Term_elseIf_parenthesizer___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_elseIf_parenthesizer___closed__6); l_Lean_Parser_Term_doIf_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_doIf_parenthesizer___closed__1); l_Lean_Parser_Term_doIf_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__2(); @@ -18463,6 +18664,10 @@ l_Lean_Parser_Term_doIf_parenthesizer___closed__20 = _init_l_Lean_Parser_Term_do lean_mark_persistent(l_Lean_Parser_Term_doIf_parenthesizer___closed__20); l_Lean_Parser_Term_doIf_parenthesizer___closed__21 = _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__21(); lean_mark_persistent(l_Lean_Parser_Term_doIf_parenthesizer___closed__21); +l_Lean_Parser_Term_doIf_parenthesizer___closed__22 = _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__22(); +lean_mark_persistent(l_Lean_Parser_Term_doIf_parenthesizer___closed__22); +l_Lean_Parser_Term_doIf_parenthesizer___closed__23 = _init_l_Lean_Parser_Term_doIf_parenthesizer___closed__23(); +lean_mark_persistent(l_Lean_Parser_Term_doIf_parenthesizer___closed__23); l___regBuiltin_Lean_Parser_Term_doIf_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_doIf_parenthesizer___closed__1(); lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_doIf_parenthesizer___closed__1); res = l___regBuiltin_Lean_Parser_Term_doIf_parenthesizer(lean_io_mk_world()); diff --git a/stage0/stdlib/Lean/Parser/Syntax.c b/stage0/stdlib/Lean/Parser/Syntax.c index 87027a1477..d772cdb4b8 100644 --- a/stage0/stdlib/Lean/Parser/Syntax.c +++ b/stage0/stdlib/Lean/Parser/Syntax.c @@ -341,6 +341,7 @@ lean_object* l_Lean_Parser_Syntax_allowTrailingSep___elambda__1___closed__8; lean_object* l_Lean_Parser_orelseFn(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_registerBuiltinDynamicParserAttribute(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Syntax_try___closed__7; +extern lean_object* l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__28; lean_object* l_Lean_Parser_Command_macro___closed__12; lean_object* l_Lean_Parser_Command_macroTail_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Syntax_notFollowedBy___elambda__1___closed__6; @@ -1876,7 +1877,6 @@ lean_object* l_Lean_Parser_Command_macroTail___closed__1; lean_object* l_Lean_Parser_Syntax_checkColGt___elambda__1___closed__3; lean_object* l_Lean_Parser_Syntax_try___elambda__1___closed__2; lean_object* l_Lean_Parser_Command_mixfixKind_formatter___closed__4; -extern lean_object* l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__27; lean_object* l_Lean_PrettyPrinter_Parenthesizer_identEq_parenthesizer___boxed(lean_object*, lean_object*); lean_object* l_Lean_Parser_Command_infixl_formatter___closed__3; lean_object* l___regBuiltin_Lean_Parser_Command_macro_parenthesizer(lean_object*); @@ -5792,7 +5792,7 @@ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Syntax_paren___elambda__1___closed__2; -x_2 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__27; +x_2 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__28; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } @@ -5811,7 +5811,7 @@ static lean_object* _init_l_Lean_Parser_Syntax_try___elambda__1___closed__3() { _start: { lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__27; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__28; x_2 = l_Lean_Parser_Syntax_try___elambda__1___closed__2; x_3 = 1; x_4 = l_Lean_Parser_mkAntiquot(x_1, x_2, x_3); @@ -5976,7 +5976,7 @@ static lean_object* _init_l_Lean_Parser_Syntax_try_formatter___closed__1() { _start: { lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; lean_object* x_5; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__27; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__28; x_2 = l_Lean_Parser_Syntax_try___elambda__1___closed__2; x_3 = 1; x_4 = lean_box(x_3); @@ -6056,7 +6056,7 @@ static lean_object* _init_l_Lean_Parser_Syntax_try_parenthesizer___closed__1() { _start: { lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; lean_object* x_5; -x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__27; +x_1 = l_Lean_Parser_Term_notFollowedByRedefinedTermToken___elambda__1___closed__28; x_2 = l_Lean_Parser_Syntax_try___elambda__1___closed__2; x_3 = 1; x_4 = lean_box(x_3); diff --git a/stage0/stdlib/Lean/Parser/Term.c b/stage0/stdlib/Lean/Parser/Term.c index c455e1ec79..0e6de7afb9 100644 --- a/stage0/stdlib/Lean/Parser/Term.c +++ b/stage0/stdlib/Lean/Parser/Term.c @@ -13,7 +13,6 @@ #ifdef __cplusplus extern "C" { #endif -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__15; lean_object* l_Lean_Parser_Term_subst___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_dbgTrace_formatter___closed__7; lean_object* l_Lean_Parser_Term_simpleBinder___elambda__1___closed__6; @@ -61,7 +60,6 @@ lean_object* l_Lean_Parser_Term_decide___elambda__1___closed__3; lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__2; lean_object* l___regBuiltin_Lean_Parser_Term_depArrow_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_match__syntax_parenthesizer___closed__1; -lean_object* l_Lean_Parser_Term_if_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_infixL___elambda__1(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_macroLastArg_formatter___closed__1; lean_object* l_Lean_Parser_Term_have_formatter___closed__2; @@ -84,7 +82,6 @@ lean_object* l_Lean_Parser_Term_paren_formatter___closed__3; lean_object* l_Lean_Parser_Term_explicit___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_subtype_formatter___closed__10; lean_object* l_Lean_Parser_Term_syntheticHole_formatter___closed__5; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_subst; lean_object* l_Lean_Parser_Term_macroLastArg___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_letIdLhs_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -108,7 +105,6 @@ lean_object* l_Lean_Parser_Term_macroLastArg_formatter___closed__2; lean_object* l___regBuiltin_Lean_Parser_Term_forall_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_explicitUniv___elambda__1___closed__10; lean_object* l_Lean_Parser_Term_have_parenthesizer___closed__7; -lean_object* l_Lean_Parser_Term_if___closed__13; lean_object* l_Lean_Parser_Term_byTactic_formatter___closed__4; lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__10; lean_object* l_Lean_Parser_Term_unreachable___closed__2; @@ -129,7 +125,6 @@ lean_object* l___regBuiltin_Lean_Parser_Term_tparser_x21_formatter___closed__1; lean_object* l_Lean_Parser_Term_decide___closed__1; lean_object* l_Lean_Parser_Term_simpleBinder___closed__2; lean_object* l_Lean_Parser_Level_quot___closed__1; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__18; lean_object* l_Lean_Parser_Term_attrInstance_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_let_x2a_formatter___closed__4; lean_object* l___regBuiltinParser_Lean_Parser_Term_structInst(lean_object*); @@ -213,7 +208,6 @@ extern lean_object* l_addParenHeuristic___closed__2; lean_object* l_Lean_Parser_Term_instBinder_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_let_x21___closed__8; lean_object* l_Lean_Parser_Term_byTactic___closed__4; -lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__6; lean_object* l_Lean_Parser_Term_show; lean_object* l_Lean_Parser_Level_quot_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_matchDiscr___closed__1; @@ -287,7 +281,6 @@ lean_object* l___regBuiltin_Lean_Parser_Tactic_quot_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_explicitUniv_formatter___closed__1; lean_object* l___regBuiltinParser_Lean_Parser_Term_explicit(lean_object*); lean_object* l_Lean_Parser_Term_letEqnsDecl___closed__2; -lean_object* l___regBuiltin_Lean_Parser_Term_if_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_type___closed__3; lean_object* l_Lean_Parser_Term_attributes___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_fun_formatter___closed__3; @@ -363,7 +356,6 @@ lean_object* l_Lean_Parser_Term_emptyC_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_have___closed__2; lean_object* l_Lean_Parser_Term_have___elambda__1___lambda__1(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_funBinder_quot___closed__8; -lean_object* l_Lean_Parser_Term_if_formatter___closed__3; lean_object* l_Lean_Parser_Term_anonymousCtor_formatter___closed__3; lean_object* l_Lean_Parser_Term_implicitBinder___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_forall___elambda__1___closed__17; @@ -428,7 +420,6 @@ lean_object* l___regBuiltin_Lean_Parser_Term_ident_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_simpleBinder___closed__1; lean_object* l_Lean_Parser_Term_parser_x21_parenthesizer___closed__6; lean_object* l_Lean_Parser_Term_decide___closed__6; -lean_object* l_Lean_Parser_Term_if___closed__10; lean_object* l___regBuiltin_Lean_Parser_Term_panic_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_attrInstance_formatter___closed__7; lean_object* l_Lean_Parser_Term_subst___closed__4; @@ -489,7 +480,6 @@ lean_object* l_Lean_Parser_Term_dollar_formatter___closed__1; lean_object* l_Lean_Parser_Term_arrayLit___closed__7; lean_object* l_Lean_Parser_Term_tupleTail___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_prop_parenthesizer___closed__1; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_parenSpecial___elambda__1(lean_object*, lean_object*); extern lean_object* l_Lean_Parser_pushNone; lean_object* l_Lean_Parser_Term_matchAlts___closed__15; @@ -573,7 +563,6 @@ lean_object* l_Lean_Parser_Term_ensureTypeOf_parenthesizer(lean_object*, lean_ob lean_object* l_Lean_Parser_Term_arrow___closed__1; lean_object* l_Lean_Parser_Term_forall___closed__3; lean_object* l_Lean_Parser_Term_matchDiscr_parenthesizer___closed__7; -lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_subtype___closed__1; lean_object* l_Lean_Parser_Term_arrayLit_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_parser_x21_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -602,7 +591,6 @@ lean_object* l___regBuiltinParser_Lean_Parser_Level_quot(lean_object*); lean_object* l_Lean_Parser_Term_subtype___closed__2; lean_object* l_Lean_Parser_Term_emptyC_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Tactic_tacticSeq_parenthesizer___closed__1; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__16; lean_object* l_Lean_Parser_ParserState_mkNode(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_not___elambda__1___closed__10; lean_object* l_Lean_Parser_Term_ident___closed__1; @@ -655,7 +643,6 @@ lean_object* l_Lean_Parser_Term_inaccessible_formatter___closed__3; lean_object* l_Lean_Parser_Term_typeOf; lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__9; lean_object* l_Lean_Parser_Term_letPatDecl___closed__4; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__7; lean_object* l_Lean_PrettyPrinter_Parenthesizer_withoutPosition_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_attributes_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_matchDiscr___elambda__1(lean_object*, lean_object*); @@ -671,7 +658,6 @@ lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__12; lean_object* l_Lean_Parser_Term_match__syntax___closed__3; lean_object* l_Lean_Parser_Term_ensureExpectedType___closed__4; lean_object* l_Lean_Parser_Term_typeAscription___elambda__1___closed__6; -lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__5; lean_object* l_Lean_Parser_Term_byTactic___closed__1; lean_object* l___regBuiltin_Lean_Parser_Term_let_x2a_formatter___closed__1; lean_object* l_Lean_Parser_Term_dbgTrace_formatter___closed__3; @@ -713,7 +699,6 @@ lean_object* l___regBuiltin_Lean_Parser_Term_nomatch_parenthesizer(lean_object*) lean_object* l_Lean_Parser_Term_listLit___closed__2; lean_object* l_Lean_Parser_ParserState_mkTrailingNode(lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_stateRefT_parenthesizer___closed__1; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__20; lean_object* l___regBuiltinParser_Lean_Parser_Term_unreachable(lean_object*); lean_object* l_Lean_Parser_Term_structInstLVal_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_optSemicolon(lean_object*); @@ -737,7 +722,6 @@ lean_object* l_Lean_Parser_Term_optIdent___closed__4; lean_object* l_Lean_Parser_Term_arrayLit_formatter___closed__2; lean_object* l_Lean_Parser_Term_explicitBinder_parenthesizer(uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* lean_array_get_size(lean_object*); -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__10; lean_object* l_Lean_Parser_Term_let_x2a___elambda__1___closed__7; lean_object* l_Lean_Parser_Term_depArrow___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_subtype___elambda__1___closed__12; @@ -763,7 +747,6 @@ lean_object* l_Lean_PrettyPrinter_Formatter_checkWsBefore_formatter___boxed(lean lean_object* l_Lean_Parser_Term_explicit___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_sorry___closed__2; lean_object* l_Lean_Parser_Term_nomatch___closed__7; -lean_object* l_Lean_Parser_Term_if___closed__11; lean_object* l_Lean_Parser_Term_byTactic_formatter___closed__2; lean_object* l_Lean_Parser_Term_app_parenthesizer___closed__7; lean_object* l_Lean_Parser_Term_emptyC_parenthesizer___closed__4; @@ -800,7 +783,6 @@ lean_object* l_Lean_Parser_Term_explicitUniv___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_forall___elambda__1___closed__6; lean_object* l_Lean_Parser_Term_instBinder___closed__3; lean_object* l___regBuiltin_Lean_Parser_Term_listLit_parenthesizer(lean_object*); -lean_object* l_Lean_Parser_Term_if_formatter___closed__7; lean_object* l_Lean_Parser_Term_arrayLit_formatter___closed__1; lean_object* l_Lean_Parser_Term_haveAssign_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_instBinder_parenthesizer___closed__4; @@ -868,7 +850,6 @@ lean_object* l_Lean_Parser_Term_byTactic_formatter___closed__1; lean_object* l_Lean_Parser_Term_forall_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_app_formatter___closed__5; lean_object* l_Lean_Parser_Term_letRecDecls___closed__5; -lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__8; lean_object* l_Lean_Parser_Term_simpleBinder___closed__3; lean_object* l_Lean_Parser_Term_arrayRef___elambda__1___closed__6; lean_object* l_Lean_Parser_Term_parser_x21___closed__5; @@ -892,7 +873,6 @@ lean_object* l_Lean_Parser_Term_explicit___closed__8; lean_object* l_Lean_PrettyPrinter_Formatter_sepBy_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_structInstArrayRef_formatter___closed__4; lean_object* l_Lean_Parser_Term_quotedName_formatter___closed__1; -lean_object* l_Lean_Parser_Term_if; lean_object* l_Lean_Parser_Term_paren; lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_anonymousCtor___closed__1; @@ -1035,7 +1015,6 @@ lean_object* l___regBuiltin_Lean_Parser_Term_decide_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_match___closed__3; lean_object* l_Lean_Parser_Term_sort___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__4; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__21; lean_object* l_Lean_Parser_Term_attrInstance___closed__5; lean_object* l_Lean_Parser_many1Fn(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_sorry___elambda__1___closed__4; @@ -1073,7 +1052,6 @@ lean_object* l_Lean_Parser_Term_paren___closed__5; lean_object* l_Lean_Parser_Term_letPatDecl___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_infixR___elambda__1(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_PrettyPrinter_Formatter_optional_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__7; lean_object* l_Lean_Parser_Term_sort___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_byTactic___elambda__1___closed__9; lean_object* l_Lean_Parser_Term_arrayLit___closed__6; @@ -1090,7 +1068,6 @@ lean_object* l_Lean_Parser_Term_dollarProj___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_nativeDecide___elambda__1___closed__6; lean_object* l___regBuiltinParser_Lean_Parser_Term_sorry(lean_object*); lean_object* l_Lean_Parser_Term_nomatch___closed__4; -lean_object* l_Lean_Parser_Term_if_formatter___closed__10; lean_object* l_Lean_Parser_Term_letRecDecls_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_nativeRefl_formatter___closed__1; lean_object* l_Lean_Parser_Term_forall_parenthesizer___closed__3; @@ -1159,7 +1136,6 @@ lean_object* l_Lean_Parser_Term_have___elambda__1___closed__6; lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_bnot_parenthesizer___closed__4; lean_object* l_Lean_Parser_Term_dbgTrace___closed__9; -lean_object* l_Lean_Parser_Term_if___closed__3; lean_object* l_Lean_Parser_Term_letrec_parenthesizer___closed__5; lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__17; lean_object* l_Lean_Parser_Term_matchAlts___elambda__1___closed__2; @@ -1292,7 +1268,6 @@ lean_object* l_Lean_Parser_Term_match___elambda__1___closed__14; lean_object* l_Lean_Parser_Tactic_quot_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_match___closed__6; lean_object* l_Lean_PrettyPrinter_Parenthesizer_rawIdent_parenthesizer___boxed(lean_object*); -lean_object* l_Lean_Parser_Term_if_formatter___closed__5; lean_object* l_Lean_Parser_Term_uminus___elambda__1___closed__8; lean_object* l_Lean_Parser_Term_prop___elambda__1___closed__4; lean_object* l___regBuiltin_Lean_Parser_Term_stateRefT_formatter(lean_object*); @@ -1427,7 +1402,6 @@ lean_object* l_Lean_Parser_Term_attributes_formatter___closed__4; lean_object* l_Lean_Parser_Term_parenSpecial___closed__3; extern lean_object* l_Lean_Parser_antiquotNestedExpr___closed__2; lean_object* l_Lean_Parser_Tactic_tacticSeq_formatter___closed__1; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__13; lean_object* l_Lean_Parser_Term_decide___closed__3; lean_object* l_Lean_Parser_Term_quotedName_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_listLit; @@ -1464,7 +1438,6 @@ lean_object* l_Lean_Parser_Term_bnot_formatter___closed__3; lean_object* l_Lean_Parser_Term_cdot_formatter___closed__1; lean_object* l_Lean_Parser_checkNoWsBefore___elambda__1___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Level_quot_parenthesizer___closed__3; -lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__12; lean_object* l___regBuiltin_Lean_Parser_Term_nativeRefl_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_prop___closed__2; lean_object* l_Lean_Parser_Term_assert_parenthesizer___closed__6; @@ -1602,7 +1575,6 @@ lean_object* l_Lean_Parser_Term_unreachable___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_sufficesDecl; lean_object* l_Lean_Parser_Term_quotedName_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_nativeDecide___elambda__1___closed__5; -lean_object* l_Lean_Parser_Term_if___closed__8; lean_object* l_Lean_PrettyPrinter_Parenthesizer_sepBy1_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_letIdDecl_formatter___closed__3; lean_object* l_Lean_Parser_Term_unreachable___closed__3; @@ -1614,7 +1586,6 @@ lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___closed__5; lean_object* l_Lean_Parser_Term_instBinder_formatter___closed__3; lean_object* l___regBuiltin_Lean_Parser_Term_show_parenthesizer___closed__1; lean_object* l___regBuiltin_Lean_Parser_Term_sort_parenthesizer___closed__1; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__6; lean_object* l_Lean_Parser_Term_unreachable___closed__5; lean_object* l_Lean_PrettyPrinter_Formatter_toggleInsideQuot_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Tactic_seq1___elambda__1(lean_object*, lean_object*); @@ -1689,7 +1660,6 @@ lean_object* l_Lean_Parser_Level_quot___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_simpleBinder_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_fromTerm; lean_object* l_Lean_Parser_Term_anonymousCtor___closed__6; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__14; lean_object* l_Lean_Parser_Term_funBinder___elambda__1(lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_depArrow_formatter(lean_object*); lean_object* l_Lean_Parser_Term_attrInstance___closed__2; @@ -1919,7 +1889,6 @@ lean_object* l_Lean_Parser_Term_structInstLVal___closed__6; lean_object* l_Lean_Parser_Term_ensureTypeOf___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_forall_formatter___closed__7; lean_object* l_Lean_Parser_Term_sort_formatter___closed__3; -lean_object* l___regBuiltin_Lean_Parser_Term_if_formatter(lean_object*); lean_object* l_Lean_Parser_Term_typeAscription_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_nativeDecide___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_attributes_formatter___closed__2; @@ -1932,7 +1901,6 @@ lean_object* l___regBuiltin_Lean_Parser_Term_suffices_formatter(lean_object*); lean_object* l_Lean_Parser_Term_haveDecl___closed__5; lean_object* l_Lean_Parser_Term_match__syntax; lean_object* l_Lean_Parser_Term_paren_formatter___closed__4; -lean_object* l_Lean_Parser_Term_if___closed__1; lean_object* l_Lean_Parser_Term_suffices___elambda__1___closed__6; lean_object* l_Lean_Parser_Term_uminus___closed__6; lean_object* l_Lean_Parser_Term_sort___elambda__1___closed__7; @@ -1975,6 +1943,7 @@ lean_object* l_Lean_Parser_Term_match__syntax___elambda__1___closed__1; lean_object* l___regBuiltin_Lean_Parser_Term_bnot_formatter___closed__1; lean_object* l_Lean_Parser_Term_typeAscription___elambda__1___closed__4; lean_object* l_Lean_Parser_interpolatedStr(lean_object*); +lean_object* l_Lean_Parser_Term_haveDecl_formatter___closed__6; extern lean_object* l_myMacro____x40_Init_Tactics___hyg_720____closed__9; lean_object* l_Lean_Parser_Term_letPatDecl___closed__7; lean_object* l_Lean_Parser_Term_structInstLVal_formatter___closed__1; @@ -2095,7 +2064,6 @@ lean_object* l___regBuiltin_Lean_Parser_Term_decide_formatter(lean_object*); lean_object* l_Lean_Parser_Term_stateRefT_parenthesizer___closed__6; lean_object* l_Lean_Parser_Term_inaccessible_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_match_formatter___closed__4; -lean_object* l_Lean_Parser_Term_if_formatter___closed__12; lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__8; lean_object* l___regBuiltin_Lean_Parser_Term_let_x2a_formatter(lean_object*); lean_object* l_Lean_Parser_Term_proj_parenthesizer___closed__3; @@ -2192,7 +2160,6 @@ lean_object* l_Lean_Parser_Term_typeSpec___elambda__1___closed__3; lean_object* l___regBuiltinParser_Lean_Parser_Term_cdot(lean_object*); lean_object* l_Lean_Parser_Term_app_formatter___closed__4; lean_object* l_Lean_Parser_Term_subtype___elambda__1___closed__15; -lean_object* l_Lean_Parser_Term_if___closed__12; lean_object* l_Lean_Parser_Term_forall; lean_object* l___regBuiltin_Lean_Parser_Term_typeOf_formatter(lean_object*); lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__10; @@ -2306,7 +2273,6 @@ lean_object* l_Lean_Parser_Term_funImplicitBinder___closed__5; lean_object* l_Lean_Parser_Term_letDecl___closed__4; lean_object* l___regBuiltin_Lean_Parser_Term_let_x21_formatter(lean_object*); lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__10; -lean_object* l_Lean_Parser_Term_if___closed__2; lean_object* l_Lean_Parser_Term_haveAssign___elambda__1___closed__4; lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented; lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__11; @@ -2323,7 +2289,6 @@ lean_object* l_Lean_Parser_Term_binderType___closed__5; extern lean_object* l_Lean_PrettyPrinter_Parenthesizer_interpretParserDescr___closed__8; lean_object* l_Lean_Parser_Term_explicitUniv___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_have___elambda__1___closed__8; -lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__9; lean_object* l_Lean_Parser_Term_fromTerm___elambda__1___closed__6; extern lean_object* l_myMacro____x40_Init_Tactics___hyg_720____closed__8; lean_object* l_Lean_Parser_Term_letIdLhs___closed__2; @@ -2333,14 +2298,12 @@ lean_object* l_Lean_Parser_Term_ellipsis; lean_object* l_Lean_Parser_Term_forall___elambda__1___closed__10; extern lean_object* l_Lean_Parser_antiquotNestedExpr_formatter___closed__2; lean_object* l_Lean_Parser_Term_arrow_formatter___closed__1; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_binderDefault___closed__4; lean_object* l_Lean_Parser_Term_inaccessible_formatter___closed__4; lean_object* l___regBuiltin_Lean_Parser_Term_emptyC_formatter___closed__1; lean_object* l_Lean_Parser_Term_structInstLVal___closed__2; extern lean_object* l___kind_tactic____x40_Init_Tactics___hyg_461____closed__2; lean_object* l_Lean_Parser_Term_let_x2a_parenthesizer___closed__2; -lean_object* l_Lean_Parser_Term_if___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_tupleTail_formatter___closed__5; lean_object* l_Lean_Parser_Term_prop___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_structInstArrayRef___elambda__1___closed__10; @@ -2394,10 +2357,8 @@ lean_object* l_Lean_Parser_Term_byTactic_formatter(lean_object*, lean_object*, l lean_object* l_Lean_Parser_Term_structInstArrayRef_formatter___closed__5; lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__7; lean_object* l_Lean_Parser_Term_not___elambda__1___closed__2; -lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__4; lean_object* l_Lean_Parser_mkAntiquot_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); extern lean_object* l_Std_Range_myMacro____x40_Init_Data_Range___hyg_314____closed__1; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__19; lean_object* l_Lean_Parser_Tactic_quotSeq___elambda__1___closed__9; lean_object* l_Lean_Parser_Term_match__syntax___closed__1; lean_object* l_Lean_Parser_Term_instBinder___closed__2; @@ -2427,7 +2388,6 @@ lean_object* l_Lean_Parser_Term_arrayRef___closed__2; lean_object* l_Lean_Parser_Term_inaccessible_parenthesizer___closed__4; lean_object* l___regBuiltin_Lean_Parser_Term_quotedName_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_dollar_parenthesizer___closed__1; -lean_object* l___regBuiltin_Lean_Parser_Term_if_formatter___closed__1; lean_object* l_Lean_Parser_Term_bnot___elambda__1___closed__1; lean_object* l_Lean_Parser_checkColGeFn(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_namedArgument___closed__8; @@ -2456,7 +2416,6 @@ lean_object* l_Lean_Parser_nodeWithAntiquot(lean_object*, lean_object*, lean_obj lean_object* l_Lean_Parser_Term_byTactic___closed__5; lean_object* l_Lean_Parser_Term_proj___closed__7; lean_object* l_Lean_Parser_Term_app_formatter___closed__1; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__12; lean_object* l_Lean_Parser_Term_decide___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_str_parenthesizer___closed__1; @@ -2508,7 +2467,6 @@ lean_object* l_Lean_Parser_Term_ident___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_syntheticHole___elambda__1___closed__6; lean_object* l___regBuiltin_Lean_Parser_Term_inaccessible_formatter___closed__1; lean_object* l_Lean_Parser_Term_binderTactic___closed__2; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__9; lean_object* l_Lean_Parser_Term_match__syntax___closed__8; lean_object* l_Lean_Parser_Term_forall___closed__1; lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__10; @@ -2643,20 +2601,17 @@ lean_object* l_Lean_Parser_Term_emptyC_formatter___closed__5; lean_object* l_Lean_Parser_Term_match___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_tupleTail___closed__6; lean_object* l___regBuiltin_Lean_Parser_Term_typeOf_parenthesizer(lean_object*); -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__2; lean_object* l_Lean_Parser_Level_quot; lean_object* l_Lean_Parser_Term_uminus___closed__8; lean_object* l_Lean_Parser_Term_anonymousCtor_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_let_x2a___elambda__1___closed__8; lean_object* l_Lean_Parser_Term_funBinder_quot___elambda__1___closed__1; -lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__11; lean_object* l_Lean_Parser_tryFn(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_funBinder_quot_formatter___closed__4; lean_object* l_Lean_Parser_Term_parser_x21___elambda__1___closed__10; lean_object* l_Lean_Parser_Term_subst___closed__3; lean_object* l_Lean_Parser_Term_arrayLit___closed__5; lean_object* l_Lean_Parser_Term_listLit___elambda__1___closed__9; -lean_object* l_Lean_Parser_Term_if___closed__5; lean_object* l_Lean_Parser_Term_type___elambda__1___closed__8; uint8_t lean_nat_dec_le(lean_object*, lean_object*); lean_object* l___regBuiltinParser_Lean_Parser_Term_subst(lean_object*); @@ -2767,9 +2722,7 @@ lean_object* l_Lean_Parser_Term_syntheticHole_formatter___closed__2; lean_object* l_Lean_Parser_Term_nativeDecide_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_listLit___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_suffices_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l_Lean_Parser_Term_if___closed__14; lean_object* l_Lean_Parser_Term_tparser_x21_formatter___closed__3; -lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__10; lean_object* l_Lean_Parser_Tactic_quot___closed__4; lean_object* l_Lean_Parser_Term_simpleBinder___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_type___elambda__1___closed__9; @@ -2904,7 +2857,6 @@ lean_object* l_Lean_Parser_Term_app___closed__5; lean_object* l_Lean_Parser_Term_ensureTypeOf_parenthesizer___closed__6; lean_object* l___regBuiltinParser_Lean_Parser_Term_char___closed__1; lean_object* l_Lean_Parser_Term_matchDiscr_formatter___closed__5; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__8; lean_object* l_Lean_Parser_Term_forall_formatter___closed__3; lean_object* l_Lean_Parser_Term_letEqnsDecl___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_structInst_formatter___closed__5; @@ -2932,7 +2884,6 @@ lean_object* l_Lean_Parser_Term_typeAscription_formatter___closed__4; lean_object* l___regBuiltin_Lean_Parser_Term_byTactic_formatter___closed__1; lean_object* l_Lean_Parser_Term_attrArg_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_matchAlts_formatter___closed__9; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__17; lean_object* l_Lean_Parser_Term_letIdDecl_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltinParser_Lean_Parser_Tactic_quotSeq(lean_object*); lean_object* l_Lean_Parser_Term_attributes_parenthesizer___closed__2; @@ -2990,11 +2941,9 @@ lean_object* l_Lean_Parser_Term_depArrow_parenthesizer(lean_object*, lean_object lean_object* l___regBuiltinParser_Lean_Parser_Term_decide(lean_object*); lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_funImplicitBinder_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l___regBuiltin_Lean_Parser_Term_if_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_arrayRef___closed__1; lean_object* l_Lean_Parser_Term_implicitBinder_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_fromTerm___closed__5; -lean_object* l_Lean_Parser_Term_if_formatter___closed__8; lean_object* l_Lean_Parser_Tactic_quotSeq___closed__4; extern lean_object* l_Lean_Parser_Level_max_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_dbgTrace_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -3014,7 +2963,6 @@ lean_object* l_Lean_Parser_Term_structInstArrayRef___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_basicFun___closed__2; lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__11; lean_object* l_Lean_Parser_Term_borrowed___elambda__1___closed__1; -lean_object* l_Lean_Parser_Term_if___closed__6; lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___closed__6; lean_object* l_Lean_Parser_Term_dbgTrace___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_letIdDecl___closed__2; @@ -3100,7 +3048,6 @@ lean_object* l_Lean_Parser_Term_unreachable_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_panic_formatter___closed__1; lean_object* l_Lean_Parser_Term_attrInstance_formatter___closed__1; lean_object* l_Lean_Parser_Term_match__syntax_formatter___closed__5; -lean_object* l_Lean_Parser_Term_if___closed__4; lean_object* l_Lean_Parser_Term_binderTactic___elambda__1___closed__7; lean_object* l_Lean_Parser_Term_letrec___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_forall___elambda__1___closed__3; @@ -3135,7 +3082,6 @@ lean_object* l_Lean_Parser_Term_funBinder___closed__1; lean_object* l___regBuiltin_Lean_Parser_Term_syntheticHole_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_type_formatter___closed__3; lean_object* l_Lean_Parser_Term_binderDefault___elambda__1___closed__2; -lean_object* l_Lean_Parser_Term_if_formatter___closed__4; lean_object* l_String_trim(lean_object*); lean_object* l_Lean_Parser_Term_ellipsis_formatter___closed__2; lean_object* l_Lean_Parser_Term_namedArgument_formatter___closed__5; @@ -3143,6 +3089,7 @@ lean_object* l_Lean_Parser_Term_ensureTypeOf_formatter___closed__2; lean_object* l_Lean_Parser_Term_optExprPrecedence; lean_object* l___regBuiltinParser_Lean_Parser_Term_prop(lean_object*); lean_object* l_Lean_Parser_Term_panic___elambda__1___closed__1; +lean_object* l_Lean_Parser_Term_haveDecl_parenthesizer___closed__6; lean_object* l_Lean_Parser_Term_byTactic___elambda__1___closed__10; lean_object* l___regBuiltin_Lean_Parser_Term_structInst_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_bnot_formatter___closed__1; @@ -3167,7 +3114,6 @@ lean_object* l_Lean_Parser_Term_matchDiscr_formatter___closed__1; lean_object* l_Lean_Parser_Tactic_quot; lean_object* l_Lean_Parser_Term_assert_formatter___closed__3; lean_object* l_Lean_Parser_Term_structInstLVal_parenthesizer___closed__8; -lean_object* l_Lean_Parser_Term_if___closed__9; lean_object* l_Lean_Parser_Tactic_quot___closed__3; lean_object* l_Lean_Parser_nodeFn(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_funBinder_formatter___closed__3; @@ -3199,12 +3145,10 @@ lean_object* l_Lean_Parser_Term_arrayLit___elambda__1___closed__9; lean_object* l_Lean_Parser_Term_structInstField_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_nativeDecide_formatter___closed__3; lean_object* l_Lean_Parser_Term_structInst___closed__7; -lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_letrec___elambda__1___closed__7; lean_object* l_Lean_Parser_Term_structInst_formatter___closed__16; lean_object* l_Lean_Parser_Term_haveAssign___elambda__1___closed__6; lean_object* l_Lean_Parser_Term_basicFun_parenthesizer___closed__4; -lean_object* l_Lean_Parser_Term_if_formatter___closed__9; lean_object* l_Lean_Parser_Term_macroDollarArg_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_nativeDecide_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); extern lean_object* l_Std_Range_myMacro____x40_Init_Data_Range___hyg_314____closed__7; @@ -3212,7 +3156,6 @@ lean_object* l_Lean_Parser_nameLit_formatter(lean_object*, lean_object*, lean_ob lean_object* l_Lean_Parser_Term_tparser_x21___closed__1; lean_object* l_Lean_Parser_Term_proj_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_match__syntax___elambda__1___closed__3; -lean_object* l_Lean_Parser_Term_if_formatter___closed__11; lean_object* l_Lean_Parser_Term_panic___elambda__1___closed__8; lean_object* l_Lean_Parser_Term_forall___elambda__1___closed__14; lean_object* l_Lean_Parser_Term_typeAscription_parenthesizer___closed__4; @@ -3311,7 +3254,6 @@ lean_object* l_Lean_Parser_Term_typeSpec___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_optIdent___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_depArrow_parenthesizer___closed__8; lean_object* l_Lean_Parser_Term_forall___closed__5; -lean_object* l_Lean_Parser_Term_if_formatter___closed__2; lean_object* l_Lean_Parser_Term_attrArg___closed__2; lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___closed__6; lean_object* l_Lean_Parser_Term_app_formatter___closed__7; @@ -3392,7 +3334,6 @@ lean_object* l_Lean_Parser_Term_optSemicolon_parenthesizer(lean_object*, lean_ob lean_object* l___regBuiltin_Lean_Parser_Term_parser_x21_formatter___closed__1; lean_object* l_Lean_Parser_unicodeSymbolFn___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_structInstField___closed__3; -lean_object* l_Lean_Parser_Term_if_formatter___closed__1; lean_object* l___regBuiltin_Lean_Parser_Term_suffices_formatter___closed__1; lean_object* l_Lean_Parser_Term_parser_x21___elambda__1___closed__3; lean_object* l___regBuiltin_Lean_Parser_Term_funBinder_quot_formatter___closed__1; @@ -3476,7 +3417,6 @@ lean_object* l_Lean_Parser_Term_fun___closed__2; lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_subst___elambda__1___closed__8; lean_object* l_Lean_Parser_Term_ensureExpectedType___elambda__1___closed__8; -lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__2; lean_object* l_Lean_Parser_Tactic_quotSeq_formatter___closed__6; lean_object* l___regBuiltinParser_Lean_Parser_Term_hole(lean_object*); extern lean_object* l_Lean_Expr_ctorName___closed__11; @@ -3485,7 +3425,6 @@ lean_object* l_Lean_Parser_Term_parenSpecial_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_paren_parenthesizer___closed__4; lean_object* l___regBuiltin_Lean_Parser_Term_fun_formatter___closed__1; lean_object* l_Lean_Parser_Term_matchAlt_formatter___closed__3; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__12; lean_object* l_Lean_Parser_Term_matchAlts___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_show_formatter___closed__2; lean_object* l_Lean_Parser_Term_haveAssign_parenthesizer___closed__3; @@ -3652,7 +3591,6 @@ lean_object* l_Lean_Parser_Term_let_x2a___closed__6; lean_object* l_Lean_Parser_Term_macroLastArg_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_ellipsis___elambda__1___closed__3; lean_object* l___regBuiltin_Lean_Parser_Term_nativeDecide_parenthesizer___closed__1; -lean_object* l_Lean_Parser_Term_if___elambda__1___closed__11; lean_object* l_Lean_Parser_Term_depArrow_formatter___closed__5; lean_object* l___regBuiltin_Lean_Parser_Term_arrayRef_formatter___closed__1; lean_object* l_Lean_Parser_Term_dbgTrace_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -3693,7 +3631,6 @@ lean_object* l_Lean_Parser_Term_letDecl___closed__3; extern lean_object* l_Lean_Parser_many1Indent___closed__1; lean_object* l_Lean_Parser_Term_subtype___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_letrec_formatter___closed__1; -lean_object* l_Lean_Parser_Term_if___closed__7; lean_object* l_Lean_Parser_Term_match___closed__10; lean_object* l_Lean_Parser_Term_match__syntax_formatter___closed__1; lean_object* l_Lean_Parser_Term_funBinder_quot___elambda__1___closed__4; @@ -3720,9 +3657,7 @@ extern lean_object* l_Lean_myMacro____x40_Lean_Util_Trace___hyg_955____closed__1 lean_object* l_Lean_Parser_Term_tparser_x21_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_nomatch___elambda__1___closed__7; extern lean_object* l_Lean_Parser_Level_paren___elambda__1___closed__4; -lean_object* l_Lean_Parser_Term_if_formatter___closed__6; lean_object* l_Lean_Parser_Term_namedPattern___elambda__1___closed__1; -lean_object* l_Lean_Parser_Term_if_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_attrInstance_parenthesizer___closed__6; lean_object* l___regBuiltin_Lean_Parser_Term_subtype_formatter(lean_object*); lean_object* l_Lean_Parser_nameLit_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -3733,7 +3668,6 @@ lean_object* l_Lean_Parser_Term_structInstArrayRef___elambda__1___closed__12; lean_object* l_Lean_Parser_Term_depArrow___closed__7; lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__7; lean_object* l___regBuiltinParser_Lean_Parser_Term_paren(lean_object*); -lean_object* l___regBuiltinParser_Lean_Parser_Term_if(lean_object*); lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___closed__11; lean_object* l_Lean_Parser_Term_arrow___closed__3; lean_object* l_Lean_Parser_Term_arrayLit___elambda__1___closed__2; @@ -12032,801 +11966,6 @@ x_1 = l_Lean_Parser_Term_optIdent___closed__4; return x_1; } } -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__1() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("if"); -return x_1; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__2() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Notation___hyg_37____closed__6; -x_2 = l_Lean_Parser_Term_if___elambda__1___closed__1; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__3() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__2; -x_2 = lean_alloc_ctor(1, 1, 0); -lean_ctor_set(x_2, 0, x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__4() { -_start: -{ -lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__1; -x_2 = l_Lean_Parser_Term_if___elambda__1___closed__3; -x_3 = 1; -x_4 = l_Lean_Parser_mkAntiquot(x_1, x_2, x_3); -return x_4; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__5() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("if "); -return x_1; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__6() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__5; -x_2 = l_String_trim(x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__7() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__6; -x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__8() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string(" then "); -return x_1; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__9() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__8; -x_2 = l_String_trim(x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__10() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__9; -x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__11() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string(" else "); -return x_1; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__12() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__11; -x_2 = l_String_trim(x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__13() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__12; -x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__14() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__13; -x_2 = l_Lean_Parser_antiquotNestedExpr___elambda__1___closed__4; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__15() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_antiquotNestedExpr___elambda__1___closed__4; -x_2 = l_Lean_Parser_Term_if___elambda__1___closed__14; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__16() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__10; -x_2 = l_Lean_Parser_Term_if___elambda__1___closed__15; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__17() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_antiquotNestedExpr___elambda__1___closed__4; -x_2 = l_Lean_Parser_Term_if___elambda__1___closed__16; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__18() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_optIdent___closed__3; -x_2 = l_Lean_Parser_Term_if___elambda__1___closed__17; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__19() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__7; -x_2 = l_Lean_Parser_Term_if___elambda__1___closed__18; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__20() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__2; -x_2 = l_Lean_Parser_Term_if___elambda__1___closed__19; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_nodeFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___elambda__1___closed__21() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_byTactic___elambda__1___closed__9; -x_2 = l_Lean_Parser_Term_if___elambda__1___closed__20; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -lean_object* l_Lean_Parser_Term_if___elambda__1(lean_object* x_1, lean_object* x_2) { -_start: -{ -lean_object* x_3; lean_object* x_4; lean_object* x_5; uint8_t x_6; lean_object* x_7; -x_3 = l_Lean_Parser_Term_if___elambda__1___closed__4; -x_4 = lean_ctor_get(x_3, 1); -lean_inc(x_4); -x_5 = l_Lean_Parser_Term_if___elambda__1___closed__21; -x_6 = 1; -x_7 = l_Lean_Parser_orelseFnCore(x_4, x_5, x_6, x_1, x_2); -return x_7; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___closed__1() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__6; -x_2 = l_Lean_Parser_symbolInfo(x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___closed__2() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__9; -x_2 = l_Lean_Parser_symbolInfo(x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___closed__3() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__12; -x_2 = l_Lean_Parser_symbolInfo(x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___closed__4() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_antiquotNestedExpr___closed__2; -x_2 = lean_ctor_get(x_1, 0); -lean_inc(x_2); -x_3 = l_Lean_Parser_Term_if___closed__3; -x_4 = l_Lean_Parser_andthenInfo(x_3, x_2); -return x_4; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___closed__5() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_antiquotNestedExpr___closed__2; -x_2 = lean_ctor_get(x_1, 0); -lean_inc(x_2); -x_3 = l_Lean_Parser_Term_if___closed__4; -x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); -return x_4; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___closed__6() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if___closed__2; -x_2 = l_Lean_Parser_Term_if___closed__5; -x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___closed__7() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_antiquotNestedExpr___closed__2; -x_2 = lean_ctor_get(x_1, 0); -lean_inc(x_2); -x_3 = l_Lean_Parser_Term_if___closed__6; -x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); -return x_4; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___closed__8() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_optIdent; -x_2 = lean_ctor_get(x_1, 0); -lean_inc(x_2); -x_3 = l_Lean_Parser_Term_if___closed__7; -x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); -return x_4; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___closed__9() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if___closed__1; -x_2 = l_Lean_Parser_Term_if___closed__8; -x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___closed__10() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__2; -x_2 = l_Lean_Parser_Term_if___closed__9; -x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___closed__11() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_epsilonInfo; -x_2 = l_Lean_Parser_Term_if___closed__10; -x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___closed__12() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__4; -x_2 = lean_ctor_get(x_1, 0); -lean_inc(x_2); -x_3 = l_Lean_Parser_Term_if___closed__11; -x_4 = l_Lean_Parser_orelseInfo(x_2, x_3); -return x_4; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___closed__13() { -_start: -{ -lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_if___elambda__1), 2, 0); -return x_1; -} -} -static lean_object* _init_l_Lean_Parser_Term_if___closed__14() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if___closed__12; -x_2 = l_Lean_Parser_Term_if___closed__13; -x_3 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_3, 0, x_1); -lean_ctor_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if() { -_start: -{ -lean_object* x_1; -x_1 = l_Lean_Parser_Term_if___closed__14; -return x_1; -} -} -lean_object* l___regBuiltinParser_Lean_Parser_Term_if(lean_object* x_1) { -_start: -{ -lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; -x_2 = l___kind_term____x40_Init_Notation___hyg_3____closed__14; -x_3 = l_Lean_Parser_Term_if___elambda__1___closed__2; -x_4 = 1; -x_5 = l_Lean_Parser_Term_if; -x_6 = lean_unsigned_to_nat(0u); -x_7 = l_Lean_Parser_addBuiltinParser(x_2, x_3, x_4, x_5, x_6, x_1); -return x_7; -} -} -static lean_object* _init_l_Lean_Parser_Term_optIdent_formatter___closed__1() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l___regBuiltin_Lean_Parser_Term_ident_formatter___closed__1; -x_2 = l_Lean_Parser_Term_typeAscription_formatter___closed__2; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_optIdent_formatter___closed__2() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_optIdent_formatter___closed__1; -x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_try_formatter), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; -} -} -lean_object* l_Lean_Parser_Term_optIdent_formatter(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { -_start: -{ -lean_object* x_6; lean_object* x_7; -x_6 = l_Lean_Parser_Term_optIdent_formatter___closed__2; -x_7 = l_Lean_PrettyPrinter_Formatter_visitArgs(x_6, x_1, x_2, x_3, x_4, x_5); -return x_7; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_formatter___closed__1() { -_start: -{ -lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; lean_object* x_5; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__1; -x_2 = l_Lean_Parser_Term_if___elambda__1___closed__3; -x_3 = 1; -x_4 = lean_box(x_3); -x_5 = lean_alloc_closure((void*)(l_Lean_Parser_mkAntiquot_formatter___boxed), 8, 3); -lean_closure_set(x_5, 0, x_1); -lean_closure_set(x_5, 1, x_2); -lean_closure_set(x_5, 2, x_4); -return x_5; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_formatter___closed__2() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__5; -x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_symbol_formatter___boxed), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_formatter___closed__3() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__8; -x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_symbol_formatter___boxed), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_formatter___closed__4() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__11; -x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_symbol_formatter___boxed), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_formatter___closed__5() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_formatter___closed__4; -x_2 = l_Lean_Parser_antiquotNestedExpr_formatter___closed__2; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_formatter___closed__6() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_antiquotNestedExpr_formatter___closed__2; -x_2 = l_Lean_Parser_Term_if_formatter___closed__5; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_formatter___closed__7() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_formatter___closed__3; -x_2 = l_Lean_Parser_Term_if_formatter___closed__6; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_formatter___closed__8() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_antiquotNestedExpr_formatter___closed__2; -x_2 = l_Lean_Parser_Term_if_formatter___closed__7; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_formatter___closed__9() { -_start: -{ -lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_optIdent_formatter), 5, 0); -return x_1; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_formatter___closed__10() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_formatter___closed__9; -x_2 = l_Lean_Parser_Term_if_formatter___closed__8; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_formatter___closed__11() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_formatter___closed__2; -x_2 = l_Lean_Parser_Term_if_formatter___closed__10; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_formatter___closed__12() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__2; -x_2 = l_Lean_Parser_leadPrec; -x_3 = l_Lean_Parser_Term_if_formatter___closed__11; -x_4 = lean_alloc_closure((void*)(l_Lean_Parser_leadingNode_formatter___boxed), 8, 3); -lean_closure_set(x_4, 0, x_1); -lean_closure_set(x_4, 1, x_2); -lean_closure_set(x_4, 2, x_3); -return x_4; -} -} -lean_object* l_Lean_Parser_Term_if_formatter(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { -_start: -{ -lean_object* x_6; lean_object* x_7; lean_object* x_8; -x_6 = l_Lean_Parser_Term_if_formatter___closed__1; -x_7 = l_Lean_Parser_Term_if_formatter___closed__12; -x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x_4, x_5); -return x_8; -} -} -static lean_object* _init_l___regBuiltin_Lean_Parser_Term_if_formatter___closed__1() { -_start: -{ -lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_if_formatter), 5, 0); -return x_1; -} -} -lean_object* l___regBuiltin_Lean_Parser_Term_if_formatter(lean_object* x_1) { -_start: -{ -lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; -x_2 = l_Lean_PrettyPrinter_formatterAttribute; -x_3 = l_Lean_Parser_Term_if___elambda__1___closed__2; -x_4 = l___regBuiltin_Lean_Parser_Term_if_formatter___closed__1; -x_5 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_1); -return x_5; -} -} -static lean_object* _init_l_Lean_Parser_Term_optIdent_parenthesizer___closed__1() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l___regBuiltin_Lean_Parser_Term_ident_parenthesizer___closed__1; -x_2 = l_Lean_Parser_Term_typeAscription_parenthesizer___closed__2; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_optIdent_parenthesizer___closed__2() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_optIdent_parenthesizer___closed__1; -x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_try_parenthesizer), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; -} -} -lean_object* l_Lean_Parser_Term_optIdent_parenthesizer(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { -_start: -{ -lean_object* x_6; lean_object* x_7; -x_6 = l_Lean_Parser_Term_optIdent_parenthesizer___closed__2; -x_7 = l_Lean_PrettyPrinter_Parenthesizer_visitArgs(x_6, x_1, x_2, x_3, x_4, x_5); -return x_7; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_parenthesizer___closed__1() { -_start: -{ -lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; lean_object* x_5; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__1; -x_2 = l_Lean_Parser_Term_if___elambda__1___closed__3; -x_3 = 1; -x_4 = lean_box(x_3); -x_5 = lean_alloc_closure((void*)(l_Lean_Parser_mkAntiquot_parenthesizer___boxed), 8, 3); -lean_closure_set(x_5, 0, x_1); -lean_closure_set(x_5, 1, x_2); -lean_closure_set(x_5, 2, x_4); -return x_5; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_parenthesizer___closed__2() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__5; -x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_symbol_parenthesizer___boxed), 2, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_parenthesizer___closed__3() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__8; -x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_symbol_parenthesizer___boxed), 2, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_parenthesizer___closed__4() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__11; -x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_symbol_parenthesizer___boxed), 2, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_parenthesizer___closed__5() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_parenthesizer___closed__4; -x_2 = l_Lean_Parser_antiquotNestedExpr_parenthesizer___closed__2; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_parenthesizer___closed__6() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_antiquotNestedExpr_parenthesizer___closed__2; -x_2 = l_Lean_Parser_Term_if_parenthesizer___closed__5; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_parenthesizer___closed__7() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_parenthesizer___closed__3; -x_2 = l_Lean_Parser_Term_if_parenthesizer___closed__6; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_parenthesizer___closed__8() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_antiquotNestedExpr_parenthesizer___closed__2; -x_2 = l_Lean_Parser_Term_if_parenthesizer___closed__7; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_parenthesizer___closed__9() { -_start: -{ -lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_optIdent_parenthesizer), 5, 0); -return x_1; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_parenthesizer___closed__10() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_parenthesizer___closed__9; -x_2 = l_Lean_Parser_Term_if_parenthesizer___closed__8; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_parenthesizer___closed__11() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_parenthesizer___closed__2; -x_2 = l_Lean_Parser_Term_if_parenthesizer___closed__10; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Term_if_parenthesizer___closed__12() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_if___elambda__1___closed__2; -x_2 = l_Lean_Parser_leadPrec; -x_3 = l_Lean_Parser_Term_if_parenthesizer___closed__11; -x_4 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed), 8, 3); -lean_closure_set(x_4, 0, x_1); -lean_closure_set(x_4, 1, x_2); -lean_closure_set(x_4, 2, x_3); -return x_4; -} -} -lean_object* l_Lean_Parser_Term_if_parenthesizer(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { -_start: -{ -lean_object* x_6; lean_object* x_7; lean_object* x_8; -x_6 = l_Lean_Parser_Term_if_parenthesizer___closed__1; -x_7 = l_Lean_Parser_Term_if_parenthesizer___closed__12; -x_8 = l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer(x_6, x_7, x_1, x_2, x_3, x_4, x_5); -return x_8; -} -} -static lean_object* _init_l___regBuiltin_Lean_Parser_Term_if_parenthesizer___closed__1() { -_start: -{ -lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_if_parenthesizer), 5, 0); -return x_1; -} -} -lean_object* l___regBuiltin_Lean_Parser_Term_if_parenthesizer(lean_object* x_1) { -_start: -{ -lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; -x_2 = l_Lean_PrettyPrinter_parenthesizerAttribute; -x_3 = l_Lean_Parser_Term_if___elambda__1___closed__2; -x_4 = l___regBuiltin_Lean_Parser_Term_if_parenthesizer___closed__1; -x_5 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_1); -return x_5; -} -} static lean_object* _init_l_Lean_Parser_Term_fromTerm___elambda__1___closed__1() { _start: { @@ -13712,6 +12851,37 @@ x_7 = l_Lean_Parser_addBuiltinParser(x_2, x_3, x_4, x_5, x_6, x_1); return x_7; } } +static lean_object* _init_l_Lean_Parser_Term_optIdent_formatter___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l___regBuiltin_Lean_Parser_Term_ident_formatter___closed__1; +x_2 = l_Lean_Parser_Term_typeAscription_formatter___closed__2; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_optIdent_formatter___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_optIdent_formatter___closed__1; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_try_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +lean_object* l_Lean_Parser_Term_optIdent_formatter(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +_start: +{ +lean_object* x_6; lean_object* x_7; +x_6 = l_Lean_Parser_Term_optIdent_formatter___closed__2; +x_7 = l_Lean_PrettyPrinter_Formatter_visitArgs(x_6, x_1, x_2, x_3, x_4, x_5); +return x_7; +} +} static lean_object* _init_l_Lean_Parser_Term_haveAssign_formatter___closed__1() { _start: { @@ -13886,11 +13056,19 @@ lean_closure_set(x_3, 1, x_2); return x_3; } } +static lean_object* _init_l_Lean_Parser_Term_haveDecl_formatter___closed__6() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_optIdent_formatter), 5, 0); +return x_1; +} +} lean_object* l_Lean_Parser_Term_haveDecl_formatter(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { _start: { lean_object* x_6; lean_object* x_7; lean_object* x_8; -x_6 = l_Lean_Parser_Term_if_formatter___closed__9; +x_6 = l_Lean_Parser_Term_haveDecl_formatter___closed__6; x_7 = l_Lean_Parser_Term_haveDecl_formatter___closed__5; x_8 = l_Lean_PrettyPrinter_Formatter_andthen_formatter(x_6, x_7, x_1, x_2, x_3, x_4, x_5); return x_8; @@ -14032,6 +13210,37 @@ x_5 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_1); return x_5; } } +static lean_object* _init_l_Lean_Parser_Term_optIdent_parenthesizer___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l___regBuiltin_Lean_Parser_Term_ident_parenthesizer___closed__1; +x_2 = l_Lean_Parser_Term_typeAscription_parenthesizer___closed__2; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_optIdent_parenthesizer___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_optIdent_parenthesizer___closed__1; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_try_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +lean_object* l_Lean_Parser_Term_optIdent_parenthesizer(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +_start: +{ +lean_object* x_6; lean_object* x_7; +x_6 = l_Lean_Parser_Term_optIdent_parenthesizer___closed__2; +x_7 = l_Lean_PrettyPrinter_Parenthesizer_visitArgs(x_6, x_1, x_2, x_3, x_4, x_5); +return x_7; +} +} static lean_object* _init_l_Lean_Parser_Term_haveAssign_parenthesizer___closed__1() { _start: { @@ -14206,11 +13415,19 @@ lean_closure_set(x_3, 1, x_2); return x_3; } } +static lean_object* _init_l_Lean_Parser_Term_haveDecl_parenthesizer___closed__6() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_optIdent_parenthesizer), 5, 0); +return x_1; +} +} lean_object* l_Lean_Parser_Term_haveDecl_parenthesizer(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { _start: { lean_object* x_6; lean_object* x_7; lean_object* x_8; -x_6 = l_Lean_Parser_Term_if_parenthesizer___closed__9; +x_6 = l_Lean_Parser_Term_haveDecl_parenthesizer___closed__6; x_7 = l_Lean_Parser_Term_haveDecl_parenthesizer___closed__5; x_8 = l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer(x_6, x_7, x_1, x_2, x_3, x_4, x_5); return x_8; @@ -14845,7 +14062,7 @@ lean_object* l_Lean_Parser_Term_sufficesDecl_formatter(lean_object* x_1, lean_ob _start: { lean_object* x_6; lean_object* x_7; lean_object* x_8; -x_6 = l_Lean_Parser_Term_if_formatter___closed__9; +x_6 = l_Lean_Parser_Term_haveDecl_formatter___closed__6; x_7 = l_Lean_Parser_Term_sufficesDecl_formatter___closed__1; x_8 = l_Lean_PrettyPrinter_Formatter_andthen_formatter(x_6, x_7, x_1, x_2, x_3, x_4, x_5); return x_8; @@ -14977,7 +14194,7 @@ lean_object* l_Lean_Parser_Term_sufficesDecl_parenthesizer(lean_object* x_1, lea _start: { lean_object* x_6; lean_object* x_7; lean_object* x_8; -x_6 = l_Lean_Parser_Term_if_parenthesizer___closed__9; +x_6 = l_Lean_Parser_Term_haveDecl_parenthesizer___closed__6; x_7 = l_Lean_Parser_Term_sufficesDecl_parenthesizer___closed__1; x_8 = l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer(x_6, x_7, x_1, x_2, x_3, x_4, x_5); return x_8; @@ -21831,7 +21048,7 @@ static lean_object* _init_l_Lean_Parser_Term_instBinder_formatter___closed__2() _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_formatter___closed__9; +x_1 = l_Lean_Parser_Term_haveDecl_formatter___closed__6; x_2 = l_Lean_Parser_Term_structInstArrayRef_formatter___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -22398,7 +21615,7 @@ static lean_object* _init_l_Lean_Parser_Term_instBinder_parenthesizer___closed__ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_if_parenthesizer___closed__9; +x_1 = l_Lean_Parser_Term_haveDecl_parenthesizer___closed__6; x_2 = l_Lean_Parser_Term_structInstArrayRef_parenthesizer___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -47389,147 +46606,6 @@ l_Lean_Parser_Term_optIdent___closed__4 = _init_l_Lean_Parser_Term_optIdent___cl lean_mark_persistent(l_Lean_Parser_Term_optIdent___closed__4); l_Lean_Parser_Term_optIdent = _init_l_Lean_Parser_Term_optIdent(); lean_mark_persistent(l_Lean_Parser_Term_optIdent); -l_Lean_Parser_Term_if___elambda__1___closed__1 = _init_l_Lean_Parser_Term_if___elambda__1___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__1); -l_Lean_Parser_Term_if___elambda__1___closed__2 = _init_l_Lean_Parser_Term_if___elambda__1___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__2); -l_Lean_Parser_Term_if___elambda__1___closed__3 = _init_l_Lean_Parser_Term_if___elambda__1___closed__3(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__3); -l_Lean_Parser_Term_if___elambda__1___closed__4 = _init_l_Lean_Parser_Term_if___elambda__1___closed__4(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__4); -l_Lean_Parser_Term_if___elambda__1___closed__5 = _init_l_Lean_Parser_Term_if___elambda__1___closed__5(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__5); -l_Lean_Parser_Term_if___elambda__1___closed__6 = _init_l_Lean_Parser_Term_if___elambda__1___closed__6(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__6); -l_Lean_Parser_Term_if___elambda__1___closed__7 = _init_l_Lean_Parser_Term_if___elambda__1___closed__7(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__7); -l_Lean_Parser_Term_if___elambda__1___closed__8 = _init_l_Lean_Parser_Term_if___elambda__1___closed__8(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__8); -l_Lean_Parser_Term_if___elambda__1___closed__9 = _init_l_Lean_Parser_Term_if___elambda__1___closed__9(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__9); -l_Lean_Parser_Term_if___elambda__1___closed__10 = _init_l_Lean_Parser_Term_if___elambda__1___closed__10(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__10); -l_Lean_Parser_Term_if___elambda__1___closed__11 = _init_l_Lean_Parser_Term_if___elambda__1___closed__11(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__11); -l_Lean_Parser_Term_if___elambda__1___closed__12 = _init_l_Lean_Parser_Term_if___elambda__1___closed__12(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__12); -l_Lean_Parser_Term_if___elambda__1___closed__13 = _init_l_Lean_Parser_Term_if___elambda__1___closed__13(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__13); -l_Lean_Parser_Term_if___elambda__1___closed__14 = _init_l_Lean_Parser_Term_if___elambda__1___closed__14(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__14); -l_Lean_Parser_Term_if___elambda__1___closed__15 = _init_l_Lean_Parser_Term_if___elambda__1___closed__15(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__15); -l_Lean_Parser_Term_if___elambda__1___closed__16 = _init_l_Lean_Parser_Term_if___elambda__1___closed__16(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__16); -l_Lean_Parser_Term_if___elambda__1___closed__17 = _init_l_Lean_Parser_Term_if___elambda__1___closed__17(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__17); -l_Lean_Parser_Term_if___elambda__1___closed__18 = _init_l_Lean_Parser_Term_if___elambda__1___closed__18(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__18); -l_Lean_Parser_Term_if___elambda__1___closed__19 = _init_l_Lean_Parser_Term_if___elambda__1___closed__19(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__19); -l_Lean_Parser_Term_if___elambda__1___closed__20 = _init_l_Lean_Parser_Term_if___elambda__1___closed__20(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__20); -l_Lean_Parser_Term_if___elambda__1___closed__21 = _init_l_Lean_Parser_Term_if___elambda__1___closed__21(); -lean_mark_persistent(l_Lean_Parser_Term_if___elambda__1___closed__21); -l_Lean_Parser_Term_if___closed__1 = _init_l_Lean_Parser_Term_if___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_if___closed__1); -l_Lean_Parser_Term_if___closed__2 = _init_l_Lean_Parser_Term_if___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_if___closed__2); -l_Lean_Parser_Term_if___closed__3 = _init_l_Lean_Parser_Term_if___closed__3(); -lean_mark_persistent(l_Lean_Parser_Term_if___closed__3); -l_Lean_Parser_Term_if___closed__4 = _init_l_Lean_Parser_Term_if___closed__4(); -lean_mark_persistent(l_Lean_Parser_Term_if___closed__4); -l_Lean_Parser_Term_if___closed__5 = _init_l_Lean_Parser_Term_if___closed__5(); -lean_mark_persistent(l_Lean_Parser_Term_if___closed__5); -l_Lean_Parser_Term_if___closed__6 = _init_l_Lean_Parser_Term_if___closed__6(); -lean_mark_persistent(l_Lean_Parser_Term_if___closed__6); -l_Lean_Parser_Term_if___closed__7 = _init_l_Lean_Parser_Term_if___closed__7(); -lean_mark_persistent(l_Lean_Parser_Term_if___closed__7); -l_Lean_Parser_Term_if___closed__8 = _init_l_Lean_Parser_Term_if___closed__8(); -lean_mark_persistent(l_Lean_Parser_Term_if___closed__8); -l_Lean_Parser_Term_if___closed__9 = _init_l_Lean_Parser_Term_if___closed__9(); -lean_mark_persistent(l_Lean_Parser_Term_if___closed__9); -l_Lean_Parser_Term_if___closed__10 = _init_l_Lean_Parser_Term_if___closed__10(); -lean_mark_persistent(l_Lean_Parser_Term_if___closed__10); -l_Lean_Parser_Term_if___closed__11 = _init_l_Lean_Parser_Term_if___closed__11(); -lean_mark_persistent(l_Lean_Parser_Term_if___closed__11); -l_Lean_Parser_Term_if___closed__12 = _init_l_Lean_Parser_Term_if___closed__12(); -lean_mark_persistent(l_Lean_Parser_Term_if___closed__12); -l_Lean_Parser_Term_if___closed__13 = _init_l_Lean_Parser_Term_if___closed__13(); -lean_mark_persistent(l_Lean_Parser_Term_if___closed__13); -l_Lean_Parser_Term_if___closed__14 = _init_l_Lean_Parser_Term_if___closed__14(); -lean_mark_persistent(l_Lean_Parser_Term_if___closed__14); -l_Lean_Parser_Term_if = _init_l_Lean_Parser_Term_if(); -lean_mark_persistent(l_Lean_Parser_Term_if); -res = l___regBuiltinParser_Lean_Parser_Term_if(lean_io_mk_world()); -if (lean_io_result_is_error(res)) return res; -lean_dec_ref(res); -l_Lean_Parser_Term_optIdent_formatter___closed__1 = _init_l_Lean_Parser_Term_optIdent_formatter___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_optIdent_formatter___closed__1); -l_Lean_Parser_Term_optIdent_formatter___closed__2 = _init_l_Lean_Parser_Term_optIdent_formatter___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_optIdent_formatter___closed__2); -l_Lean_Parser_Term_if_formatter___closed__1 = _init_l_Lean_Parser_Term_if_formatter___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_if_formatter___closed__1); -l_Lean_Parser_Term_if_formatter___closed__2 = _init_l_Lean_Parser_Term_if_formatter___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_if_formatter___closed__2); -l_Lean_Parser_Term_if_formatter___closed__3 = _init_l_Lean_Parser_Term_if_formatter___closed__3(); -lean_mark_persistent(l_Lean_Parser_Term_if_formatter___closed__3); -l_Lean_Parser_Term_if_formatter___closed__4 = _init_l_Lean_Parser_Term_if_formatter___closed__4(); -lean_mark_persistent(l_Lean_Parser_Term_if_formatter___closed__4); -l_Lean_Parser_Term_if_formatter___closed__5 = _init_l_Lean_Parser_Term_if_formatter___closed__5(); -lean_mark_persistent(l_Lean_Parser_Term_if_formatter___closed__5); -l_Lean_Parser_Term_if_formatter___closed__6 = _init_l_Lean_Parser_Term_if_formatter___closed__6(); -lean_mark_persistent(l_Lean_Parser_Term_if_formatter___closed__6); -l_Lean_Parser_Term_if_formatter___closed__7 = _init_l_Lean_Parser_Term_if_formatter___closed__7(); -lean_mark_persistent(l_Lean_Parser_Term_if_formatter___closed__7); -l_Lean_Parser_Term_if_formatter___closed__8 = _init_l_Lean_Parser_Term_if_formatter___closed__8(); -lean_mark_persistent(l_Lean_Parser_Term_if_formatter___closed__8); -l_Lean_Parser_Term_if_formatter___closed__9 = _init_l_Lean_Parser_Term_if_formatter___closed__9(); -lean_mark_persistent(l_Lean_Parser_Term_if_formatter___closed__9); -l_Lean_Parser_Term_if_formatter___closed__10 = _init_l_Lean_Parser_Term_if_formatter___closed__10(); -lean_mark_persistent(l_Lean_Parser_Term_if_formatter___closed__10); -l_Lean_Parser_Term_if_formatter___closed__11 = _init_l_Lean_Parser_Term_if_formatter___closed__11(); -lean_mark_persistent(l_Lean_Parser_Term_if_formatter___closed__11); -l_Lean_Parser_Term_if_formatter___closed__12 = _init_l_Lean_Parser_Term_if_formatter___closed__12(); -lean_mark_persistent(l_Lean_Parser_Term_if_formatter___closed__12); -l___regBuiltin_Lean_Parser_Term_if_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_if_formatter___closed__1(); -lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_if_formatter___closed__1); -res = l___regBuiltin_Lean_Parser_Term_if_formatter(lean_io_mk_world()); -if (lean_io_result_is_error(res)) return res; -lean_dec_ref(res); -l_Lean_Parser_Term_optIdent_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_optIdent_parenthesizer___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_optIdent_parenthesizer___closed__1); -l_Lean_Parser_Term_optIdent_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_optIdent_parenthesizer___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_optIdent_parenthesizer___closed__2); -l_Lean_Parser_Term_if_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_if_parenthesizer___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_if_parenthesizer___closed__1); -l_Lean_Parser_Term_if_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_if_parenthesizer___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_if_parenthesizer___closed__2); -l_Lean_Parser_Term_if_parenthesizer___closed__3 = _init_l_Lean_Parser_Term_if_parenthesizer___closed__3(); -lean_mark_persistent(l_Lean_Parser_Term_if_parenthesizer___closed__3); -l_Lean_Parser_Term_if_parenthesizer___closed__4 = _init_l_Lean_Parser_Term_if_parenthesizer___closed__4(); -lean_mark_persistent(l_Lean_Parser_Term_if_parenthesizer___closed__4); -l_Lean_Parser_Term_if_parenthesizer___closed__5 = _init_l_Lean_Parser_Term_if_parenthesizer___closed__5(); -lean_mark_persistent(l_Lean_Parser_Term_if_parenthesizer___closed__5); -l_Lean_Parser_Term_if_parenthesizer___closed__6 = _init_l_Lean_Parser_Term_if_parenthesizer___closed__6(); -lean_mark_persistent(l_Lean_Parser_Term_if_parenthesizer___closed__6); -l_Lean_Parser_Term_if_parenthesizer___closed__7 = _init_l_Lean_Parser_Term_if_parenthesizer___closed__7(); -lean_mark_persistent(l_Lean_Parser_Term_if_parenthesizer___closed__7); -l_Lean_Parser_Term_if_parenthesizer___closed__8 = _init_l_Lean_Parser_Term_if_parenthesizer___closed__8(); -lean_mark_persistent(l_Lean_Parser_Term_if_parenthesizer___closed__8); -l_Lean_Parser_Term_if_parenthesizer___closed__9 = _init_l_Lean_Parser_Term_if_parenthesizer___closed__9(); -lean_mark_persistent(l_Lean_Parser_Term_if_parenthesizer___closed__9); -l_Lean_Parser_Term_if_parenthesizer___closed__10 = _init_l_Lean_Parser_Term_if_parenthesizer___closed__10(); -lean_mark_persistent(l_Lean_Parser_Term_if_parenthesizer___closed__10); -l_Lean_Parser_Term_if_parenthesizer___closed__11 = _init_l_Lean_Parser_Term_if_parenthesizer___closed__11(); -lean_mark_persistent(l_Lean_Parser_Term_if_parenthesizer___closed__11); -l_Lean_Parser_Term_if_parenthesizer___closed__12 = _init_l_Lean_Parser_Term_if_parenthesizer___closed__12(); -lean_mark_persistent(l_Lean_Parser_Term_if_parenthesizer___closed__12); -l___regBuiltin_Lean_Parser_Term_if_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_if_parenthesizer___closed__1(); -lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_if_parenthesizer___closed__1); -res = l___regBuiltin_Lean_Parser_Term_if_parenthesizer(lean_io_mk_world()); -if (lean_io_result_is_error(res)) return res; -lean_dec_ref(res); l_Lean_Parser_Term_fromTerm___elambda__1___closed__1 = _init_l_Lean_Parser_Term_fromTerm___elambda__1___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_fromTerm___elambda__1___closed__1); l_Lean_Parser_Term_fromTerm___elambda__1___closed__2 = _init_l_Lean_Parser_Term_fromTerm___elambda__1___closed__2(); @@ -47653,6 +46729,10 @@ lean_mark_persistent(l_Lean_Parser_Term_have); res = l___regBuiltinParser_Lean_Parser_Term_have(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); +l_Lean_Parser_Term_optIdent_formatter___closed__1 = _init_l_Lean_Parser_Term_optIdent_formatter___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_optIdent_formatter___closed__1); +l_Lean_Parser_Term_optIdent_formatter___closed__2 = _init_l_Lean_Parser_Term_optIdent_formatter___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_optIdent_formatter___closed__2); l_Lean_Parser_Term_haveAssign_formatter___closed__1 = _init_l_Lean_Parser_Term_haveAssign_formatter___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_haveAssign_formatter___closed__1); l_Lean_Parser_Term_haveAssign_formatter___closed__2 = _init_l_Lean_Parser_Term_haveAssign_formatter___closed__2(); @@ -47679,6 +46759,8 @@ l_Lean_Parser_Term_haveDecl_formatter___closed__4 = _init_l_Lean_Parser_Term_hav lean_mark_persistent(l_Lean_Parser_Term_haveDecl_formatter___closed__4); l_Lean_Parser_Term_haveDecl_formatter___closed__5 = _init_l_Lean_Parser_Term_haveDecl_formatter___closed__5(); lean_mark_persistent(l_Lean_Parser_Term_haveDecl_formatter___closed__5); +l_Lean_Parser_Term_haveDecl_formatter___closed__6 = _init_l_Lean_Parser_Term_haveDecl_formatter___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_haveDecl_formatter___closed__6); l_Lean_Parser_Term_have_formatter___closed__1 = _init_l_Lean_Parser_Term_have_formatter___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_have_formatter___closed__1); l_Lean_Parser_Term_have_formatter___closed__2 = _init_l_Lean_Parser_Term_have_formatter___closed__2(); @@ -47700,6 +46782,10 @@ lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_have_formatter___closed__1) res = l___regBuiltin_Lean_Parser_Term_have_formatter(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); +l_Lean_Parser_Term_optIdent_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_optIdent_parenthesizer___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_optIdent_parenthesizer___closed__1); +l_Lean_Parser_Term_optIdent_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_optIdent_parenthesizer___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_optIdent_parenthesizer___closed__2); l_Lean_Parser_Term_haveAssign_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_haveAssign_parenthesizer___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_haveAssign_parenthesizer___closed__1); l_Lean_Parser_Term_haveAssign_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_haveAssign_parenthesizer___closed__2(); @@ -47726,6 +46812,8 @@ l_Lean_Parser_Term_haveDecl_parenthesizer___closed__4 = _init_l_Lean_Parser_Term lean_mark_persistent(l_Lean_Parser_Term_haveDecl_parenthesizer___closed__4); l_Lean_Parser_Term_haveDecl_parenthesizer___closed__5 = _init_l_Lean_Parser_Term_haveDecl_parenthesizer___closed__5(); lean_mark_persistent(l_Lean_Parser_Term_haveDecl_parenthesizer___closed__5); +l_Lean_Parser_Term_haveDecl_parenthesizer___closed__6 = _init_l_Lean_Parser_Term_haveDecl_parenthesizer___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_haveDecl_parenthesizer___closed__6); l_Lean_Parser_Term_have_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_have_parenthesizer___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_have_parenthesizer___closed__1); l_Lean_Parser_Term_have_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_have_parenthesizer___closed__2();