From e8edd810de63fa8a150d4f64b3c50efa92724815 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 2 Oct 2020 15:48:46 -0700 Subject: [PATCH] chore: update stage0 --- stage0/src/Lean/Parser/Do.lean | 8 +- stage0/stdlib/Lean/Parser/Do.c | 2505 ++++++++++++++++++-------------- 2 files changed, 1437 insertions(+), 1076 deletions(-) diff --git a/stage0/src/Lean/Parser/Do.lean b/stage0/src/Lean/Parser/Do.lean index b26ad38fe2..2329db14dd 100644 --- a/stage0/src/Lean/Parser/Do.lean +++ b/stage0/src/Lean/Parser/Do.lean @@ -22,7 +22,7 @@ def leftArrow : Parser := unicodeSymbol " ← " " <- " @[builtinTermParser] def liftMethod := parser!:0 leftArrow >> termParser def doSeqIndent := many1Indent $ doElemParser >> optional "; " -def doSeqBracketed := parser! "{" >> sepBy1 doElemParser "; " true >> "}" +def doSeqBracketed := parser! "{" >> withoutPosition (many1 (doElemParser >> optional "; ")) >> "}" def doSeq := doSeqBracketed <|> doSeqIndent @[builtinDoElemParser] def doLet := parser! "let " >> letDecl @@ -79,9 +79,9 @@ def doCatchMatch := parser! "catch " >> doMatchAlts def doFinally := parser! "finally " >> doSeq @[builtinDoElemParser] def doTry := parser! "try " >> doSeq >> many (doCatch <|> doCatchMatch) >> optional doFinally -@[builtinDoElemParser] def «break» := parser! "break" -@[builtinDoElemParser] def «continue» := parser! "continue" -@[builtinDoElemParser] def «return» := parser!:leadPrec "return " >> termParser +@[builtinDoElemParser] def doBreak := parser! "break" +@[builtinDoElemParser] def doContinue := parser! "continue" +@[builtinDoElemParser] def doReturn := parser!:leadPrec "return " >> termParser @[builtinDoElemParser] def doDbgTrace := parser!:leadPrec "dbgTrace! " >> termParser @[builtinDoElemParser] def doAssert := parser!:leadPrec "assert! " >> termParser diff --git a/stage0/stdlib/Lean/Parser/Do.c b/stage0/stdlib/Lean/Parser/Do.c index 15794bf9e2..0688af2ce7 100644 --- a/stage0/stdlib/Lean/Parser/Do.c +++ b/stage0/stdlib/Lean/Parser/Do.c @@ -17,6 +17,7 @@ lean_object* l_Lean_Parser_Term_doReassign___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_do___closed__4; extern lean_object* l_Lean_Parser_Term_match___elambda__1___closed__6; lean_object* l_Lean_PrettyPrinter_Parenthesizer_visitToken___rarg(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* l___regBuiltin_Lean_Parser_Term_doBreak_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doExpr___closed__1; extern lean_object* l_Lean_Parser_Term_tupleTail_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doPat___closed__7; @@ -24,6 +25,7 @@ lean_object* l_Lean_Parser_Term_liftMethod_parenthesizer(lean_object*, lean_obje lean_object* l_Lean_Parser_Term_doSeqBracketed_formatter___closed__2; lean_object* l_Lean_Parser_Term_doIf_parenthesizer___closed__9; lean_object* l_Lean_Parser_Term_doCatch___closed__1; +lean_object* l_Lean_Parser_Term_doReturn___elambda__1___closed__8; extern lean_object* l_Lean_Parser_Term_letIdDecl; lean_object* l_Lean_Parser_many1Indent_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_binderType_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -47,10 +49,11 @@ lean_object* l___regBuiltin_Lean_Parser_Term_doTry_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_doDbgTrace___closed__1; lean_object* l_Lean_Parser_ParserState_mkError(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doExpr_parenthesizer___closed__1; +lean_object* l_Lean_Parser_Term_doReturn___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doExpr_formatter___closed__12; +lean_object* l_Lean_Parser_Term_doBreak___elambda__1___closed__7; lean_object* l___regBuiltin_Lean_Parser_Term_do_parenthesizer(lean_object*); lean_object* l_Lean_Parser_manyAux___main___at_Lean_Parser_Term_doIf___elambda__1___spec__1___closed__6; -lean_object* l_Lean_Parser_Term_continue_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doId_parenthesizer___closed__3; extern lean_object* l_Lean_Parser_Term_letDecl_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doPat___closed__3; @@ -63,9 +66,9 @@ lean_object* l___private_Lean_Parser_Basic_2__sepByFnAux___main___at_Lean_Parser lean_object* l_Lean_Parser_Term_doTry_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_doExpr_parenthesizer___closed__4; lean_object* l_Lean_Parser_Term_leftArrow_parenthesizer___rarg(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Parser_Term_doContinue___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_doMatch_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_doCatch___closed__8; -lean_object* l_Lean_Parser_Term_continue___elambda__1(lean_object*, lean_object*); extern lean_object* l_Lean_Parser_notFollowedByFn___closed__1; lean_object* l_Lean_Parser_Term_binderType_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doUnless___closed__6; @@ -73,7 +76,6 @@ lean_object* l_Lean_Parser_Term_doIf_formatter___closed__20; extern lean_object* l_Lean_nullKind; lean_object* l_Lean_Parser_Term_doMatch_formatter___closed__6; lean_object* l_Lean_Parser_Term_doReassign___elambda__1___closed__1; -lean_object* l_Lean_Parser_Term_continue_formatter___closed__1; lean_object* l___regBuiltinParser_Lean_Parser_Term_doHave(lean_object*); extern lean_object* l_Lean_Parser_Term_letrec___elambda__1___closed__6; lean_object* l_Lean_Parser_manyAux___main___at_Lean_Parser_Term_doIf___elambda__1___spec__1___closed__2; @@ -83,26 +85,27 @@ lean_object* l_Lean_Parser_Term_doExpr___closed__2; lean_object* l_Lean_Parser_Term_doTry___closed__4; lean_object* l_Lean_Parser_Term_doLetArrow___closed__1; lean_object* l_Lean_Parser_Term_doSeqBracketed___closed__4; +lean_object* l_Lean_Parser_Term_doSeqBracketed_formatter___closed__8; lean_object* l_Lean_Parser_Term_doDbgTrace_formatter___closed__2; extern lean_object* l_Lean_Parser_Term_letDecl_parenthesizer___closed__5; lean_object* l_Lean_Parser_Term_doHave_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doReassign___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doFor___elambda__1___closed__8; +lean_object* l_Lean_Parser_Term_doContinue___elambda__1___closed__8; lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__11; lean_object* l_Lean_PrettyPrinter_Formatter_many_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doCatch___closed__9; lean_object* l___regBuiltin_Lean_Parser_Term_doFor_parenthesizer(lean_object*); -lean_object* l___private_Lean_Parser_Basic_2__sepByFnAux___main___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doFor___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doExpr___closed__4; lean_object* l_Lean_Parser_Term_doTry___closed__9; -lean_object* l_Lean_Parser_Term_return___closed__7; +lean_object* l_Lean_Parser_Term_doContinue___elambda__1___closed__1; extern lean_object* l_Lean_Parser_many1Indent_parenthesizer___closed__1; -lean_object* l_Lean_Parser_Term_return_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doMatchAlt_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doTry_formatter___closed__2; lean_object* l___regBuiltinParser_Lean_Parser_Term_liftMethod(lean_object*); 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_doExpr_formatter___closed__10; lean_object* l_Lean_Parser_Term_do___elambda__1___closed__1; @@ -125,6 +128,7 @@ lean_object* l_Lean_Parser_Term_doSeq___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doTry___elambda__1___closed__8; lean_object* l_Lean_Parser_Term_doMatch_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); extern lean_object* l___regBuiltin_Lean_Parser_Term_ident_parenthesizer___closed__1; +lean_object* l_Lean_Parser_Term_doReturn___closed__4; lean_object* l_Lean_Parser_Term_do___closed__3; lean_object* l_Lean_Parser_Term_doMatch_parenthesizer___closed__7; lean_object* l_Lean_Parser_Term_doIf___closed__6; @@ -134,26 +138,25 @@ lean_object* l___regBuiltinParser_Lean_Parser_Term_doTry(lean_object*); extern lean_object* l_Lean_Parser_Term_match___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doDbgTrace___closed__4; lean_object* l_Lean_Parser_Term_doCatchMatch_formatter___closed__1; -lean_object* l_Lean_Parser_Term_break___closed__6; extern lean_object* l_Lean_Parser_Term_letPatDecl; lean_object* l___regBuiltin_Lean_Parser_Term_doLetArrow_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_doFinally___closed__5; extern lean_object* l_Lean_Parser_Term_binderTactic_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doUnless___elambda__1___closed__11; lean_object* l_Lean_Parser_Term_doMatch___closed__5; +lean_object* l___regBuiltin_Lean_Parser_Term_doReturn_formatter___closed__1; lean_object* l_Lean_Parser_Term_doMatchAlts___elambda__1___closed__7; lean_object* l_Lean_Parser_Term_doIf_parenthesizer___closed__4; lean_object* l_Lean_Parser_Term_doAssert___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doCatch___closed__6; lean_object* l_Lean_Parser_Term_doReassignArrow; -lean_object* l_Lean_Parser_Term_continue___elambda__1___closed__5; -lean_object* l_Lean_Parser_Term_doSeqBracketed___closed__8; lean_object* l_Lean_Parser_Term_doUnless_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_doId___closed__5; lean_object* l_Lean_Parser_Term_doAssert_formatter___closed__1; lean_object* l_Lean_Parser_Term_doIf___closed__21; lean_object* l_Lean_Parser_Term_doPat___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_doTry___elambda__1___closed__4; +lean_object* l_Lean_Parser_Term_doReturn___closed__1; lean_object* l_Lean_Parser_ParserState_pushSyntax(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doPat___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doPat; @@ -165,19 +168,15 @@ lean_object* l_Lean_Parser_manyAux___main___at_Lean_Parser_Term_doIf___elambda__ 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_break___elambda__1___closed__4; -lean_object* l_Lean_Parser_Term_continue___elambda__1___closed__6; extern lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__6; lean_object* l_Lean_Parser_Term_doIf___elambda__1___closed__3; -lean_object* l_Lean_Parser_Term_continue_formatter___closed__2; -lean_object* l_Lean_Parser_Term_break___elambda__1___closed__1; +lean_object* l_Lean_Parser_Term_doBreak___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doTry___elambda__1___closed__9; extern 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_doUnless_formatter___closed__7; lean_object* l_Lean_Parser_Term_doFor___closed__1; extern lean_object* l_Lean_Parser_darrow; -lean_object* l_Lean_Parser_Term_return_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doCatch___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_doReassign___closed__4; lean_object* l_Lean_Parser_Term_doPat___closed__2; @@ -185,15 +184,18 @@ lean_object* l_Lean_Parser_Term_doMatchAlts___closed__4; extern lean_object* l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__1; lean_object* l_Lean_Parser_Term_doLetRec; extern lean_object* l_Lean_Parser_antiquotNestedExpr_parenthesizer___closed__1; +lean_object* l_Lean_Parser_Term_doReturn___closed__2; lean_object* l_Lean_Parser_Term_doMatch___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_liftMethod___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doUnless___closed__2; lean_object* l_Lean_Parser_Term_doMatchAlts___elambda__1___closed__3; lean_object* l___regBuiltinParser_Lean_Parser_Term_do(lean_object*); +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_doTry___closed__8; extern lean_object* l_Lean_Parser_Term_if_parenthesizer___closed__5; extern lean_object* l_Lean_Parser_Term_dbgTrace_formatter___closed__3; lean_object* l_Lean_Parser_Term_doMatchAlt___closed__1; +lean_object* l_Lean_Parser_Term_doBreak_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_liftMethod___elambda__1___closed__2; extern lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__2; lean_object* l_Lean_Parser_Term_doCatchMatch_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -218,7 +220,6 @@ lean_object* l_Lean_Parser_regDoElemParserAttribute___closed__1; lean_object* l_Lean_Parser_Term_doReassignArrow_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_doLetRec_formatter___closed__1; extern lean_object* l___private_Lean_Parser_Basic_2__sepByFnAux___main___at_Lean_Parser_Term_matchAlts___spec__2___closed__2; -lean_object* l_Lean_Parser_Term_return_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__23; lean_object* l_Lean_Parser_addBuiltinParser(lean_object*, lean_object*, uint8_t, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doSeqBracketed___closed__5; @@ -226,12 +227,12 @@ lean_object* lean_array_get_size(lean_object*); lean_object* l_Lean_Parser_Term_doId___closed__1; extern lean_object* l_Lean_Parser_Term_if___elambda__1___closed__10; extern lean_object* l_Lean_Parser_Term_subtype_formatter___closed__6; +lean_object* l_Lean_Parser_Term_doBreak___elambda__1___closed__2; +lean_object* l_Lean_Parser_Term_doReturn_parenthesizer___closed__2; 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_doIf___closed__13; lean_object* l_Lean_Parser_Term_doReassign___closed__1; -lean_object* l_Lean_Parser_Term_break___elambda__1___closed__2; -lean_object* l_Lean_Parser_Term_return_formatter___closed__3; extern lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__18; lean_object* l_Lean_Parser_tokenFn(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doFinally___closed__6; @@ -241,10 +242,11 @@ lean_object* l_Lean_Parser_Term_doId_parenthesizer___closed__6; lean_object* l_Lean_Parser_Term_doCatchMatch___closed__3; lean_object* l_Lean_Parser_Term_doAssert___closed__1; lean_object* l_Lean_Parser_Term_doMatch_formatter___closed__2; +lean_object* l___regBuiltin_Lean_Parser_Term_doReturn_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doCatch___elambda__1___closed__6; lean_object* l_Lean_Parser_manyAux___main___at_Lean_Parser_Term_doIf___elambda__1___spec__1___closed__4; -lean_object* l_Lean_Parser_Term_return_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doUnless___closed__7; +lean_object* l_Lean_Parser_Term_doBreak___elambda__1___closed__1; lean_object* l_Lean_Parser_regDoElemParserAttribute___closed__2; lean_object* l_Lean_Parser_Term_doTry___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doIf_formatter___closed__10; @@ -254,22 +256,19 @@ 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; lean_object* l_Lean_Parser_Term_liftMethod___elambda__1___closed__3; -lean_object* l_Lean_Parser_Term_return; lean_object* l_Lean_Parser_Term_doReassign___closed__2; lean_object* l_Lean_Parser_Term_doCatch_parenthesizer___closed__8; lean_object* l_Lean_Parser_Term_doId_parenthesizer___closed__5; -lean_object* l_Lean_Parser_Term_break___closed__3; +lean_object* l_Lean_Parser_Term_doReturn___elambda__1___closed__6; lean_object* l_Lean_Parser_Term_doAssert___closed__2; extern lean_object* l_Lean_Parser_antiquotNestedExpr_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_doSeqBracketed___closed__3; lean_object* l_Lean_Parser_ParserState_mkErrorsAt(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_mkAntiquot_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l_Lean_Parser_sepBy1Fn___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__1(uint8_t, lean_object*, lean_object*); lean_object* l_Lean_Parser_leadingNode_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doDbgTrace___closed__2; lean_object* l_Lean_Parser_Term_doId___closed__8; lean_object* l_Lean_Parser_Term_binderType(uint8_t); -lean_object* l___regBuiltin_Lean_Parser_Term_break_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_doPat___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_liftMethod___closed__4; lean_object* l___regBuiltinParser_Lean_Parser_Term_doDbgTrace(lean_object*); @@ -282,41 +281,37 @@ lean_object* l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(lean_object*, lean_obj lean_object* l_Lean_Parser_Term_doTry_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_do___elambda__1___closed__2; lean_object* l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l_Lean_Parser_Term_break___elambda__1___closed__8; lean_object* l_Lean_Parser_Term_doFor___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_liftMethod___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doId___closed__4; -lean_object* l_Lean_Parser_Term_return___elambda__1(lean_object*, lean_object*); -lean_object* l_Lean_Parser_Term_break___closed__5; +lean_object* l_Lean_Parser_Term_doContinue_formatter___closed__1; lean_object* l_Lean_Parser_Term_liftMethod_parenthesizer___closed__3; +lean_object* l_Lean_Parser_Term_doReturn_formatter___closed__2; lean_object* l_Lean_Parser_Term_doMatch___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_doTry_parenthesizer___closed__10; lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__12; lean_object* l_Lean_Parser_Term_doCatch___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_doUnless___elambda__1___closed__7; -lean_object* l___regBuiltin_Lean_Parser_Term_break_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doTry___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_doTry_formatter___closed__11; lean_object* l_Lean_Parser_Term_doIf___closed__2; lean_object* l___regBuiltin_Lean_Parser_Term_doLetArrow_parenthesizer___closed__1; -lean_object* l_Lean_Parser_Term_continue___closed__4; extern lean_object* l_Lean_Parser_Term_dbgTrace___elambda__1___closed__6; lean_object* l_Lean_Parser_Term_doSeq_formatter___closed__2; lean_object* l_Lean_Parser_Term_liftMethod___closed__5; lean_object* l_Lean_Parser_Term_doIf; lean_object* l_Lean_Parser_checkPrecFn(lean_object*, lean_object*, lean_object*); -lean_object* l_Lean_Parser_Term_return_formatter___closed__2; lean_object* l___regBuiltin_Lean_Parser_Term_doReassignArrow_formatter___closed__1; lean_object* l_Lean_Parser_Term_doIf_parenthesizer___closed__12; lean_object* l_Lean_Parser_Term_doReassign___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_doIf___closed__4; lean_object* l_Lean_Parser_Term_doLetArrow_parenthesizer___closed__4; lean_object* l_Lean_Parser_Term_doUnless___elambda__1___closed__2; -lean_object* l_Lean_Parser_Term_return___closed__3; lean_object* l_Lean_Parser_Term_doPat___closed__6; extern lean_object* l_Lean_Parser_Term_dbgTrace___closed__2; 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_doSeqIndent___closed__1; +lean_object* l_Lean_Parser_Term_doReturn_formatter___closed__1; lean_object* l_Lean_Parser_Term_doTry_formatter___closed__3; lean_object* l_Lean_Parser_Term_doLetArrow___closed__5; lean_object* l_Lean_Parser_Term_doMatchAlts_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -324,16 +319,16 @@ lean_object* l_Lean_Parser_Term_doIf___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doIf_formatter___closed__19; lean_object* l_Lean_Parser_Term_doIf___closed__5; lean_object* l___regBuiltin_Lean_Parser_Term_doLetRec_parenthesizer(lean_object*); -lean_object* l_Lean_Parser_Term_return_formatter___closed__1; +lean_object* l_Lean_Parser_Term_doContinue_formatter___closed__3; extern lean_object* l_Lean_Parser_Term_assert___closed__2; lean_object* l_Lean_Parser_Term_doReassignArrow___elambda__1(lean_object*, lean_object*); extern lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__6; lean_object* l_Lean_Parser_Term_doIf___closed__9; lean_object* l_Lean_Parser_Term_doIf_parenthesizer___closed__14; lean_object* l_Lean_Parser_Term_doLetArrow_parenthesizer___closed__1; +lean_object* l___regBuiltinParser_Lean_Parser_Term_doBreak(lean_object*); lean_object* l_Lean_Parser_Term_doLet_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doUnless___closed__9; -lean_object* l_Lean_Parser_Term_continue___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_doReassignArrow_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_doReassign_formatter(lean_object*); lean_object* l_Lean_Parser_Term_doUnless___elambda__1___closed__1; @@ -345,15 +340,17 @@ lean_object* l_Lean_Parser_Term_doFor___closed__2; lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__16; 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; +lean_object* l_Lean_Parser_manyAux___main___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__1(lean_object*, lean_object*); 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*); lean_object* l_Lean_Parser_Term_doLetRec___elambda__1(lean_object*, lean_object*); extern lean_object* l_Lean_Parser_Term_let___closed__2; +lean_object* l_Lean_Parser_Term_doContinue; lean_object* l_Lean_Parser_Term_doReassign___closed__5; lean_object* l_Lean_Parser_Term_leftArrow_parenthesizer___rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doLetRec___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_doSeq_formatter___closed__1; -lean_object* l_Lean_Parser_Term_break___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doReassign_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doMatchAlts_parenthesizer___closed__5; lean_object* l_Lean_Parser_Term_doId_formatter___closed__4; @@ -362,10 +359,9 @@ lean_object* l_Lean_Parser_Term_do___closed__1; lean_object* l_Lean_Parser_Term_doIf___closed__17; lean_object* l_Lean_Parser_Term_doMatch___elambda__1___closed__1; extern lean_object* l_Lean_Parser_Term_let___closed__1; -lean_object* l___regBuiltin_Lean_Parser_Term_return_formatter(lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_doMatch_formatter___closed__1; -lean_object* l_Lean_Parser_Term_return___elambda__1___closed__2; -lean_object* l_Lean_Parser_Term_return___closed__6; +lean_object* l___regBuiltin_Lean_Parser_Term_doBreak_formatter___closed__1; +lean_object* l___regBuiltinParser_Lean_Parser_Term_doReturn(lean_object*); lean_object* l_Lean_Parser_Term_doAssert_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doExpr_parenthesizer___closed__6; extern lean_object* l_Lean_Parser_Term_structInst_formatter___closed__2; @@ -378,10 +374,11 @@ extern lean_object* l_Lean_Parser_Term_explicitBinder_formatter___closed__2; extern lean_object* l_Lean_Parser_Term_optIdent; lean_object* l_Lean_Parser_nonReservedSymbolFnAux(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doDbgTrace_parenthesizer___closed__2; -lean_object* l_Lean_Parser_Term_return_formatter___closed__4; +lean_object* l_Lean_Parser_Term_doContinue___closed__3; lean_object* l___regBuiltin_Lean_Parser_Term_doHave_parenthesizer___closed__1; extern lean_object* l_Lean_Parser_Term_optType; lean_object* l_Lean_Parser_Term_doFor_formatter___closed__7; +lean_object* l___regBuiltin_Lean_Parser_Term_doReturn_formatter(lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_doTry_formatter(lean_object*); lean_object* l_Lean_Parser_Term_doFor___closed__4; extern lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__6; @@ -389,8 +386,8 @@ lean_object* l_Lean_Parser_regBuiltinDoElemParserAttr___closed__3; lean_object* l___regBuiltin_Lean_Parser_Term_doReassignArrow_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_doMatch___elambda__1___closed__4; lean_object* l_Lean_Parser_nodeInfo(lean_object*, lean_object*); -lean_object* l_Lean_Parser_Term_continue_parenthesizer___closed__1; lean_object* l___regBuiltinParser_Lean_Parser_Term_doUnless(lean_object*); +lean_object* l_Lean_Parser_Term_doReturn_formatter___closed__4; extern lean_object* l_Lean_Parser_Term_matchAlts_formatter___closed__3; lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__10; lean_object* l_Lean_Parser_Term_doMatch_parenthesizer___closed__6; @@ -400,33 +397,32 @@ lean_object* l_Lean_Parser_Term_doSeqIndent___closed__2; lean_object* l_Lean_Parser_Term_doIf___closed__7; lean_object* l_Lean_Parser_Term_doIf_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doAssert___closed__3; -lean_object* l___regBuiltinParser_Lean_Parser_Term_continue(lean_object*); lean_object* l_Lean_Parser_Term_doFinally___elambda__1___closed__6; -lean_object* l_Lean_Parser_Term_continue___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__20; +lean_object* l_Lean_Parser_Term_doReturn___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_doId___elambda__1___closed__4; extern lean_object* l_Lean_Parser_Term_if___elambda__1___closed__13; -lean_object* l_Lean_Parser_Term_break_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_noFirstTokenInfo(lean_object*); extern lean_object* l_Lean_Parser_Term_letDecl; lean_object* l___regBuiltin_Lean_Parser_Term_liftMethod_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_doDbgTrace___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_doIf_formatter___closed__9; lean_object* l_Lean_Parser_Term_doHave_formatter___closed__2; -lean_object* l_Lean_Parser_Term_doSeqIndent_formatter___closed__1; +lean_object* l_Lean_Parser_Term_doBreak_formatter___closed__3; lean_object* l_Lean_Parser_Term_doId___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doLetArrow_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doMatchAlts___elambda__1___closed__6; +lean_object* l_Lean_Parser_Term_doBreak___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_doLetArrow_parenthesizer___closed__5; lean_object* l_Lean_Parser_Term_doCatch___closed__7; lean_object* l_Lean_Parser_Term_doUnless___closed__8; lean_object* l_Lean_Parser_Term_doCatch_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_doFor_formatter___closed__1; lean_object* l_Lean_Parser_Term_doTry___closed__6; -lean_object* l_Lean_Parser_Term_continue___closed__6; lean_object* l_Array_shrink___main___rarg(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doIf___closed__15; lean_object* l_Lean_Parser_Term_doExpr_parenthesizer___closed__2; +lean_object* l_Lean_Parser_Term_doContinue___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doSeqBracketed___elambda__1(lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_doIf_formatter(lean_object*); lean_object* l_Lean_Parser_Term_doLetArrow___elambda__1___closed__2; @@ -438,19 +434,16 @@ lean_object* l_Lean_Parser_Term_doMatchAlts___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doFor; lean_object* l_Lean_Parser_Term_doCatch_parenthesizer___closed__7; lean_object* l_Lean_Parser_Term_doLetArrow; -lean_object* l___regBuiltin_Lean_Parser_Term_continue_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doFor___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_doMatchAlts_formatter___closed__6; lean_object* l_Lean_Parser_Term_doExpr_formatter___closed__3; lean_object* l_Lean_Parser_Term_doHave_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_letIdDecl___elambda__1(lean_object*, lean_object*); -lean_object* l_Lean_Parser_Term_return___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_doMatch_parenthesizer___closed__4; lean_object* l_Lean_Parser_Term_doAssert_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doLet___closed__3; +lean_object* l___regBuiltinParser_Lean_Parser_Term_doContinue(lean_object*); uint8_t l_Lean_Parser_tryAnti(lean_object*, lean_object*); -lean_object* l_Lean_Parser_Term_return___elambda__1___closed__5; -lean_object* l_Lean_Parser_Term_return___closed__5; lean_object* l_Lean_Parser_Term_doLetRec_parenthesizer___closed__1; lean_object* l_Lean_Parser_optionaInfo(lean_object*); lean_object* l_Lean_Parser_Term_doSeq; @@ -480,19 +473,19 @@ lean_object* l_Lean_Parser_Term_doIf___closed__3; lean_object* l_Lean_Parser_Term_doAssert___elambda__1___closed__3; extern lean_object* l_Lean_Parser_Term_funImplicitBinder_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doMatchAlts_formatter___closed__4; +lean_object* l_Lean_Parser_Term_doContinue___elambda__1___closed__9; lean_object* l___regBuiltin_Lean_Parser_Term_doAssert_formatter(lean_object*); +lean_object* l_Lean_Parser_Term_doBreak___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_doFor_formatter___closed__3; lean_object* l___regBuiltinParser_Lean_Parser_Term_doIf(lean_object*); lean_object* l_Lean_Parser_Term_doLetRec_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doLetRec_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_doUnless_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_doCatch_formatter___closed__8; -lean_object* l_Lean_Parser_Term_return___elambda__1___closed__7; lean_object* l_Lean_Parser_Term_doFor___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doPat_formatter___closed__6; lean_object* l_Lean_Parser_Term_doDbgTrace_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doUnless___elambda__1___closed__8; -lean_object* l___regBuiltin_Lean_Parser_Term_break_formatter(lean_object*); lean_object* l_Lean_Parser_doElemParser_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); extern lean_object* l_Char_HasRepr___closed__1; lean_object* l_Lean_Parser_Term_doReassign___closed__3; @@ -502,13 +495,12 @@ lean_object* l_Lean_Parser_Term_doFor_formatter___closed__5; lean_object* l___regBuiltin_Lean_Parser_Term_doFor_formatter(lean_object*); lean_object* l___regBuiltinParser_Lean_Parser_Term_doReassignArrow___closed__2; lean_object* l_Lean_Parser_Term_doCatch___elambda__1___closed__7; -lean_object* l_Lean_Parser_Term_continue___elambda__1___closed__1; lean_object* l_Lean_Parser_sepBy1Fn___at_Lean_Parser_Term_tupleTail___elambda__1___spec__1(uint8_t, lean_object*, lean_object*); +lean_object* l_Lean_Parser_Term_doContinue___closed__2; lean_object* l_Lean_Parser_Term_doSeqBracketed_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doMatch_parenthesizer___closed__1; +lean_object* l_Lean_Parser_Term_doReturn___closed__6; lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__7; -lean_object* l_Lean_Parser_Term_break_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l_Lean_Parser_Term_break; lean_object* l_Lean_Parser_orelseInfo(lean_object*, lean_object*); extern lean_object* l_Lean_Parser_Term_matchAlts_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doLet_parenthesizer___closed__2; @@ -517,25 +509,25 @@ lean_object* l_Lean_Parser_Term_doLetRec___closed__3; lean_object* l_Lean_Parser_Term_doExpr_formatter___closed__7; lean_object* l_Lean_Parser_Term_doMatch___closed__4; lean_object* l___regBuiltin_Lean_Parser_Term_doLetRec_parenthesizer___closed__1; -lean_object* l_Lean_Parser_Term_break_formatter___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_doReturn___elambda__1___closed__4; lean_object* lean_name_mk_string(lean_object*, lean_object*); +lean_object* l_Lean_Parser_Term_doContinue___closed__4; extern lean_object* l_Lean_Parser_Term_match___closed__2; -lean_object* l___regBuiltin_Lean_Parser_Term_continue_parenthesizer(lean_object*); +lean_object* l_Lean_Parser_Term_doReturn_formatter___closed__3; lean_object* l_Lean_Parser_Term_doTry___closed__11; -lean_object* l_Lean_Parser_Term_break_formatter___closed__2; extern lean_object* l_Lean_Parser_maxPrec; -lean_object* l_Lean_Parser_Term_break_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doId_parenthesizer___closed__1; lean_object* l___regBuiltin_Lean_Parser_Term_doExpr_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_doTry_formatter___closed__6; lean_object* l_Lean_Parser_Term_doFinally___elambda__1___closed__3; -lean_object* l_Lean_Parser_Term_continue___elambda__1___closed__8; lean_object* l_Lean_Parser_Term_doIf___closed__14; lean_object* l_Lean_Parser_Term_doMatchAlts___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_doIf_formatter___closed__11; +lean_object* l_Lean_Parser_Term_doContinue___closed__1; +lean_object* l_Lean_Parser_Term_doReturn___elambda__1___closed__9; lean_object* l___regBuiltin_Lean_Parser_Term_doLet_formatter___closed__1; lean_object* l_Lean_Parser_many1Indent_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doFinally___elambda__1___closed__5; @@ -550,7 +542,6 @@ extern lean_object* l_Lean_Parser_Term_subtype_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doCatch___elambda__1___closed__10; lean_object* l_Lean_Parser_Term_doMatchAlts_formatter___closed__1; lean_object* l_Lean_Parser_Term_doMatch_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l_Lean_Parser_Term_continue___elambda__1___closed__3; 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; @@ -559,10 +550,9 @@ lean_object* l_Lean_Parser_Term_doUnless___elambda__1___closed__6; lean_object* l_Lean_Parser_Term_doLetArrow___closed__3; extern lean_object* l_Lean_Parser_Term_letrec_parenthesizer___closed__4; lean_object* l_Lean_Parser_Term_doMatchAlt___closed__3; -lean_object* l___regBuiltinParser_Lean_Parser_Term_break(lean_object*); +lean_object* l_Lean_Parser_Term_doContinue___closed__6; extern lean_object* l_Lean_PrettyPrinter_formatterAttribute; lean_object* l_Lean_Parser_Term_doMatchAlts_formatter___closed__2; -lean_object* l_Lean_Parser_Term_return___elambda__1___closed__8; 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_mkAppStx___closed__6; @@ -572,17 +562,21 @@ lean_object* l___regBuiltin_Lean_Parser_Term_doMatch_formatter(lean_object*); lean_object* l_Lean_Parser_Term_doFor___closed__5; lean_object* l_Lean_Parser_Term_leftArrow___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doCatchMatch___elambda__1___closed__2; +lean_object* l_Lean_Parser_Term_doBreak___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doExpr_formatter___closed__8; lean_object* l_Lean_Parser_Term_do; 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_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*); extern lean_object* l_Lean_Parser_Term_have___elambda__1___closed__1; lean_object* l___regBuiltin_Lean_Parser_Term_doHave_formatter(lean_object*); +lean_object* l_Lean_Parser_Term_doBreak___elambda__1___closed__9; lean_object* l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__1; extern lean_object* l_Lean_Parser_Term_match___closed__1; +lean_object* l_Lean_Parser_Term_doBreak___elambda__1___closed__8; lean_object* l_Lean_Parser_Term_liftMethod___closed__1; lean_object* l_Lean_Parser_Term_doLetArrow___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doCatchMatch___closed__1; @@ -591,6 +585,7 @@ lean_object* l_Lean_Parser_Term_doCatch_formatter___closed__1; lean_object* l_Lean_FileMap_toPosition(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doCatchMatch___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doCatch___closed__10; +lean_object* l_Lean_Parser_Term_doBreak___closed__1; lean_object* l___regBuiltin_Lean_Parser_Term_doLetArrow_formatter___closed__1; lean_object* l_Lean_Parser_Term_doFinally_formatter___closed__1; lean_object* l_Lean_Parser_regBuiltinDoElemParserAttr(lean_object*); @@ -602,6 +597,7 @@ lean_object* l_Lean_Parser_sepBy1Fn___at_Lean_Parser_Term_letRecDecls___elambda_ lean_object* l___regBuiltin_Lean_Parser_Term_doIf_formatter___closed__1; extern lean_object* l_Lean_Parser_Term_match_formatter___closed__4; extern lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__8; +lean_object* l_Lean_Parser_Term_doContinue___elambda__1___closed__7; lean_object* l_Lean_Parser_Term_doLetArrow_formatter___closed__6; lean_object* l_Lean_Parser_Term_doUnless___closed__3; lean_object* l_Lean_Parser_Term_doSeq_parenthesizer___closed__1; @@ -609,8 +605,8 @@ lean_object* l_Lean_Parser_Term_doReassign_formatter___closed__1; lean_object* l_Lean_Parser_Term_doId_formatter___closed__5; lean_object* l_Lean_Parser_Term_doLetArrow_parenthesizer___closed__6; lean_object* l_Lean_Parser_Term_doAssert___elambda__1___closed__4; -lean_object* l_Lean_Parser_Term_return___closed__4; lean_object* l_Lean_Parser_Term_doMatchAlts___closed__2; +lean_object* l_Lean_Parser_Term_doContinue___closed__5; lean_object* l_Lean_Parser_Term_doLetArrow_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__25; lean_object* l_Lean_Parser_Term_doPat_formatter___closed__2; @@ -627,7 +623,6 @@ extern lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___closed__3; lean_object* l_Lean_Parser_Term_doPat___closed__9; lean_object* l_Lean_Parser_Term_doId; lean_object* l_Lean_Parser_Term_doCatchMatch___closed__2; -lean_object* l_Lean_Parser_Term_continue; lean_object* l_Lean_Parser_ParserState_restore(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doFinally___elambda__1___closed__1; lean_object* l___regBuiltin_Lean_Parser_Term_doTry_formatter___closed__1; @@ -636,24 +631,27 @@ lean_object* l_Lean_Parser_sepBy1Fn___at_Lean_Parser_Term_doMatchAlts___elambda_ lean_object* l_Lean_Parser_Term_doMatch___closed__8; lean_object* l___regBuiltin_Lean_Parser_Term_doLet_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_doAssert___elambda__1___closed__1; +lean_object* l_Lean_Parser_Term_doReturn___closed__5; lean_object* l_Lean_Parser_Term_doLetArrow_formatter___closed__3; lean_object* l___regBuiltin_Lean_Parser_Term_doAssert_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_doTry_formatter___closed__10; lean_object* l_Lean_Parser_Term_doIf___elambda__1(lean_object*, lean_object*); +lean_object* l_Lean_Parser_Term_doReturn___closed__3; lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__15; lean_object* l_Lean_Parser_Term_doUnless___elambda__1___closed__13; lean_object* l_Lean_Parser_Term_doIf_formatter___closed__6; lean_object* l_Lean_Parser_Term_leftArrow___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__18; -lean_object* l___regBuiltin_Lean_Parser_Term_break_formatter___closed__1; lean_object* l_Lean_Parser_Term_doCatchMatch___closed__4; lean_object* l_Lean_Parser_Term_doId_formatter___closed__3; lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__14; lean_object* l_Lean_Parser_Term_doLet___closed__5; lean_object* l_Lean_Parser_Term_doIf_parenthesizer___closed__1; extern lean_object* l_Lean_Parser_Term_tupleTail_formatter___closed__3; +lean_object* l_Lean_Parser_Term_doBreak___closed__4; lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_doDbgTrace_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Parser_Term_doReturn___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_doExpr_formatter___closed__2; lean_object* l_Lean_Parser_Term_doExpr_parenthesizer___closed__7; lean_object* l_Lean_Parser_Term_doCatch_formatter___closed__4; @@ -671,9 +669,7 @@ extern lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__ extern lean_object* l_Lean_Parser_Term_letrec___closed__4; extern lean_object* l_Lean_Parser_Term_if___closed__2; lean_object* l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__1; -lean_object* l_Lean_Parser_Term_return___closed__1; lean_object* l_Lean_Parser_Term_doLetArrow_formatter___closed__5; -extern lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__3; lean_object* l_Lean_Parser_Term_doFinally___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_doFor_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doTry___closed__7; @@ -681,13 +677,14 @@ lean_object* l_Lean_Parser_Term_doPat___closed__1; 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; -lean_object* l_Lean_Parser_Term_break_parenthesizer___closed__2; extern lean_object* l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__4; +lean_object* l_Lean_PrettyPrinter_Formatter_many1_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doUnless___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_doMatch___closed__2; lean_object* l_Lean_Parser_sepBy1Info(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doCatch_formatter___closed__9; lean_object* l_Lean_Parser_Term_doExpr_formatter___closed__1; +lean_object* l_Lean_Parser_Term_doReturn; lean_object* l_Lean_Parser_Term_doUnless_formatter___closed__3; lean_object* l_Lean_Parser_manyAux___main___at_Lean_Parser_Term_doSeqIndent___elambda__1___spec__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_sepBy1Fn___at_Lean_Parser_Term_match___elambda__1___spec__1(uint8_t, lean_object*, lean_object*); @@ -716,7 +713,6 @@ lean_object* l_Lean_Parser_Term_doTry___closed__1; lean_object* l_Lean_Parser_Term_doFinally_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doTry_formatter___closed__7; lean_object* l_Lean_Parser_Term_doIf_parenthesizer___closed__5; -lean_object* l_Lean_Parser_Term_break___closed__1; lean_object* l_Lean_Parser_Term_doFor_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_doMatchAlts_formatter___closed__3; lean_object* l_Lean_Parser_Term_leftArrow; @@ -730,8 +726,8 @@ lean_object* l___regBuiltin_Lean_Parser_Term_doReassign_parenthesizer(lean_objec extern lean_object* l_Lean_Parser_Term_match_formatter___closed__2; lean_object* l_Lean_Parser_Term_doPat___closed__10; lean_object* l_Lean_Parser_Term_doCatch_parenthesizer___closed__6; -lean_object* l___regBuiltin_Lean_Parser_Term_return_formatter___closed__1; lean_object* l_Lean_Parser_Term_doFinally_parenthesizer___closed__1; +lean_object* l_Lean_Parser_Term_doSeqBracketed_formatter___closed__7; lean_object* l_Lean_Parser_Term_doExpr___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doIf_formatter___closed__17; lean_object* l_Lean_Parser_Term_doIf_parenthesizer___closed__7; @@ -739,7 +735,6 @@ lean_object* l_Lean_Parser_Term_doSeqIndent; lean_object* l_Lean_Parser_Term_doSeqIndent___elambda__1(lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_do_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_liftMethod_parenthesizer___closed__4; -lean_object* l_Lean_Parser_Term_continue_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doPat_formatter___closed__4; lean_object* l_Lean_Parser_Term_leftArrow___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_doSeqBracketed___closed__6; @@ -750,6 +745,7 @@ lean_object* l_Lean_Parser_Term_doLetArrow_formatter(lean_object*, lean_object*, lean_object* l_Lean_Parser_Term_doReassign___closed__6; lean_object* l_Lean_Parser_Term_doLetArrow___closed__7; extern lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__5; +lean_object* l_Lean_Parser_Term_doBreak; extern lean_object* l_Lean_Parser_Term_letDecl_formatter___closed__3; lean_object* l_Lean_Parser_Term_doAssert_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doHave___closed__4; @@ -757,31 +753,27 @@ lean_object* l_Lean_Parser_Term_liftMethod_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doMatchAlts_parenthesizer___closed__4; lean_object* l_Lean_Parser_Term_leftArrow_parenthesizer(lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_doIf_parenthesizer(lean_object*); -lean_object* l_Lean_Parser_Term_continue___closed__2; lean_object* l_Lean_Parser_Term_doExpr_parenthesizer___closed__3; lean_object* l_Lean_Parser_mergeOrElseErrors(lean_object*, lean_object*, lean_object*, uint8_t); +lean_object* l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__8; lean_object* l_Lean_Parser_Term_doFinally; lean_object* l_Lean_Parser_Term_doExpr_formatter___closed__5; lean_object* l___regBuiltin_Lean_Parser_Term_do_formatter(lean_object*); lean_object* l_Lean_Parser_Term_doPat_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doTry_parenthesizer___closed__4; -lean_object* l___regBuiltin_Lean_Parser_Term_return_parenthesizer(lean_object*); uint8_t lean_nat_dec_le(lean_object*, lean_object*); extern lean_object* l_Lean_Parser_Term_letrec___elambda__1___closed__8; lean_object* l_Lean_Parser_Term_doMatchAlts_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l_Lean_Parser_Term_return___closed__2; lean_object* l_Lean_Parser_categoryParser(lean_object*, lean_object*); -lean_object* l_Lean_Parser_Term_return___elambda__1___closed__6; lean_object* l_Lean_Parser_Term_doMatchAlts___closed__7; lean_object* l_Lean_Parser_Term_doPat_formatter___closed__7; lean_object* l_Lean_Parser_Term_do_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Parser_Term_doBreak___closed__6; extern lean_object* l_Lean_Parser_Term_let___elambda__1___closed__1; -lean_object* l_Lean_Parser_Term_doSeqIndent_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doSeqIndent_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doCatch___closed__5; lean_object* l_Lean_Parser_Term_doExpr_formatter___closed__6; lean_object* l_Lean_Parser_Term_doCatch_parenthesizer___closed__5; -lean_object* l_Lean_Parser_Term_continue_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doDbgTrace; lean_object* l_Lean_Parser_doElemParser_formatter___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doCatch___closed__3; @@ -789,11 +781,12 @@ lean_object* l_Lean_Parser_Term_doLetArrow___elambda__1(lean_object*, lean_objec lean_object* l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doHave___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doMatch___closed__9; +lean_object* l_Lean_Parser_Term_doReturn___closed__7; lean_object* l_Lean_Parser_Term_doFor_parenthesizer___closed__1; -lean_object* l___private_Lean_Parser_Basic_2__sepByFnAux___main___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__2(uint8_t, lean_object*, uint8_t, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doPat___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__6; lean_object* l_Lean_Parser_Term_doSeq___closed__3; +lean_object* l_Lean_Parser_Term_doReturn_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doLet___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doPat_parenthesizer___closed__4; lean_object* l_Lean_Parser_Term_doIf_formatter___closed__2; @@ -806,13 +799,14 @@ extern lean_object* l_Lean_Parser_Term_have___elambda__1___closed__9; lean_object* l_Lean_Parser_Term_doUnless___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doExpr_parenthesizer___closed__5; lean_object* l_Lean_Parser_Term_doMatchAlts___elambda__1(lean_object*, lean_object*); -lean_object* l___regBuiltin_Lean_Parser_Term_return_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doIf_formatter___closed__21; lean_object* l_Lean_Parser_Term_doExpr_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_symbolInfo(lean_object*); lean_object* l___regBuiltinParser_Lean_Parser_Term_doLetArrow(lean_object*); +lean_object* l_Lean_Parser_Term_doContinue_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doPat_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_doFor___closed__3; +lean_object* l_Lean_Parser_Term_doBreak_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doIf_formatter___closed__4; extern lean_object* l_Lean_Parser_Term_let___elambda__1___closed__9; extern lean_object* l___private_Lean_Parser_Basic_2__sepByFnAux___main___at_Lean_Parser_Term_matchAlts___spec__2___closed__6; @@ -821,11 +815,8 @@ lean_object* l_Lean_Parser_Term_doCatch_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_doIf_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); 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_break___elambda__1___closed__7; -lean_object* l_Lean_Parser_Term_continue___closed__1; lean_object* l_Lean_Parser_Term_doPat___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_doTry_parenthesizer___closed__1; -lean_object* l_Lean_Parser_Term_return___elambda__1___closed__1; extern lean_object* l_Lean_Parser_Term_if___elambda__1___closed__8; lean_object* l_Lean_Parser_Term_doFor___elambda__1___closed__11; lean_object* l___regBuiltin_Lean_Parser_Term_doMatch_parenthesizer(lean_object*); @@ -842,6 +833,7 @@ lean_object* l_Lean_Parser_categoryParser___elambda__1(lean_object*, lean_object lean_object* l_Lean_Parser_Term_doExpr_formatter___closed__13; lean_object* l_Lean_Parser_regBuiltinDoElemParserAttr___closed__4; lean_object* l_Lean_Parser_Term_doMatch___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*); lean_object* l_Lean_Parser_Term_leftArrow___elambda__1___closed__5; @@ -853,13 +845,13 @@ lean_object* l___regBuiltin_Lean_Parser_Term_doExpr_formatter___closed__1; lean_object* l_Lean_Parser_Term_doFinally___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doCatchMatch; lean_object* l_Lean_Parser_Term_doIf_formatter___closed__8; +lean_object* l_Lean_Parser_Term_doContinue_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doFor_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doPat_formatter___closed__5; lean_object* l_Lean_Parser_Term_doDbgTrace___closed__5; extern lean_object* l_Lean_Parser_Term_match_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_doHave___elambda__1___closed__2; extern lean_object* l_Lean_Parser_unicodeSymbolFn___closed__1; -lean_object* l_Lean_Parser_Term_break___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_doFor_formatter___closed__1; lean_object* l_Lean_Parser_Term_doExpr_formatter___closed__9; lean_object* l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__3; @@ -871,27 +863,28 @@ lean_object* l_Lean_Parser_Term_doIf_formatter___closed__3; lean_object* l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__3; extern lean_object* l_Lean_Parser_Term_matchAlts___closed__2; lean_object* l_Lean_Parser_Term_doTry___closed__10; +lean_object* l_Lean_Parser_Term_doContinue___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_doPat___elambda__1___closed__6; extern lean_object* l_Lean_Parser_Term_assert___elambda__1___closed__9; lean_object* l_Lean_Parser_Term_doUnless___elambda__1___closed__10; +lean_object* l_Lean_Parser_Term_doBreak_formatter___closed__1; lean_object* l_Lean_Parser_Term_doIf_parenthesizer___closed__11; extern lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___closed__3; lean_object* l_Lean_Parser_Term_doLet___elambda__1___closed__1; +lean_object* l___regBuiltin_Lean_Parser_Term_doContinue_formatter(lean_object*); extern lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_doFor___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doId_formatter___closed__6; -lean_object* l_Lean_Parser_Term_return___elambda__1___closed__9; lean_object* l_Lean_Parser_Term_doTry___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__2; -lean_object* l_Lean_Parser_Term_return___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doSeqBracketed_formatter___closed__5; -lean_object* l_Lean_Parser_Term_break___elambda__1___closed__5; lean_object* l_Lean_Parser_Term_doCatch_parenthesizer___closed__2; lean_object* l___regBuiltin_Lean_Parser_Term_doAssert_formatter___closed__1; lean_object* l_Lean_Parser_Term_doHave___closed__3; lean_object* l_Lean_Parser_Term_doExpr_formatter___closed__4; lean_object* l___regBuiltin_Lean_Parser_Term_do_formatter___closed__1; lean_object* l_Lean_Parser_Term_doTry___elambda__1___closed__6; +lean_object* l_Lean_Parser_Term_doContinue___elambda__1___closed__6; lean_object* l_Lean_Parser_Term_doTry; lean_object* l_Lean_Parser_Term_do_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doCatch___elambda__1___closed__4; @@ -899,7 +892,6 @@ 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_continue___closed__5; lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doReassign_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_darrow___elambda__1(lean_object*, lean_object*); @@ -912,11 +904,12 @@ lean_object* l_Lean_PrettyPrinter_Parenthesizer_optional_parenthesizer(lean_obje extern lean_object* l_Lean_Parser_Term_assert_formatter___closed__3; lean_object* l_Lean_Parser_regBuiltinDoElemParserAttr___closed__1; lean_object* l_Lean_Parser_Term_doLet___closed__1; +lean_object* l___regBuiltin_Lean_Parser_Term_doContinue_formatter___closed__1; lean_object* l_Lean_Parser_Term_doLetArrow___closed__2; lean_object* l_Lean_Parser_Term_doUnless_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Parser_Term_doBreak_formatter___closed__2; lean_object* l_Lean_Parser_Term_doLetRec_formatter___closed__2; lean_object* l_Lean_Parser_Term_doMatch_formatter___closed__7; -lean_object* l___regBuiltin_Lean_Parser_Term_continue_formatter___closed__1; lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__1; extern lean_object* l_Lean_Parser_Term_typeAscription___closed__2; lean_object* l_Lean_Parser_Term_doHave___elambda__1___closed__4; @@ -925,8 +918,8 @@ 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_doIf___elambda__1___closed__5; +lean_object* l_Lean_Parser_Term_doContinue___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_doLet___closed__4; -lean_object* l_Lean_Parser_Term_break_formatter___closed__3; lean_object* l___regBuiltin_Lean_Parser_Term_doUnless_formatter(lean_object*); lean_object* l_Lean_Parser_Term_doMatchAlt_formatter___closed__1; lean_object* l_Lean_Parser_Term_doUnless; @@ -950,6 +943,7 @@ lean_object* l_Lean_Parser_Term_doLetArrow___elambda__1___closed__3; extern lean_object* l_Lean_Parser_Term_match___elambda__1___closed__10; lean_object* l_Lean_Parser_Term_doCatch_formatter___closed__3; lean_object* l_Lean_Parser_manyAux___main___at_Lean_Parser_Term_doIf___elambda__1___spec__1___closed__3; +lean_object* l_Lean_Parser_Term_doReturn_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doTry_parenthesizer___closed__7; lean_object* l_Lean_Parser_Term_doId_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_regBuiltinDoElemParserAttr___closed__2; @@ -980,13 +974,12 @@ extern lean_object* l_Lean_Parser_Term_matchAlt_formatter___closed__1; lean_object* l_Lean_Parser_Term_doPat_formatter___closed__3; extern lean_object* l_Lean_Parser_Term_matchAlts___closed__5; lean_object* l_Lean_Parser_Term_doId___elambda__1(lean_object*, lean_object*); -lean_object* l_Lean_Parser_Term_break___closed__4; lean_object* l___regBuiltinParser_Lean_Parser_Term_doMatch(lean_object*); lean_object* l_Lean_Parser_Term_doTry_formatter___closed__12; -lean_object* l___regBuiltin_Lean_Parser_Term_continue_formatter(lean_object*); +lean_object* l_Lean_Parser_Term_doContinue_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__7; lean_object* l_Lean_Parser_Term_optIdent___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doLet_parenthesizer___closed__1; -extern lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___closed__2; lean_object* l___regBuiltin_Lean_Parser_Term_doUnless_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doFor_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doLet_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -994,7 +987,9 @@ lean_object* l_Lean_Parser_Term_doFor___closed__7; lean_object* l_Lean_Parser_Term_liftMethod; lean_object* l_Lean_PrettyPrinter_Formatter_symbol_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doPat___elambda__1___closed__4; +lean_object* l___regBuiltin_Lean_Parser_Term_doBreak_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_doFor___elambda__1___closed__10; +lean_object* l_Lean_Parser_Term_doContinue_parenthesizer___closed__1; lean_object* l___regBuiltin_Lean_Parser_Term_liftMethod_formatter___closed__1; lean_object* l_Lean_Parser_Term_liftMethod_formatter___closed__3; lean_object* l_Lean_Parser_Term_doLetArrow___closed__4; @@ -1006,7 +1001,7 @@ extern lean_object* l_Lean_Parser_Term_dbgTrace___elambda__1___closed__9; lean_object* l_Lean_Parser_Term_doFinally_formatter___closed__2; lean_object* l_Lean_Parser_Term_doCatchMatch_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_doFinally___elambda__1___closed__4; -lean_object* l_Lean_Parser_Term_continue___elambda__1___closed__7; +lean_object* l_Lean_Parser_Term_doReturn___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_doLetRec___elambda__1___closed__4; lean_object* l_Lean_Parser_Term_doCatchMatch___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doCatch___elambda__1(lean_object*, lean_object*); @@ -1020,7 +1015,10 @@ lean_object* l_Lean_Parser_Term_doIf_formatter___closed__1; lean_object* l___regBuiltin_Lean_Parser_Term_doTry_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doMatchAlts_parenthesizer___closed__2; 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_doIf_parenthesizer___closed__6; +lean_object* l_Lean_Parser_Term_doBreak___closed__5; lean_object* l_Lean_Parser_Term_doCatch; lean_object* l_Lean_Parser_Term_leftArrow_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_doIf_parenthesizer___closed__1; @@ -1036,6 +1034,7 @@ lean_object* l_Lean_Parser_Term_binderIdent___elambda__1(lean_object*, lean_obje lean_object* l_Lean_Parser_Term_doDbgTrace___closed__3; lean_object* l_Lean_Parser_Term_doExpr_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Array_back___at_Lean_Syntax_Traverser_up___spec__2(lean_object*); +lean_object* l___regBuiltin_Lean_Parser_Term_doContinue_parenthesizer(lean_object*); lean_object* l_Lean_Parser_manyAux___main___at_Lean_Parser_Term_doIf___elambda__1___spec__1___closed__5; lean_object* l_Lean_Parser_Term_do___closed__5; lean_object* l_Lean_Parser_Term_doCatchMatch___elambda__1___closed__3; @@ -1048,20 +1047,23 @@ lean_object* l_Lean_Parser_Term_doMatchAlts___closed__6; lean_object* l_Lean_Parser_Term_doIf___closed__19; lean_object* l___regBuiltin_Lean_Parser_Term_doReassign_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doPat___closed__5; +lean_object* l_Lean_Parser_Term_doBreak_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_doReassign_formatter___closed__1; +lean_object* l_Lean_Parser_Term_doReturn___elambda__1___closed__7; lean_object* l_Lean_Parser_Term_doMatch___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__4; lean_object* l___regBuiltinParser_Lean_Parser_Term_doReassign(lean_object*); lean_object* l_Lean_PrettyPrinter_Formatter_notFollowedBy_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doHave_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_do___elambda__1(lean_object*, lean_object*); -lean_object* l_Lean_Parser_sepBy1Fn___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__1___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_manyAux___main___at_Lean_Parser_Term_doTry___elambda__1___spec__1(lean_object*, lean_object*); +lean_object* l_Lean_Parser_Term_doBreak___closed__3; lean_object* l_Lean_Parser_Term_doLetArrow_formatter___closed__4; lean_object* l_Lean_PrettyPrinter_Parenthesizer_many_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doIf___elambda__1___closed__2; lean_object* l___regBuiltin_Lean_Parser_Term_liftMethod_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_haveDecl___elambda__1(lean_object*, lean_object*); +lean_object* l___regBuiltin_Lean_Parser_Term_doContinue_parenthesizer___closed__1; extern lean_object* l_Lean_Parser_Parser_inhabited___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*); @@ -1073,12 +1075,13 @@ lean_object* l_Lean_Parser_Term_doLet; lean_object* l_Lean_Parser_Term_doMatchAlt; lean_object* l_Lean_Parser_Term_doExpr; lean_object* l_Lean_Parser_Term_doUnless_parenthesizer___closed__2; +lean_object* l_Lean_PrettyPrinter_Formatter_withoutPosition_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doDbgTrace___elambda__1___closed__2; +lean_object* l___regBuiltin_Lean_Parser_Term_doBreak_formatter(lean_object*); lean_object* l_Lean_Parser_Term_doHave___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_doExpr___closed__3; lean_object* l_Lean_Parser_Term_doId___closed__6; lean_object* l_Lean_Parser_Term_leftArrow___elambda__1(lean_object*, lean_object*); -lean_object* l_Lean_Parser_Term_continue_formatter___closed__3; lean_object* l_Lean_Parser_Term_doDbgTrace___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doCatch___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__8; @@ -1086,9 +1089,10 @@ lean_object* l_Lean_Parser_unicodeSymbolFnAux(lean_object*, lean_object*, lean_o lean_object* l_Lean_Parser_Term_doTry___closed__3; extern lean_object* l_Lean_Parser_Term_have_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_doMatchAlts___elambda__1___closed__4; +lean_object* l_Lean_Parser_Term_doReturn_parenthesizer___closed__1; lean_object* l_Lean_Parser_Term_doFinally___closed__7; lean_object* l_Lean_Parser_Term_doFinally_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l_Lean_Parser_Term_break___closed__2; +lean_object* l_Lean_Parser_Term_doReturn___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__17; lean_object* l_Lean_Parser_Term_doFinally_formatter___closed__4; lean_object* l_Lean_Parser_Term_doMatchAlts_parenthesizer___closed__1; @@ -1118,10 +1122,8 @@ lean_object* l_Lean_Parser_Term_doIf___closed__11; lean_object* l_Lean_PrettyPrinter_Parenthesizer_try_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_regDoElemParserAttribute(lean_object*); lean_object* l_Lean_Parser_Term_do_parenthesizer___closed__2; -lean_object* l_Lean_Parser_Term_break___elambda__1___closed__6; lean_object* l_Lean_Parser_Term_doMatchAlt___closed__4; lean_object* l_Lean_Parser_Term_doCatch_formatter___closed__7; -lean_object* l___regBuiltinParser_Lean_Parser_Term_return(lean_object*); lean_object* l_Lean_Parser_Term_doLet_formatter___closed__2; lean_object* l___regBuiltin_Lean_Parser_Term_doDbgTrace_parenthesizer(lean_object*); extern lean_object* l_Lean_Parser_Term_ident; @@ -1132,9 +1134,9 @@ lean_object* l_Lean_Parser_Term_liftMethod_formatter___closed__1; uint8_t lean_nat_dec_lt(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doId___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_doUnless_parenthesizer___closed__1; -lean_object* l_Lean_Parser_Term_continue___closed__3; lean_object* l_Lean_Parser_Term_doLet_formatter___closed__1; lean_object* l___regBuiltinParser_Lean_Parser_Term_doExpr(lean_object*); +lean_object* l___regBuiltin_Lean_Parser_Term_doReturn_parenthesizer(lean_object*); lean_object* l_Lean_PrettyPrinter_Formatter_categoryParser_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doExpr___elambda__1___closed__9; lean_object* _init_l_Lean_Parser_regBuiltinDoElemParserAttr___closed__1() { @@ -2568,172 +2570,188 @@ x_1 = l_Lean_Parser_Term_doSeqIndent___closed__5; return x_1; } } -lean_object* l___private_Lean_Parser_Basic_2__sepByFnAux___main___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__2(uint8_t x_1, lean_object* x_2, uint8_t x_3, lean_object* x_4, lean_object* x_5) { +lean_object* l_Lean_Parser_manyAux___main___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__1(lean_object* x_1, lean_object* x_2) { _start: { -lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; -x_6 = lean_ctor_get(x_5, 0); -lean_inc(x_6); -x_7 = lean_array_get_size(x_6); -lean_dec(x_6); -x_8 = lean_ctor_get(x_5, 1); -lean_inc(x_8); -x_9 = l_Lean_Parser_regBuiltinDoElemParserAttr___closed__4; -x_10 = lean_unsigned_to_nat(0u); -lean_inc(x_4); -x_11 = l_Lean_Parser_categoryParser___elambda__1(x_9, x_10, x_4, x_5); -x_12 = lean_ctor_get(x_11, 3); -lean_inc(x_12); -if (lean_obj_tag(x_12) == 0) +lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_17; lean_object* x_18; lean_object* x_19; lean_object* x_20; +x_3 = lean_ctor_get(x_2, 0); +lean_inc(x_3); +x_4 = lean_array_get_size(x_3); +lean_dec(x_3); +x_5 = lean_ctor_get(x_2, 1); +lean_inc(x_5); +x_17 = l_Lean_Parser_regBuiltinDoElemParserAttr___closed__4; +x_18 = lean_unsigned_to_nat(0u); +lean_inc(x_1); +x_19 = l_Lean_Parser_categoryParser___elambda__1(x_17, x_18, x_1, x_2); +x_20 = lean_ctor_get(x_19, 3); +lean_inc(x_20); +if (lean_obj_tag(x_20) == 0) { -lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_23; lean_object* x_24; -lean_dec(x_8); -lean_dec(x_7); -x_13 = lean_ctor_get(x_11, 0); -lean_inc(x_13); -x_14 = lean_array_get_size(x_13); -lean_dec(x_13); -x_15 = lean_ctor_get(x_11, 1); -lean_inc(x_15); -lean_inc(x_4); -x_23 = l_Lean_Parser_tokenFn(x_4, x_11); -x_24 = lean_ctor_get(x_23, 3); -lean_inc(x_24); -if (lean_obj_tag(x_24) == 0) +lean_object* x_21; lean_object* x_22; lean_object* x_23; lean_object* x_24; lean_object* x_36; lean_object* x_37; +x_21 = lean_ctor_get(x_19, 0); +lean_inc(x_21); +x_22 = lean_array_get_size(x_21); +lean_dec(x_21); +x_23 = lean_ctor_get(x_19, 1); +lean_inc(x_23); +lean_inc(x_1); +x_36 = l_Lean_Parser_tokenFn(x_1, x_19); +x_37 = lean_ctor_get(x_36, 3); +lean_inc(x_37); +if (lean_obj_tag(x_37) == 0) { -lean_object* x_25; lean_object* x_26; -x_25 = lean_ctor_get(x_23, 0); +lean_object* x_38; lean_object* x_39; +x_38 = lean_ctor_get(x_36, 0); +lean_inc(x_38); +x_39 = l_Array_back___at_Lean_Syntax_Traverser_up___spec__2(x_38); +lean_dec(x_38); +if (lean_obj_tag(x_39) == 2) +{ +lean_object* x_40; lean_object* x_41; uint8_t x_42; +x_40 = lean_ctor_get(x_39, 1); +lean_inc(x_40); +lean_dec(x_39); +x_41 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__1; +x_42 = lean_string_dec_eq(x_40, x_41); +lean_dec(x_40); +if (x_42 == 0) +{ +lean_object* x_43; lean_object* x_44; +x_43 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__4; +lean_inc(x_23); +x_44 = l_Lean_Parser_ParserState_mkErrorsAt(x_36, x_43, x_23); +x_24 = x_44; +goto block_35; +} +else +{ +x_24 = x_36; +goto block_35; +} +} +else +{ +lean_object* x_45; lean_object* x_46; +lean_dec(x_39); +x_45 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__4; +lean_inc(x_23); +x_46 = l_Lean_Parser_ParserState_mkErrorsAt(x_36, x_45, x_23); +x_24 = x_46; +goto block_35; +} +} +else +{ +lean_object* x_47; lean_object* x_48; +lean_dec(x_37); +x_47 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__4; +lean_inc(x_23); +x_48 = l_Lean_Parser_ParserState_mkErrorsAt(x_36, x_47, x_23); +x_24 = x_48; +goto block_35; +} +block_35: +{ +lean_object* x_25; +x_25 = lean_ctor_get(x_24, 3); lean_inc(x_25); -x_26 = l_Array_back___at_Lean_Syntax_Traverser_up___spec__2(x_25); -lean_dec(x_25); -if (lean_obj_tag(x_26) == 2) +if (lean_obj_tag(x_25) == 0) { -lean_object* x_27; lean_object* x_28; uint8_t x_29; -x_27 = lean_ctor_get(x_26, 1); -lean_inc(x_27); -lean_dec(x_26); -x_28 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__1; -x_29 = lean_string_dec_eq(x_27, x_28); -lean_dec(x_27); +lean_object* x_26; lean_object* x_27; +lean_dec(x_23); +x_26 = l_Lean_nullKind; +x_27 = l_Lean_Parser_ParserState_mkNode(x_24, x_26, x_22); +x_6 = x_27; +goto block_16; +} +else +{ +lean_object* x_28; uint8_t x_29; +lean_dec(x_25); +x_28 = lean_ctor_get(x_24, 1); +lean_inc(x_28); +x_29 = lean_nat_dec_eq(x_28, x_23); +lean_dec(x_28); if (x_29 == 0) { lean_object* x_30; lean_object* x_31; -x_30 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__4; -lean_inc(x_15); -x_31 = l_Lean_Parser_ParserState_mkErrorsAt(x_23, x_30, x_15); -x_16 = x_31; -goto block_22; +lean_dec(x_23); +x_30 = l_Lean_nullKind; +x_31 = l_Lean_Parser_ParserState_mkNode(x_24, x_30, x_22); +x_6 = x_31; +goto block_16; } else { -x_16 = x_23; -goto block_22; +lean_object* x_32; lean_object* x_33; lean_object* x_34; +x_32 = l_Lean_Parser_ParserState_restore(x_24, x_22, x_23); +x_33 = l_Lean_nullKind; +x_34 = l_Lean_Parser_ParserState_mkNode(x_32, x_33, x_22); +x_6 = x_34; +goto block_16; +} +} } } else { -lean_object* x_32; lean_object* x_33; -lean_dec(x_26); -x_32 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__4; -lean_inc(x_15); -x_33 = l_Lean_Parser_ParserState_mkErrorsAt(x_23, x_32, x_15); -x_16 = x_33; -goto block_22; +lean_dec(x_20); +x_6 = x_19; +goto block_16; } -} -else +block_16: { -lean_object* x_34; lean_object* x_35; -lean_dec(x_24); -x_34 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__4; -lean_inc(x_15); -x_35 = l_Lean_Parser_ParserState_mkErrorsAt(x_23, x_34, x_15); -x_16 = x_35; -goto block_22; -} -block_22: +lean_object* x_7; +x_7 = lean_ctor_get(x_6, 3); +lean_inc(x_7); +if (lean_obj_tag(x_7) == 0) { -lean_object* x_17; -x_17 = lean_ctor_get(x_16, 3); -lean_inc(x_17); -if (lean_obj_tag(x_17) == 0) +lean_object* x_8; uint8_t x_9; +lean_dec(x_4); +x_8 = lean_ctor_get(x_6, 1); +lean_inc(x_8); +x_9 = lean_nat_dec_eq(x_5, x_8); +lean_dec(x_8); +lean_dec(x_5); +if (x_9 == 0) { -lean_dec(x_15); -lean_dec(x_14); -{ -uint8_t _tmp_2 = x_1; -lean_object* _tmp_4 = x_16; -x_3 = _tmp_2; -x_5 = _tmp_4; -} +x_2 = x_6; goto _start; } else { -lean_object* x_19; lean_object* x_20; lean_object* x_21; -lean_dec(x_17); -lean_dec(x_4); -x_19 = l_Lean_Parser_ParserState_restore(x_16, x_14, x_15); -lean_dec(x_14); -x_20 = l_Lean_nullKind; -x_21 = l_Lean_Parser_ParserState_mkNode(x_19, x_20, x_2); -return x_21; -} -} -} -else -{ -lean_object* x_36; uint8_t x_37; -lean_dec(x_12); -lean_dec(x_4); -x_36 = lean_ctor_get(x_11, 1); -lean_inc(x_36); -x_37 = lean_nat_dec_lt(x_8, x_36); -lean_dec(x_36); -if (x_37 == 0) -{ -if (x_3 == 0) -{ -lean_object* x_38; lean_object* x_39; lean_object* x_40; lean_object* x_41; -lean_dec(x_8); -lean_dec(x_7); -x_38 = lean_box(0); -x_39 = l_Lean_Parser_ParserState_pushSyntax(x_11, x_38); -x_40 = l_Lean_nullKind; -x_41 = l_Lean_Parser_ParserState_mkNode(x_39, x_40, x_2); -return x_41; -} -else -{ -lean_object* x_42; lean_object* x_43; lean_object* x_44; -x_42 = l_Lean_Parser_ParserState_restore(x_11, x_7, x_8); -lean_dec(x_7); -x_43 = l_Lean_nullKind; -x_44 = l_Lean_Parser_ParserState_mkNode(x_42, x_43, x_2); -return x_44; +lean_object* x_11; lean_object* x_12; +lean_dec(x_1); +x_11 = l_Lean_Parser_manyAux___main___closed__1; +x_12 = l_Lean_Parser_ParserState_mkUnexpectedError(x_6, x_11); +return x_12; } } else { -lean_dec(x_8); +lean_object* x_13; uint8_t x_14; lean_dec(x_7); -lean_dec(x_2); -return x_11; -} -} -} -} -lean_object* l_Lean_Parser_sepBy1Fn___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__1(uint8_t x_1, lean_object* x_2, lean_object* x_3) { -_start: +lean_dec(x_1); +x_13 = lean_ctor_get(x_6, 1); +lean_inc(x_13); +x_14 = lean_nat_dec_eq(x_5, x_13); +lean_dec(x_13); +if (x_14 == 0) { -lean_object* x_4; lean_object* x_5; uint8_t x_6; lean_object* x_7; -x_4 = lean_ctor_get(x_3, 0); -lean_inc(x_4); -x_5 = lean_array_get_size(x_4); +lean_dec(x_5); lean_dec(x_4); -x_6 = 0; -x_7 = l___private_Lean_Parser_Basic_2__sepByFnAux___main___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__2(x_1, x_5, x_6, x_2, x_3); -return x_7; +return x_6; +} +else +{ +lean_object* x_15; +x_15 = l_Lean_Parser_ParserState_restore(x_6, x_4, x_5); +lean_dec(x_4); +return x_15; +} +} +} } } lean_object* _init_l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__1() { @@ -2795,162 +2813,329 @@ x_8 = lean_ctor_get(x_7, 3); lean_inc(x_8); if (lean_obj_tag(x_8) == 0) { -lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_43; lean_object* x_44; lean_object* x_45; +lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_38; lean_object* x_92; lean_object* x_93; lean_object* x_94; x_9 = lean_ctor_get(x_7, 0); lean_inc(x_9); x_10 = lean_array_get_size(x_9); lean_dec(x_9); -x_43 = lean_ctor_get(x_7, 1); -lean_inc(x_43); +x_92 = lean_ctor_get(x_7, 1); +lean_inc(x_92); lean_inc(x_1); -x_44 = l_Lean_Parser_tokenFn(x_1, x_7); -x_45 = lean_ctor_get(x_44, 3); -lean_inc(x_45); -if (lean_obj_tag(x_45) == 0) +x_93 = l_Lean_Parser_tokenFn(x_1, x_7); +x_94 = lean_ctor_get(x_93, 3); +lean_inc(x_94); +if (lean_obj_tag(x_94) == 0) { -lean_object* x_46; lean_object* x_47; -x_46 = lean_ctor_get(x_44, 0); -lean_inc(x_46); -x_47 = l_Array_back___at_Lean_Syntax_Traverser_up___spec__2(x_46); -lean_dec(x_46); -if (lean_obj_tag(x_47) == 2) +lean_object* x_95; lean_object* x_96; +x_95 = lean_ctor_get(x_93, 0); +lean_inc(x_95); +x_96 = l_Array_back___at_Lean_Syntax_Traverser_up___spec__2(x_95); +lean_dec(x_95); +if (lean_obj_tag(x_96) == 2) { -lean_object* x_48; lean_object* x_49; uint8_t x_50; -x_48 = lean_ctor_get(x_47, 1); -lean_inc(x_48); -lean_dec(x_47); -x_49 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__5; -x_50 = lean_string_dec_eq(x_48, x_49); -lean_dec(x_48); -if (x_50 == 0) +lean_object* x_97; lean_object* x_98; uint8_t x_99; +x_97 = lean_ctor_get(x_96, 1); +lean_inc(x_97); +lean_dec(x_96); +x_98 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__5; +x_99 = lean_string_dec_eq(x_97, x_98); +lean_dec(x_97); +if (x_99 == 0) { -lean_object* x_51; lean_object* x_52; -x_51 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__12; -x_52 = l_Lean_Parser_ParserState_mkErrorsAt(x_44, x_51, x_43); -x_11 = x_52; -goto block_42; +lean_object* x_100; lean_object* x_101; +x_100 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__12; +x_101 = l_Lean_Parser_ParserState_mkErrorsAt(x_93, x_100, x_92); +x_38 = x_101; +goto block_91; } else { -lean_dec(x_43); -x_11 = x_44; -goto block_42; +lean_dec(x_92); +x_38 = x_93; +goto block_91; } } else { -lean_object* x_53; lean_object* x_54; -lean_dec(x_47); -x_53 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__12; -x_54 = l_Lean_Parser_ParserState_mkErrorsAt(x_44, x_53, x_43); -x_11 = x_54; -goto block_42; +lean_object* x_102; lean_object* x_103; +lean_dec(x_96); +x_102 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__12; +x_103 = l_Lean_Parser_ParserState_mkErrorsAt(x_93, x_102, x_92); +x_38 = x_103; +goto block_91; } } else { -lean_object* x_55; lean_object* x_56; -lean_dec(x_45); -x_55 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__12; -x_56 = l_Lean_Parser_ParserState_mkErrorsAt(x_44, x_55, x_43); -x_11 = x_56; -goto block_42; +lean_object* x_104; lean_object* x_105; +lean_dec(x_94); +x_104 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__12; +x_105 = l_Lean_Parser_ParserState_mkErrorsAt(x_93, x_104, x_92); +x_38 = x_105; +goto block_91; } -block_42: +block_37: { lean_object* x_12; x_12 = lean_ctor_get(x_11, 3); lean_inc(x_12); if (lean_obj_tag(x_12) == 0) { -uint8_t x_13; lean_object* x_14; lean_object* x_15; -x_13 = 1; -lean_inc(x_1); -x_14 = l_Lean_Parser_sepBy1Fn___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__1(x_13, x_1, x_11); +lean_object* x_13; lean_object* x_14; lean_object* x_15; +x_13 = lean_ctor_get(x_11, 1); +lean_inc(x_13); +x_14 = l_Lean_Parser_tokenFn(x_1, x_11); x_15 = lean_ctor_get(x_14, 3); lean_inc(x_15); if (lean_obj_tag(x_15) == 0) { -lean_object* x_16; lean_object* x_17; lean_object* x_18; -x_16 = lean_ctor_get(x_14, 1); +lean_object* x_16; lean_object* x_17; +x_16 = lean_ctor_get(x_14, 0); lean_inc(x_16); -x_17 = l_Lean_Parser_tokenFn(x_1, x_14); -x_18 = lean_ctor_get(x_17, 3); -lean_inc(x_18); -if (lean_obj_tag(x_18) == 0) -{ -lean_object* x_19; lean_object* x_20; -x_19 = lean_ctor_get(x_17, 0); -lean_inc(x_19); -x_20 = l_Array_back___at_Lean_Syntax_Traverser_up___spec__2(x_19); -lean_dec(x_19); -if (lean_obj_tag(x_20) == 2) -{ -lean_object* x_21; lean_object* x_22; uint8_t x_23; -x_21 = lean_ctor_get(x_20, 1); -lean_inc(x_21); -lean_dec(x_20); -x_22 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__6; -x_23 = lean_string_dec_eq(x_21, x_22); -lean_dec(x_21); -if (x_23 == 0) -{ -lean_object* x_24; lean_object* x_25; lean_object* x_26; lean_object* x_27; -x_24 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__9; -x_25 = l_Lean_Parser_ParserState_mkErrorsAt(x_17, x_24, x_16); -x_26 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; -x_27 = l_Lean_Parser_ParserState_mkNode(x_25, x_26, x_10); -return x_27; -} -else -{ -lean_object* x_28; lean_object* x_29; +x_17 = l_Array_back___at_Lean_Syntax_Traverser_up___spec__2(x_16); lean_dec(x_16); -x_28 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; -x_29 = l_Lean_Parser_ParserState_mkNode(x_17, x_28, x_10); -return x_29; -} -} -else +if (lean_obj_tag(x_17) == 2) { -lean_object* x_30; lean_object* x_31; lean_object* x_32; lean_object* x_33; -lean_dec(x_20); -x_30 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__9; -x_31 = l_Lean_Parser_ParserState_mkErrorsAt(x_17, x_30, x_16); -x_32 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; -x_33 = l_Lean_Parser_ParserState_mkNode(x_31, x_32, x_10); -return x_33; -} -} -else -{ -lean_object* x_34; lean_object* x_35; lean_object* x_36; lean_object* x_37; +lean_object* x_18; lean_object* x_19; uint8_t x_20; +x_18 = lean_ctor_get(x_17, 1); +lean_inc(x_18); +lean_dec(x_17); +x_19 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__6; +x_20 = lean_string_dec_eq(x_18, x_19); lean_dec(x_18); -x_34 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__9; -x_35 = l_Lean_Parser_ParserState_mkErrorsAt(x_17, x_34, x_16); -x_36 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; -x_37 = l_Lean_Parser_ParserState_mkNode(x_35, x_36, x_10); -return x_37; +if (x_20 == 0) +{ +lean_object* x_21; lean_object* x_22; lean_object* x_23; lean_object* x_24; +x_21 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__9; +x_22 = l_Lean_Parser_ParserState_mkErrorsAt(x_14, x_21, x_13); +x_23 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; +x_24 = l_Lean_Parser_ParserState_mkNode(x_22, x_23, x_10); +return x_24; +} +else +{ +lean_object* x_25; lean_object* x_26; +lean_dec(x_13); +x_25 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; +x_26 = l_Lean_Parser_ParserState_mkNode(x_14, x_25, x_10); +return x_26; } } else { -lean_object* x_38; lean_object* x_39; +lean_object* x_27; lean_object* x_28; lean_object* x_29; lean_object* x_30; +lean_dec(x_17); +x_27 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__9; +x_28 = l_Lean_Parser_ParserState_mkErrorsAt(x_14, x_27, x_13); +x_29 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; +x_30 = l_Lean_Parser_ParserState_mkNode(x_28, x_29, x_10); +return x_30; +} +} +else +{ +lean_object* x_31; lean_object* x_32; lean_object* x_33; lean_object* x_34; lean_dec(x_15); -lean_dec(x_1); -x_38 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; -x_39 = l_Lean_Parser_ParserState_mkNode(x_14, x_38, x_10); -return x_39; +x_31 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__9; +x_32 = l_Lean_Parser_ParserState_mkErrorsAt(x_14, x_31, x_13); +x_33 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; +x_34 = l_Lean_Parser_ParserState_mkNode(x_32, x_33, x_10); +return x_34; } } else { -lean_object* x_40; lean_object* x_41; +lean_object* x_35; lean_object* x_36; lean_dec(x_12); lean_dec(x_1); -x_40 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; -x_41 = l_Lean_Parser_ParserState_mkNode(x_11, x_40, x_10); -return x_41; +x_35 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; +x_36 = l_Lean_Parser_ParserState_mkNode(x_11, x_35, x_10); +return x_36; +} +} +block_91: +{ +lean_object* x_39; +x_39 = lean_ctor_get(x_38, 3); +lean_inc(x_39); +if (lean_obj_tag(x_39) == 0) +{ +lean_object* x_40; lean_object* x_41; lean_object* x_42; lean_object* x_43; uint8_t x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; lean_object* x_48; lean_object* x_49; lean_object* x_57; lean_object* x_58; lean_object* x_59; lean_object* x_60; +x_40 = lean_ctor_get(x_1, 0); +lean_inc(x_40); +x_41 = lean_ctor_get(x_1, 1); +lean_inc(x_41); +x_42 = lean_ctor_get(x_1, 2); +lean_inc(x_42); +x_43 = lean_ctor_get(x_1, 3); +lean_inc(x_43); +x_44 = lean_ctor_get_uint8(x_1, sizeof(void*)*5); +x_45 = lean_box(0); +x_46 = lean_alloc_ctor(0, 5, 1); +lean_ctor_set(x_46, 0, x_40); +lean_ctor_set(x_46, 1, x_41); +lean_ctor_set(x_46, 2, x_42); +lean_ctor_set(x_46, 3, x_43); +lean_ctor_set(x_46, 4, x_45); +lean_ctor_set_uint8(x_46, sizeof(void*)*5, x_44); +x_47 = lean_ctor_get(x_38, 0); +lean_inc(x_47); +x_48 = lean_array_get_size(x_47); +lean_dec(x_47); +x_57 = l_Lean_Parser_regBuiltinDoElemParserAttr___closed__4; +x_58 = lean_unsigned_to_nat(0u); +lean_inc(x_46); +x_59 = l_Lean_Parser_categoryParser___elambda__1(x_57, x_58, x_46, x_38); +x_60 = lean_ctor_get(x_59, 3); +lean_inc(x_60); +if (lean_obj_tag(x_60) == 0) +{ +lean_object* x_61; lean_object* x_62; lean_object* x_63; lean_object* x_64; lean_object* x_76; lean_object* x_77; +x_61 = lean_ctor_get(x_59, 0); +lean_inc(x_61); +x_62 = lean_array_get_size(x_61); +lean_dec(x_61); +x_63 = lean_ctor_get(x_59, 1); +lean_inc(x_63); +lean_inc(x_46); +x_76 = l_Lean_Parser_tokenFn(x_46, x_59); +x_77 = lean_ctor_get(x_76, 3); +lean_inc(x_77); +if (lean_obj_tag(x_77) == 0) +{ +lean_object* x_78; lean_object* x_79; +x_78 = lean_ctor_get(x_76, 0); +lean_inc(x_78); +x_79 = l_Array_back___at_Lean_Syntax_Traverser_up___spec__2(x_78); +lean_dec(x_78); +if (lean_obj_tag(x_79) == 2) +{ +lean_object* x_80; lean_object* x_81; uint8_t x_82; +x_80 = lean_ctor_get(x_79, 1); +lean_inc(x_80); +lean_dec(x_79); +x_81 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__1; +x_82 = lean_string_dec_eq(x_80, x_81); +lean_dec(x_80); +if (x_82 == 0) +{ +lean_object* x_83; lean_object* x_84; +x_83 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__4; +lean_inc(x_63); +x_84 = l_Lean_Parser_ParserState_mkErrorsAt(x_76, x_83, x_63); +x_64 = x_84; +goto block_75; +} +else +{ +x_64 = x_76; +goto block_75; +} +} +else +{ +lean_object* x_85; lean_object* x_86; +lean_dec(x_79); +x_85 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__4; +lean_inc(x_63); +x_86 = l_Lean_Parser_ParserState_mkErrorsAt(x_76, x_85, x_63); +x_64 = x_86; +goto block_75; +} +} +else +{ +lean_object* x_87; lean_object* x_88; +lean_dec(x_77); +x_87 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__4; +lean_inc(x_63); +x_88 = l_Lean_Parser_ParserState_mkErrorsAt(x_76, x_87, x_63); +x_64 = x_88; +goto block_75; +} +block_75: +{ +lean_object* x_65; +x_65 = lean_ctor_get(x_64, 3); +lean_inc(x_65); +if (lean_obj_tag(x_65) == 0) +{ +lean_object* x_66; lean_object* x_67; +lean_dec(x_63); +x_66 = l_Lean_nullKind; +x_67 = l_Lean_Parser_ParserState_mkNode(x_64, x_66, x_62); +x_49 = x_67; +goto block_56; +} +else +{ +lean_object* x_68; uint8_t x_69; +lean_dec(x_65); +x_68 = lean_ctor_get(x_64, 1); +lean_inc(x_68); +x_69 = lean_nat_dec_eq(x_68, x_63); +lean_dec(x_68); +if (x_69 == 0) +{ +lean_object* x_70; lean_object* x_71; +lean_dec(x_63); +x_70 = l_Lean_nullKind; +x_71 = l_Lean_Parser_ParserState_mkNode(x_64, x_70, x_62); +x_49 = x_71; +goto block_56; +} +else +{ +lean_object* x_72; lean_object* x_73; lean_object* x_74; +x_72 = l_Lean_Parser_ParserState_restore(x_64, x_62, x_63); +x_73 = l_Lean_nullKind; +x_74 = l_Lean_Parser_ParserState_mkNode(x_72, x_73, x_62); +x_49 = x_74; +goto block_56; +} +} +} +} +else +{ +lean_dec(x_60); +x_49 = x_59; +goto block_56; +} +block_56: +{ +lean_object* x_50; +x_50 = lean_ctor_get(x_49, 3); +lean_inc(x_50); +if (lean_obj_tag(x_50) == 0) +{ +lean_object* x_51; lean_object* x_52; lean_object* x_53; +x_51 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__1(x_46, x_49); +x_52 = l_Lean_nullKind; +x_53 = l_Lean_Parser_ParserState_mkNode(x_51, x_52, x_48); +x_11 = x_53; +goto block_37; +} +else +{ +lean_object* x_54; lean_object* x_55; +lean_dec(x_50); +lean_dec(x_46); +x_54 = l_Lean_nullKind; +x_55 = l_Lean_Parser_ParserState_mkNode(x_49, x_54, x_48); +x_11 = x_55; +goto block_37; +} +} +} +else +{ +lean_object* x_89; lean_object* x_90; +lean_dec(x_39); +lean_dec(x_1); +x_89 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; +x_90 = l_Lean_Parser_ParserState_mkNode(x_38, x_89, x_10); +return x_90; } } } @@ -2963,235 +3148,407 @@ return x_7; } else { -lean_object* x_57; lean_object* x_58; lean_object* x_59; lean_object* x_60; lean_object* x_61; -x_57 = lean_ctor_get(x_2, 0); -lean_inc(x_57); -x_58 = lean_array_get_size(x_57); -lean_dec(x_57); -x_59 = lean_ctor_get(x_2, 1); -lean_inc(x_59); +lean_object* x_106; lean_object* x_107; lean_object* x_108; lean_object* x_109; lean_object* x_110; +x_106 = lean_ctor_get(x_2, 0); +lean_inc(x_106); +x_107 = lean_array_get_size(x_106); +lean_dec(x_106); +x_108 = lean_ctor_get(x_2, 1); +lean_inc(x_108); lean_inc(x_1); -x_60 = lean_apply_2(x_4, x_1, x_2); -x_61 = lean_ctor_get(x_60, 3); -lean_inc(x_61); -if (lean_obj_tag(x_61) == 0) -{ -lean_dec(x_59); -lean_dec(x_58); -lean_dec(x_1); -return x_60; -} -else -{ -lean_object* x_62; lean_object* x_63; uint8_t x_64; -x_62 = lean_ctor_get(x_61, 0); -lean_inc(x_62); -lean_dec(x_61); -x_63 = lean_ctor_get(x_60, 1); -lean_inc(x_63); -x_64 = lean_nat_dec_eq(x_63, x_59); -lean_dec(x_63); -if (x_64 == 0) -{ -lean_dec(x_62); -lean_dec(x_59); -lean_dec(x_58); -lean_dec(x_1); -return x_60; -} -else -{ -lean_object* x_65; lean_object* x_66; lean_object* x_67; lean_object* x_68; -lean_inc(x_59); -x_65 = l_Lean_Parser_ParserState_restore(x_60, x_58, x_59); -lean_dec(x_58); -x_66 = lean_unsigned_to_nat(1024u); -x_67 = l_Lean_Parser_checkPrecFn(x_66, x_1, x_65); -x_68 = lean_ctor_get(x_67, 3); -lean_inc(x_68); -if (lean_obj_tag(x_68) == 0) -{ -lean_object* x_69; lean_object* x_70; lean_object* x_71; lean_object* x_110; lean_object* x_111; lean_object* x_112; -x_69 = lean_ctor_get(x_67, 0); -lean_inc(x_69); -x_70 = lean_array_get_size(x_69); -lean_dec(x_69); -x_110 = lean_ctor_get(x_67, 1); +x_109 = lean_apply_2(x_4, x_1, x_2); +x_110 = lean_ctor_get(x_109, 3); lean_inc(x_110); -lean_inc(x_1); -x_111 = l_Lean_Parser_tokenFn(x_1, x_67); -x_112 = lean_ctor_get(x_111, 3); -lean_inc(x_112); -if (lean_obj_tag(x_112) == 0) +if (lean_obj_tag(x_110) == 0) { -lean_object* x_113; lean_object* x_114; -x_113 = lean_ctor_get(x_111, 0); -lean_inc(x_113); -x_114 = l_Array_back___at_Lean_Syntax_Traverser_up___spec__2(x_113); -lean_dec(x_113); -if (lean_obj_tag(x_114) == 2) -{ -lean_object* x_115; lean_object* x_116; uint8_t x_117; -x_115 = lean_ctor_get(x_114, 1); -lean_inc(x_115); -lean_dec(x_114); -x_116 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__5; -x_117 = lean_string_dec_eq(x_115, x_116); -lean_dec(x_115); -if (x_117 == 0) -{ -lean_object* x_118; lean_object* x_119; -x_118 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__12; -x_119 = l_Lean_Parser_ParserState_mkErrorsAt(x_111, x_118, x_110); -x_71 = x_119; -goto block_109; +lean_dec(x_108); +lean_dec(x_107); +lean_dec(x_1); +return x_109; } else { +lean_object* x_111; lean_object* x_112; uint8_t x_113; +x_111 = lean_ctor_get(x_110, 0); +lean_inc(x_111); lean_dec(x_110); -x_71 = x_111; -goto block_109; -} -} -else -{ -lean_object* x_120; lean_object* x_121; -lean_dec(x_114); -x_120 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__12; -x_121 = l_Lean_Parser_ParserState_mkErrorsAt(x_111, x_120, x_110); -x_71 = x_121; -goto block_109; -} -} -else -{ -lean_object* x_122; lean_object* x_123; +x_112 = lean_ctor_get(x_109, 1); +lean_inc(x_112); +x_113 = lean_nat_dec_eq(x_112, x_108); lean_dec(x_112); -x_122 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__12; -x_123 = l_Lean_Parser_ParserState_mkErrorsAt(x_111, x_122, x_110); -x_71 = x_123; -goto block_109; +if (x_113 == 0) +{ +lean_dec(x_111); +lean_dec(x_108); +lean_dec(x_107); +lean_dec(x_1); +return x_109; } -block_109: +else { -lean_object* x_72; -x_72 = lean_ctor_get(x_71, 3); -lean_inc(x_72); -if (lean_obj_tag(x_72) == 0) +lean_object* x_114; lean_object* x_115; lean_object* x_116; lean_object* x_117; +lean_inc(x_108); +x_114 = l_Lean_Parser_ParserState_restore(x_109, x_107, x_108); +lean_dec(x_107); +x_115 = lean_unsigned_to_nat(1024u); +x_116 = l_Lean_Parser_checkPrecFn(x_115, x_1, x_114); +x_117 = lean_ctor_get(x_116, 3); +lean_inc(x_117); +if (lean_obj_tag(x_117) == 0) { -uint8_t x_73; lean_object* x_74; lean_object* x_75; -x_73 = 1; +lean_object* x_118; lean_object* x_119; lean_object* x_120; lean_object* x_157; lean_object* x_213; lean_object* x_214; lean_object* x_215; +x_118 = lean_ctor_get(x_116, 0); +lean_inc(x_118); +x_119 = lean_array_get_size(x_118); +lean_dec(x_118); +x_213 = lean_ctor_get(x_116, 1); +lean_inc(x_213); lean_inc(x_1); -x_74 = l_Lean_Parser_sepBy1Fn___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__1(x_73, x_1, x_71); -x_75 = lean_ctor_get(x_74, 3); -lean_inc(x_75); -if (lean_obj_tag(x_75) == 0) +x_214 = l_Lean_Parser_tokenFn(x_1, x_116); +x_215 = lean_ctor_get(x_214, 3); +lean_inc(x_215); +if (lean_obj_tag(x_215) == 0) { -lean_object* x_76; lean_object* x_77; lean_object* x_78; -x_76 = lean_ctor_get(x_74, 1); -lean_inc(x_76); -x_77 = l_Lean_Parser_tokenFn(x_1, x_74); -x_78 = lean_ctor_get(x_77, 3); -lean_inc(x_78); -if (lean_obj_tag(x_78) == 0) +lean_object* x_216; lean_object* x_217; +x_216 = lean_ctor_get(x_214, 0); +lean_inc(x_216); +x_217 = l_Array_back___at_Lean_Syntax_Traverser_up___spec__2(x_216); +lean_dec(x_216); +if (lean_obj_tag(x_217) == 2) { -lean_object* x_79; lean_object* x_80; -x_79 = lean_ctor_get(x_77, 0); -lean_inc(x_79); -x_80 = l_Array_back___at_Lean_Syntax_Traverser_up___spec__2(x_79); -lean_dec(x_79); -if (lean_obj_tag(x_80) == 2) +lean_object* x_218; lean_object* x_219; uint8_t x_220; +x_218 = lean_ctor_get(x_217, 1); +lean_inc(x_218); +lean_dec(x_217); +x_219 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__5; +x_220 = lean_string_dec_eq(x_218, x_219); +lean_dec(x_218); +if (x_220 == 0) { -lean_object* x_81; lean_object* x_82; uint8_t x_83; -x_81 = lean_ctor_get(x_80, 1); -lean_inc(x_81); -lean_dec(x_80); -x_82 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__6; -x_83 = lean_string_dec_eq(x_81, x_82); -lean_dec(x_81); -if (x_83 == 0) -{ -lean_object* x_84; lean_object* x_85; lean_object* x_86; lean_object* x_87; lean_object* x_88; -x_84 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__9; -x_85 = l_Lean_Parser_ParserState_mkErrorsAt(x_77, x_84, x_76); -x_86 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; -x_87 = l_Lean_Parser_ParserState_mkNode(x_85, x_86, x_70); -x_88 = l_Lean_Parser_mergeOrElseErrors(x_87, x_62, x_59, x_73); -lean_dec(x_59); -return x_88; +lean_object* x_221; lean_object* x_222; +x_221 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__12; +x_222 = l_Lean_Parser_ParserState_mkErrorsAt(x_214, x_221, x_213); +x_157 = x_222; +goto block_212; } else { -lean_object* x_89; lean_object* x_90; lean_object* x_91; -lean_dec(x_76); -x_89 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; -x_90 = l_Lean_Parser_ParserState_mkNode(x_77, x_89, x_70); -x_91 = l_Lean_Parser_mergeOrElseErrors(x_90, x_62, x_59, x_73); -lean_dec(x_59); -return x_91; +lean_dec(x_213); +x_157 = x_214; +goto block_212; } } else { -lean_object* x_92; lean_object* x_93; lean_object* x_94; lean_object* x_95; lean_object* x_96; -lean_dec(x_80); -x_92 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__9; -x_93 = l_Lean_Parser_ParserState_mkErrorsAt(x_77, x_92, x_76); -x_94 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; -x_95 = l_Lean_Parser_ParserState_mkNode(x_93, x_94, x_70); -x_96 = l_Lean_Parser_mergeOrElseErrors(x_95, x_62, x_59, x_73); -lean_dec(x_59); -return x_96; +lean_object* x_223; lean_object* x_224; +lean_dec(x_217); +x_223 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__12; +x_224 = l_Lean_Parser_ParserState_mkErrorsAt(x_214, x_223, x_213); +x_157 = x_224; +goto block_212; } } else { -lean_object* x_97; lean_object* x_98; lean_object* x_99; lean_object* x_100; lean_object* x_101; -lean_dec(x_78); -x_97 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__9; -x_98 = l_Lean_Parser_ParserState_mkErrorsAt(x_77, x_97, x_76); -x_99 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; -x_100 = l_Lean_Parser_ParserState_mkNode(x_98, x_99, x_70); -x_101 = l_Lean_Parser_mergeOrElseErrors(x_100, x_62, x_59, x_73); -lean_dec(x_59); -return x_101; +lean_object* x_225; lean_object* x_226; +lean_dec(x_215); +x_225 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__12; +x_226 = l_Lean_Parser_ParserState_mkErrorsAt(x_214, x_225, x_213); +x_157 = x_226; +goto block_212; +} +block_156: +{ +lean_object* x_121; +x_121 = lean_ctor_get(x_120, 3); +lean_inc(x_121); +if (lean_obj_tag(x_121) == 0) +{ +lean_object* x_122; lean_object* x_123; lean_object* x_124; +x_122 = lean_ctor_get(x_120, 1); +lean_inc(x_122); +x_123 = l_Lean_Parser_tokenFn(x_1, x_120); +x_124 = lean_ctor_get(x_123, 3); +lean_inc(x_124); +if (lean_obj_tag(x_124) == 0) +{ +lean_object* x_125; lean_object* x_126; +x_125 = lean_ctor_get(x_123, 0); +lean_inc(x_125); +x_126 = l_Array_back___at_Lean_Syntax_Traverser_up___spec__2(x_125); +lean_dec(x_125); +if (lean_obj_tag(x_126) == 2) +{ +lean_object* x_127; lean_object* x_128; uint8_t x_129; +x_127 = lean_ctor_get(x_126, 1); +lean_inc(x_127); +lean_dec(x_126); +x_128 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__6; +x_129 = lean_string_dec_eq(x_127, x_128); +lean_dec(x_127); +if (x_129 == 0) +{ +lean_object* x_130; lean_object* x_131; lean_object* x_132; lean_object* x_133; uint8_t x_134; lean_object* x_135; +x_130 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__9; +x_131 = l_Lean_Parser_ParserState_mkErrorsAt(x_123, x_130, x_122); +x_132 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; +x_133 = l_Lean_Parser_ParserState_mkNode(x_131, x_132, x_119); +x_134 = 1; +x_135 = l_Lean_Parser_mergeOrElseErrors(x_133, x_111, x_108, x_134); +lean_dec(x_108); +return x_135; +} +else +{ +lean_object* x_136; lean_object* x_137; uint8_t x_138; lean_object* x_139; +lean_dec(x_122); +x_136 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; +x_137 = l_Lean_Parser_ParserState_mkNode(x_123, x_136, x_119); +x_138 = 1; +x_139 = l_Lean_Parser_mergeOrElseErrors(x_137, x_111, x_108, x_138); +lean_dec(x_108); +return x_139; } } else { -lean_object* x_102; lean_object* x_103; lean_object* x_104; -lean_dec(x_75); +lean_object* x_140; lean_object* x_141; lean_object* x_142; lean_object* x_143; uint8_t x_144; lean_object* x_145; +lean_dec(x_126); +x_140 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__9; +x_141 = l_Lean_Parser_ParserState_mkErrorsAt(x_123, x_140, x_122); +x_142 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; +x_143 = l_Lean_Parser_ParserState_mkNode(x_141, x_142, x_119); +x_144 = 1; +x_145 = l_Lean_Parser_mergeOrElseErrors(x_143, x_111, x_108, x_144); +lean_dec(x_108); +return x_145; +} +} +else +{ +lean_object* x_146; lean_object* x_147; lean_object* x_148; lean_object* x_149; uint8_t x_150; lean_object* x_151; +lean_dec(x_124); +x_146 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__9; +x_147 = l_Lean_Parser_ParserState_mkErrorsAt(x_123, x_146, x_122); +x_148 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; +x_149 = l_Lean_Parser_ParserState_mkNode(x_147, x_148, x_119); +x_150 = 1; +x_151 = l_Lean_Parser_mergeOrElseErrors(x_149, x_111, x_108, x_150); +lean_dec(x_108); +return x_151; +} +} +else +{ +lean_object* x_152; lean_object* x_153; uint8_t x_154; lean_object* x_155; +lean_dec(x_121); lean_dec(x_1); -x_102 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; -x_103 = l_Lean_Parser_ParserState_mkNode(x_74, x_102, x_70); -x_104 = l_Lean_Parser_mergeOrElseErrors(x_103, x_62, x_59, x_73); -lean_dec(x_59); -return x_104; +x_152 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; +x_153 = l_Lean_Parser_ParserState_mkNode(x_120, x_152, x_119); +x_154 = 1; +x_155 = l_Lean_Parser_mergeOrElseErrors(x_153, x_111, x_108, x_154); +lean_dec(x_108); +return x_155; +} +} +block_212: +{ +lean_object* x_158; +x_158 = lean_ctor_get(x_157, 3); +lean_inc(x_158); +if (lean_obj_tag(x_158) == 0) +{ +lean_object* x_159; lean_object* x_160; lean_object* x_161; lean_object* x_162; uint8_t x_163; lean_object* x_164; lean_object* x_165; lean_object* x_166; lean_object* x_167; lean_object* x_168; lean_object* x_176; lean_object* x_177; lean_object* x_178; lean_object* x_179; +x_159 = lean_ctor_get(x_1, 0); +lean_inc(x_159); +x_160 = lean_ctor_get(x_1, 1); +lean_inc(x_160); +x_161 = lean_ctor_get(x_1, 2); +lean_inc(x_161); +x_162 = lean_ctor_get(x_1, 3); +lean_inc(x_162); +x_163 = lean_ctor_get_uint8(x_1, sizeof(void*)*5); +x_164 = lean_box(0); +x_165 = lean_alloc_ctor(0, 5, 1); +lean_ctor_set(x_165, 0, x_159); +lean_ctor_set(x_165, 1, x_160); +lean_ctor_set(x_165, 2, x_161); +lean_ctor_set(x_165, 3, x_162); +lean_ctor_set(x_165, 4, x_164); +lean_ctor_set_uint8(x_165, sizeof(void*)*5, x_163); +x_166 = lean_ctor_get(x_157, 0); +lean_inc(x_166); +x_167 = lean_array_get_size(x_166); +lean_dec(x_166); +x_176 = l_Lean_Parser_regBuiltinDoElemParserAttr___closed__4; +x_177 = lean_unsigned_to_nat(0u); +lean_inc(x_165); +x_178 = l_Lean_Parser_categoryParser___elambda__1(x_176, x_177, x_165, x_157); +x_179 = lean_ctor_get(x_178, 3); +lean_inc(x_179); +if (lean_obj_tag(x_179) == 0) +{ +lean_object* x_180; lean_object* x_181; lean_object* x_182; lean_object* x_183; lean_object* x_195; lean_object* x_196; +x_180 = lean_ctor_get(x_178, 0); +lean_inc(x_180); +x_181 = lean_array_get_size(x_180); +lean_dec(x_180); +x_182 = lean_ctor_get(x_178, 1); +lean_inc(x_182); +lean_inc(x_165); +x_195 = l_Lean_Parser_tokenFn(x_165, x_178); +x_196 = lean_ctor_get(x_195, 3); +lean_inc(x_196); +if (lean_obj_tag(x_196) == 0) +{ +lean_object* x_197; lean_object* x_198; +x_197 = lean_ctor_get(x_195, 0); +lean_inc(x_197); +x_198 = l_Array_back___at_Lean_Syntax_Traverser_up___spec__2(x_197); +lean_dec(x_197); +if (lean_obj_tag(x_198) == 2) +{ +lean_object* x_199; lean_object* x_200; uint8_t x_201; +x_199 = lean_ctor_get(x_198, 1); +lean_inc(x_199); +lean_dec(x_198); +x_200 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__1; +x_201 = lean_string_dec_eq(x_199, x_200); +lean_dec(x_199); +if (x_201 == 0) +{ +lean_object* x_202; lean_object* x_203; +x_202 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__4; +lean_inc(x_182); +x_203 = l_Lean_Parser_ParserState_mkErrorsAt(x_195, x_202, x_182); +x_183 = x_203; +goto block_194; +} +else +{ +x_183 = x_195; +goto block_194; } } else { -lean_object* x_105; lean_object* x_106; uint8_t x_107; lean_object* x_108; -lean_dec(x_72); -lean_dec(x_1); -x_105 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; -x_106 = l_Lean_Parser_ParserState_mkNode(x_71, x_105, x_70); -x_107 = 1; -x_108 = l_Lean_Parser_mergeOrElseErrors(x_106, x_62, x_59, x_107); -lean_dec(x_59); -return x_108; +lean_object* x_204; lean_object* x_205; +lean_dec(x_198); +x_204 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__4; +lean_inc(x_182); +x_205 = l_Lean_Parser_ParserState_mkErrorsAt(x_195, x_204, x_182); +x_183 = x_205; +goto block_194; +} +} +else +{ +lean_object* x_206; lean_object* x_207; +lean_dec(x_196); +x_206 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___spec__1___closed__4; +lean_inc(x_182); +x_207 = l_Lean_Parser_ParserState_mkErrorsAt(x_195, x_206, x_182); +x_183 = x_207; +goto block_194; +} +block_194: +{ +lean_object* x_184; +x_184 = lean_ctor_get(x_183, 3); +lean_inc(x_184); +if (lean_obj_tag(x_184) == 0) +{ +lean_object* x_185; lean_object* x_186; +lean_dec(x_182); +x_185 = l_Lean_nullKind; +x_186 = l_Lean_Parser_ParserState_mkNode(x_183, x_185, x_181); +x_168 = x_186; +goto block_175; +} +else +{ +lean_object* x_187; uint8_t x_188; +lean_dec(x_184); +x_187 = lean_ctor_get(x_183, 1); +lean_inc(x_187); +x_188 = lean_nat_dec_eq(x_187, x_182); +lean_dec(x_187); +if (x_188 == 0) +{ +lean_object* x_189; lean_object* x_190; +lean_dec(x_182); +x_189 = l_Lean_nullKind; +x_190 = l_Lean_Parser_ParserState_mkNode(x_183, x_189, x_181); +x_168 = x_190; +goto block_175; +} +else +{ +lean_object* x_191; lean_object* x_192; lean_object* x_193; +x_191 = l_Lean_Parser_ParserState_restore(x_183, x_181, x_182); +x_192 = l_Lean_nullKind; +x_193 = l_Lean_Parser_ParserState_mkNode(x_191, x_192, x_181); +x_168 = x_193; +goto block_175; +} } } } else { -uint8_t x_124; lean_object* x_125; -lean_dec(x_68); +lean_dec(x_179); +x_168 = x_178; +goto block_175; +} +block_175: +{ +lean_object* x_169; +x_169 = lean_ctor_get(x_168, 3); +lean_inc(x_169); +if (lean_obj_tag(x_169) == 0) +{ +lean_object* x_170; lean_object* x_171; lean_object* x_172; +x_170 = l_Lean_Parser_manyAux___main___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__1(x_165, x_168); +x_171 = l_Lean_nullKind; +x_172 = l_Lean_Parser_ParserState_mkNode(x_170, x_171, x_167); +x_120 = x_172; +goto block_156; +} +else +{ +lean_object* x_173; lean_object* x_174; +lean_dec(x_169); +lean_dec(x_165); +x_173 = l_Lean_nullKind; +x_174 = l_Lean_Parser_ParserState_mkNode(x_168, x_173, x_167); +x_120 = x_174; +goto block_156; +} +} +} +else +{ +lean_object* x_208; lean_object* x_209; uint8_t x_210; lean_object* x_211; +lean_dec(x_158); lean_dec(x_1); -x_124 = 1; -x_125 = l_Lean_Parser_mergeOrElseErrors(x_67, x_62, x_59, x_124); -lean_dec(x_59); -return x_125; +x_208 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; +x_209 = l_Lean_Parser_ParserState_mkNode(x_157, x_208, x_119); +x_210 = 1; +x_211 = l_Lean_Parser_mergeOrElseErrors(x_209, x_111, x_108, x_210); +lean_dec(x_108); +return x_211; +} +} +} +else +{ +uint8_t x_227; lean_object* x_228; +lean_dec(x_117); +lean_dec(x_1); +x_227 = 1; +x_228 = l_Lean_Parser_mergeOrElseErrors(x_116, x_111, x_108, x_227); +lean_dec(x_108); +return x_228; } } } @@ -3201,21 +3558,19 @@ return x_125; lean_object* _init_l_Lean_Parser_Term_doSeqBracketed___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_doSeqIndent___closed__1; -x_2 = lean_ctor_get(x_1, 0); -lean_inc(x_2); -x_3 = l_Lean_Parser_Tactic_tacticSeq1Indented___closed__2; -x_4 = l_Lean_Parser_sepBy1Info(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_doSeqIndent___closed__2; +x_2 = l_Lean_Parser_Tactic_tacticSeqBracketed___closed__3; +x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); +return x_3; } } lean_object* _init_l_Lean_Parser_Term_doSeqBracketed___closed__2() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doSeqBracketed___closed__1; -x_2 = l_Lean_Parser_Tactic_tacticSeqBracketed___closed__3; +x_1 = l_Lean_Parser_Tactic_tacticSeqBracketed___closed__1; +x_2 = l_Lean_Parser_Term_doSeqBracketed___closed__1; x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); return x_3; } @@ -3224,9 +3579,9 @@ lean_object* _init_l_Lean_Parser_Term_doSeqBracketed___closed__3() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Tactic_tacticSeqBracketed___closed__1; +x_1 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; x_2 = l_Lean_Parser_Term_doSeqBracketed___closed__2; -x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); +x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); return x_3; } } @@ -3234,35 +3589,25 @@ lean_object* _init_l_Lean_Parser_Term_doSeqBracketed___closed__4() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__2; +x_1 = l_Lean_Parser_epsilonInfo; x_2 = l_Lean_Parser_Term_doSeqBracketed___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; } } lean_object* _init_l_Lean_Parser_Term_doSeqBracketed___closed__5() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_epsilonInfo; -x_2 = l_Lean_Parser_Term_doSeqBracketed___closed__4; -x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); -return x_3; -} -} -lean_object* _init_l_Lean_Parser_Term_doSeqBracketed___closed__6() { -_start: -{ lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; x_1 = l_Lean_Parser_Term_doSeqBracketed___elambda__1___closed__4; x_2 = lean_ctor_get(x_1, 0); lean_inc(x_2); -x_3 = l_Lean_Parser_Term_doSeqBracketed___closed__5; +x_3 = l_Lean_Parser_Term_doSeqBracketed___closed__4; x_4 = l_Lean_Parser_orelseInfo(x_2, x_3); return x_4; } } -lean_object* _init_l_Lean_Parser_Term_doSeqBracketed___closed__7() { +lean_object* _init_l_Lean_Parser_Term_doSeqBracketed___closed__6() { _start: { lean_object* x_1; @@ -3270,12 +3615,12 @@ x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_doSeqBracketed___elambda__1) return x_1; } } -lean_object* _init_l_Lean_Parser_Term_doSeqBracketed___closed__8() { +lean_object* _init_l_Lean_Parser_Term_doSeqBracketed___closed__7() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doSeqBracketed___closed__6; -x_2 = l_Lean_Parser_Term_doSeqBracketed___closed__7; +x_1 = l_Lean_Parser_Term_doSeqBracketed___closed__5; +x_2 = l_Lean_Parser_Term_doSeqBracketed___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); @@ -3286,32 +3631,10 @@ lean_object* _init_l_Lean_Parser_Term_doSeqBracketed() { _start: { lean_object* x_1; -x_1 = l_Lean_Parser_Term_doSeqBracketed___closed__8; +x_1 = l_Lean_Parser_Term_doSeqBracketed___closed__7; return x_1; } } -lean_object* l___private_Lean_Parser_Basic_2__sepByFnAux___main___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__2___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { -_start: -{ -uint8_t x_6; uint8_t x_7; lean_object* x_8; -x_6 = lean_unbox(x_1); -lean_dec(x_1); -x_7 = lean_unbox(x_3); -lean_dec(x_3); -x_8 = l___private_Lean_Parser_Basic_2__sepByFnAux___main___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__2(x_6, x_2, x_7, x_4, x_5); -return x_8; -} -} -lean_object* l_Lean_Parser_sepBy1Fn___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__1___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) { -_start: -{ -uint8_t x_4; lean_object* x_5; -x_4 = lean_unbox(x_1); -lean_dec(x_1); -x_5 = l_Lean_Parser_sepBy1Fn___at_Lean_Parser_Term_doSeqBracketed___elambda__1___spec__1(x_4, x_2, x_3); -return x_5; -} -} lean_object* l_Lean_Parser_Term_doSeq___elambda__1(lean_object* x_1, lean_object* x_2) { _start: { @@ -11249,8 +11572,8 @@ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Term_doSeqBracketed_formatter___closed__2; -x_2 = l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__3; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_sepBy1_formatter), 7, 2); +x_2 = l_Lean_Parser_Tactic_tacticSeqBracketed_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; @@ -11259,8 +11582,28 @@ return x_3; lean_object* _init_l_Lean_Parser_Term_doSeqBracketed_formatter___closed__4() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; +lean_object* x_1; lean_object* x_2; x_1 = l_Lean_Parser_Term_doSeqBracketed_formatter___closed__3; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_many1_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +lean_object* _init_l_Lean_Parser_Term_doSeqBracketed_formatter___closed__5() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doSeqBracketed_formatter___closed__4; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_withoutPosition_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +lean_object* _init_l_Lean_Parser_Term_doSeqBracketed_formatter___closed__6() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_doSeqBracketed_formatter___closed__5; x_2 = l_Lean_Parser_Tactic_tacticSeqBracketed_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); @@ -11268,25 +11611,25 @@ lean_closure_set(x_3, 1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_doSeqBracketed_formatter___closed__5() { +lean_object* _init_l_Lean_Parser_Term_doSeqBracketed_formatter___closed__7() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__2; -x_2 = l_Lean_Parser_Term_doSeqBracketed_formatter___closed__4; +x_2 = l_Lean_Parser_Term_doSeqBracketed_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; } } -lean_object* _init_l_Lean_Parser_Term_doSeqBracketed_formatter___closed__6() { +lean_object* _init_l_Lean_Parser_Term_doSeqBracketed_formatter___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_doSeqBracketed___elambda__1___closed__2; x_2 = lean_unsigned_to_nat(1024u); -x_3 = l_Lean_Parser_Term_doSeqBracketed_formatter___closed__5; +x_3 = l_Lean_Parser_Term_doSeqBracketed_formatter___closed__7; 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); @@ -11299,28 +11642,16 @@ _start: { lean_object* x_6; lean_object* x_7; lean_object* x_8; x_6 = l_Lean_Parser_Term_doSeqBracketed_formatter___closed__1; -x_7 = l_Lean_Parser_Term_doSeqBracketed_formatter___closed__6; +x_7 = l_Lean_Parser_Term_doSeqBracketed_formatter___closed__8; 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; } } -lean_object* _init_l_Lean_Parser_Term_doSeqIndent_formatter___closed__1() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doSeqBracketed_formatter___closed__2; -x_2 = l_Lean_Parser_Tactic_tacticSeqBracketed_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; -} -} lean_object* l_Lean_Parser_Term_doSeqIndent_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_doSeqIndent_formatter___closed__1; +x_6 = l_Lean_Parser_Term_doSeqBracketed_formatter___closed__3; x_7 = l_Lean_Parser_many1Indent_formatter(x_6, x_1, x_2, x_3, x_4, x_5); return x_7; } @@ -11672,8 +12003,8 @@ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__2; -x_2 = l_Lean_Parser_antiquotNestedExpr_parenthesizer___closed__3; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_sepBy1_parenthesizer), 7, 2); +x_2 = l_Lean_Parser_Tactic_tacticSeqBracketed_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; @@ -11682,8 +12013,28 @@ return x_3; lean_object* _init_l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__4() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; +lean_object* x_1; lean_object* x_2; x_1 = l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__3; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_many1_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +lean_object* _init_l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__5() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__4; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_withoutPosition_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +lean_object* _init_l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__6() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__5; x_2 = l_Lean_Parser_antiquotNestedExpr_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); @@ -11691,25 +12042,25 @@ lean_closure_set(x_3, 1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__5() { +lean_object* _init_l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__7() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_antiquotNestedExpr_parenthesizer___closed__3; -x_2 = l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__4; +x_2 = l_Lean_Parser_Term_doSeqBracketed_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; } } -lean_object* _init_l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__6() { +lean_object* _init_l_Lean_Parser_Term_doSeqBracketed_parenthesizer___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_doSeqBracketed___elambda__1___closed__2; x_2 = lean_unsigned_to_nat(1024u); -x_3 = l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__5; +x_3 = l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__7; 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); @@ -11722,28 +12073,16 @@ _start: { lean_object* x_6; lean_object* x_7; lean_object* x_8; x_6 = l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__1; -x_7 = l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__6; +x_7 = l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__8; 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; } } -lean_object* _init_l_Lean_Parser_Term_doSeqIndent_parenthesizer___closed__1() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__2; -x_2 = l_Lean_Parser_Tactic_tacticSeqBracketed_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* l_Lean_Parser_Term_doSeqIndent_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_doSeqIndent_parenthesizer___closed__1; +x_6 = l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__3; x_7 = l_Lean_Parser_many1Indent_parenthesizer(x_6, x_1, x_2, x_3, x_4, x_5); return x_7; } @@ -19977,7 +20316,46 @@ x_5 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_1); return x_5; } } -lean_object* _init_l_Lean_Parser_Term_break___elambda__1___closed__1() { +lean_object* _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__1() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("doBreak"); +return x_1; +} +} +lean_object* _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_mkAppStx___closed__6; +x_2 = l_Lean_Parser_Term_doBreak___elambda__1___closed__1; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +lean_object* _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doBreak___elambda__1___closed__2; +x_2 = lean_alloc_ctor(1, 1, 0); +lean_ctor_set(x_2, 0, x_1); +return x_2; +} +} +lean_object* _init_l_Lean_Parser_Term_doBreak___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_doBreak___elambda__1___closed__1; +x_2 = l_Lean_Parser_Term_doBreak___elambda__1___closed__3; +x_3 = 1; +x_4 = l_Lean_Parser_mkAntiquot(x_1, x_2, x_3); +return x_4; +} +} +lean_object* _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__5() { _start: { lean_object* x_1; @@ -19985,83 +20363,52 @@ x_1 = lean_mk_string("break"); return x_1; } } -lean_object* _init_l_Lean_Parser_Term_break___elambda__1___closed__2() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_mkAppStx___closed__6; -x_2 = l_Lean_Parser_Term_break___elambda__1___closed__1; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -lean_object* _init_l_Lean_Parser_Term_break___elambda__1___closed__3() { +lean_object* _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__6() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_break___elambda__1___closed__2; -x_2 = lean_alloc_ctor(1, 1, 0); -lean_ctor_set(x_2, 0, x_1); -return x_2; -} -} -lean_object* _init_l_Lean_Parser_Term_break___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_break___elambda__1___closed__1; -x_2 = l_Lean_Parser_Term_break___elambda__1___closed__3; -x_3 = 1; -x_4 = l_Lean_Parser_mkAntiquot(x_1, x_2, x_3); -return x_4; -} -} -lean_object* _init_l_Lean_Parser_Term_break___elambda__1___closed__5() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_break___elambda__1___closed__1; +x_1 = l_Lean_Parser_Term_doBreak___elambda__1___closed__5; x_2 = l_String_trim(x_1); return x_2; } } -lean_object* _init_l_Lean_Parser_Term_break___elambda__1___closed__6() { +lean_object* _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__7() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Char_HasRepr___closed__1; -x_2 = l_Lean_Parser_Term_break___elambda__1___closed__5; +x_2 = l_Lean_Parser_Term_doBreak___elambda__1___closed__6; x_3 = lean_string_append(x_1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_break___elambda__1___closed__7() { +lean_object* _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__8() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_break___elambda__1___closed__6; +x_1 = l_Lean_Parser_Term_doBreak___elambda__1___closed__7; x_2 = l_Char_HasRepr___closed__1; x_3 = lean_string_append(x_1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_break___elambda__1___closed__8() { +lean_object* _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__9() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l_Lean_Parser_Term_break___elambda__1___closed__7; +x_2 = l_Lean_Parser_Term_doBreak___elambda__1___closed__8; x_3 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_3, 0, x_2); lean_ctor_set(x_3, 1, x_1); return x_3; } } -lean_object* l_Lean_Parser_Term_break___elambda__1(lean_object* x_1, lean_object* x_2) { +lean_object* l_Lean_Parser_Term_doBreak___elambda__1(lean_object* x_1, lean_object* x_2) { _start: { lean_object* x_3; lean_object* x_4; uint8_t x_5; -x_3 = l_Lean_Parser_Term_break___elambda__1___closed__4; +x_3 = l_Lean_Parser_Term_doBreak___elambda__1___closed__4; x_4 = lean_ctor_get(x_3, 1); lean_inc(x_4); lean_inc(x_2); @@ -20100,15 +20447,15 @@ lean_object* x_16; lean_object* x_17; uint8_t x_18; x_16 = lean_ctor_get(x_15, 1); lean_inc(x_16); lean_dec(x_15); -x_17 = l_Lean_Parser_Term_break___elambda__1___closed__5; +x_17 = l_Lean_Parser_Term_doBreak___elambda__1___closed__6; x_18 = lean_string_dec_eq(x_16, x_17); lean_dec(x_16); if (x_18 == 0) { lean_object* x_19; lean_object* x_20; lean_object* x_21; lean_object* x_22; -x_19 = l_Lean_Parser_Term_break___elambda__1___closed__8; +x_19 = l_Lean_Parser_Term_doBreak___elambda__1___closed__9; x_20 = l_Lean_Parser_ParserState_mkErrorsAt(x_12, x_19, x_11); -x_21 = l_Lean_Parser_Term_break___elambda__1___closed__2; +x_21 = l_Lean_Parser_Term_doBreak___elambda__1___closed__2; x_22 = l_Lean_Parser_ParserState_mkNode(x_20, x_21, x_10); return x_22; } @@ -20116,7 +20463,7 @@ else { lean_object* x_23; lean_object* x_24; lean_dec(x_11); -x_23 = l_Lean_Parser_Term_break___elambda__1___closed__2; +x_23 = l_Lean_Parser_Term_doBreak___elambda__1___closed__2; x_24 = l_Lean_Parser_ParserState_mkNode(x_12, x_23, x_10); return x_24; } @@ -20125,9 +20472,9 @@ else { lean_object* x_25; lean_object* x_26; lean_object* x_27; lean_object* x_28; lean_dec(x_15); -x_25 = l_Lean_Parser_Term_break___elambda__1___closed__8; +x_25 = l_Lean_Parser_Term_doBreak___elambda__1___closed__9; x_26 = l_Lean_Parser_ParserState_mkErrorsAt(x_12, x_25, x_11); -x_27 = l_Lean_Parser_Term_break___elambda__1___closed__2; +x_27 = l_Lean_Parser_Term_doBreak___elambda__1___closed__2; x_28 = l_Lean_Parser_ParserState_mkNode(x_26, x_27, x_10); return x_28; } @@ -20136,9 +20483,9 @@ else { lean_object* x_29; lean_object* x_30; lean_object* x_31; lean_object* x_32; lean_dec(x_13); -x_29 = l_Lean_Parser_Term_break___elambda__1___closed__8; +x_29 = l_Lean_Parser_Term_doBreak___elambda__1___closed__9; x_30 = l_Lean_Parser_ParserState_mkErrorsAt(x_12, x_29, x_11); -x_31 = l_Lean_Parser_Term_break___elambda__1___closed__2; +x_31 = l_Lean_Parser_Term_doBreak___elambda__1___closed__2; x_32 = l_Lean_Parser_ParserState_mkNode(x_30, x_31, x_10); return x_32; } @@ -20223,15 +20570,15 @@ lean_object* x_52; lean_object* x_53; uint8_t x_54; x_52 = lean_ctor_get(x_51, 1); lean_inc(x_52); lean_dec(x_51); -x_53 = l_Lean_Parser_Term_break___elambda__1___closed__5; +x_53 = l_Lean_Parser_Term_doBreak___elambda__1___closed__6; x_54 = lean_string_dec_eq(x_52, x_53); lean_dec(x_52); if (x_54 == 0) { lean_object* x_55; lean_object* x_56; lean_object* x_57; lean_object* x_58; uint8_t x_59; lean_object* x_60; -x_55 = l_Lean_Parser_Term_break___elambda__1___closed__8; +x_55 = l_Lean_Parser_Term_doBreak___elambda__1___closed__9; x_56 = l_Lean_Parser_ParserState_mkErrorsAt(x_48, x_55, x_47); -x_57 = l_Lean_Parser_Term_break___elambda__1___closed__2; +x_57 = l_Lean_Parser_Term_doBreak___elambda__1___closed__2; x_58 = l_Lean_Parser_ParserState_mkNode(x_56, x_57, x_46); x_59 = 1; x_60 = l_Lean_Parser_mergeOrElseErrors(x_58, x_38, x_35, x_59); @@ -20242,7 +20589,7 @@ else { lean_object* x_61; lean_object* x_62; uint8_t x_63; lean_object* x_64; lean_dec(x_47); -x_61 = l_Lean_Parser_Term_break___elambda__1___closed__2; +x_61 = l_Lean_Parser_Term_doBreak___elambda__1___closed__2; x_62 = l_Lean_Parser_ParserState_mkNode(x_48, x_61, x_46); x_63 = 1; x_64 = l_Lean_Parser_mergeOrElseErrors(x_62, x_38, x_35, x_63); @@ -20254,9 +20601,9 @@ else { lean_object* x_65; lean_object* x_66; lean_object* x_67; lean_object* x_68; uint8_t x_69; lean_object* x_70; lean_dec(x_51); -x_65 = l_Lean_Parser_Term_break___elambda__1___closed__8; +x_65 = l_Lean_Parser_Term_doBreak___elambda__1___closed__9; x_66 = l_Lean_Parser_ParserState_mkErrorsAt(x_48, x_65, x_47); -x_67 = l_Lean_Parser_Term_break___elambda__1___closed__2; +x_67 = l_Lean_Parser_Term_doBreak___elambda__1___closed__2; x_68 = l_Lean_Parser_ParserState_mkNode(x_66, x_67, x_46); x_69 = 1; x_70 = l_Lean_Parser_mergeOrElseErrors(x_68, x_38, x_35, x_69); @@ -20268,9 +20615,9 @@ else { lean_object* x_71; lean_object* x_72; lean_object* x_73; lean_object* x_74; uint8_t x_75; lean_object* x_76; lean_dec(x_49); -x_71 = l_Lean_Parser_Term_break___elambda__1___closed__8; +x_71 = l_Lean_Parser_Term_doBreak___elambda__1___closed__9; x_72 = l_Lean_Parser_ParserState_mkErrorsAt(x_48, x_71, x_47); -x_73 = l_Lean_Parser_Term_break___elambda__1___closed__2; +x_73 = l_Lean_Parser_Term_doBreak___elambda__1___closed__2; x_74 = l_Lean_Parser_ParserState_mkNode(x_72, x_73, x_46); x_75 = 1; x_76 = l_Lean_Parser_mergeOrElseErrors(x_74, x_38, x_35, x_75); @@ -20293,94 +20640,94 @@ return x_78; } } } -lean_object* _init_l_Lean_Parser_Term_break___closed__1() { +lean_object* _init_l_Lean_Parser_Term_doBreak___closed__1() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_break___elambda__1___closed__5; +x_1 = l_Lean_Parser_Term_doBreak___elambda__1___closed__6; x_2 = l_Lean_Parser_symbolInfo(x_1); return x_2; } } -lean_object* _init_l_Lean_Parser_Term_break___closed__2() { +lean_object* _init_l_Lean_Parser_Term_doBreak___closed__2() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_break___elambda__1___closed__2; -x_2 = l_Lean_Parser_Term_break___closed__1; +x_1 = l_Lean_Parser_Term_doBreak___elambda__1___closed__2; +x_2 = l_Lean_Parser_Term_doBreak___closed__1; x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_break___closed__3() { +lean_object* _init_l_Lean_Parser_Term_doBreak___closed__3() { _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_break___closed__2; +x_2 = l_Lean_Parser_Term_doBreak___closed__2; x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_break___closed__4() { +lean_object* _init_l_Lean_Parser_Term_doBreak___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_break___elambda__1___closed__4; +x_1 = l_Lean_Parser_Term_doBreak___elambda__1___closed__4; x_2 = lean_ctor_get(x_1, 0); lean_inc(x_2); -x_3 = l_Lean_Parser_Term_break___closed__3; +x_3 = l_Lean_Parser_Term_doBreak___closed__3; x_4 = l_Lean_Parser_orelseInfo(x_2, x_3); return x_4; } } -lean_object* _init_l_Lean_Parser_Term_break___closed__5() { +lean_object* _init_l_Lean_Parser_Term_doBreak___closed__5() { _start: { lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_break___elambda__1), 2, 0); +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_doBreak___elambda__1), 2, 0); return x_1; } } -lean_object* _init_l_Lean_Parser_Term_break___closed__6() { +lean_object* _init_l_Lean_Parser_Term_doBreak___closed__6() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_break___closed__4; -x_2 = l_Lean_Parser_Term_break___closed__5; +x_1 = l_Lean_Parser_Term_doBreak___closed__4; +x_2 = l_Lean_Parser_Term_doBreak___closed__5; x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); lean_ctor_set(x_3, 1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_break() { +lean_object* _init_l_Lean_Parser_Term_doBreak() { _start: { lean_object* x_1; -x_1 = l_Lean_Parser_Term_break___closed__6; +x_1 = l_Lean_Parser_Term_doBreak___closed__6; return x_1; } } -lean_object* l___regBuiltinParser_Lean_Parser_Term_break(lean_object* x_1) { +lean_object* l___regBuiltinParser_Lean_Parser_Term_doBreak(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_Lean_Parser_regBuiltinDoElemParserAttr___closed__4; -x_3 = l_Lean_Parser_Term_break___elambda__1___closed__2; +x_3 = l_Lean_Parser_Term_doBreak___elambda__1___closed__2; x_4 = 1; -x_5 = l_Lean_Parser_Term_break; +x_5 = l_Lean_Parser_Term_doBreak; 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; } } -lean_object* _init_l_Lean_Parser_Term_break_formatter___closed__1() { +lean_object* _init_l_Lean_Parser_Term_doBreak_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_break___elambda__1___closed__1; -x_2 = l_Lean_Parser_Term_break___elambda__1___closed__3; +x_1 = l_Lean_Parser_Term_doBreak___elambda__1___closed__1; +x_2 = l_Lean_Parser_Term_doBreak___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); @@ -20390,23 +20737,23 @@ lean_closure_set(x_5, 2, x_4); return x_5; } } -lean_object* _init_l_Lean_Parser_Term_break_formatter___closed__2() { +lean_object* _init_l_Lean_Parser_Term_doBreak_formatter___closed__2() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_break___elambda__1___closed__1; +x_1 = l_Lean_Parser_Term_doBreak___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; } } -lean_object* _init_l_Lean_Parser_Term_break_formatter___closed__3() { +lean_object* _init_l_Lean_Parser_Term_doBreak_formatter___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_break___elambda__1___closed__2; +x_1 = l_Lean_Parser_Term_doBreak___elambda__1___closed__2; x_2 = lean_unsigned_to_nat(1024u); -x_3 = l_Lean_Parser_Term_break_formatter___closed__2; +x_3 = l_Lean_Parser_Term_doBreak_formatter___closed__2; 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); @@ -20414,40 +20761,40 @@ lean_closure_set(x_4, 2, x_3); return x_4; } } -lean_object* l_Lean_Parser_Term_break_formatter(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +lean_object* l_Lean_Parser_Term_doBreak_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_break_formatter___closed__1; -x_7 = l_Lean_Parser_Term_break_formatter___closed__3; +x_6 = l_Lean_Parser_Term_doBreak_formatter___closed__1; +x_7 = l_Lean_Parser_Term_doBreak_formatter___closed__3; 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; } } -lean_object* _init_l___regBuiltin_Lean_Parser_Term_break_formatter___closed__1() { +lean_object* _init_l___regBuiltin_Lean_Parser_Term_doBreak_formatter___closed__1() { _start: { lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_break_formatter), 5, 0); +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_doBreak_formatter), 5, 0); return x_1; } } -lean_object* l___regBuiltin_Lean_Parser_Term_break_formatter(lean_object* x_1) { +lean_object* l___regBuiltin_Lean_Parser_Term_doBreak_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_break___elambda__1___closed__2; -x_4 = l___regBuiltin_Lean_Parser_Term_break_formatter___closed__1; +x_3 = l_Lean_Parser_Term_doBreak___elambda__1___closed__2; +x_4 = l___regBuiltin_Lean_Parser_Term_doBreak_formatter___closed__1; x_5 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_1); return x_5; } } -lean_object* _init_l_Lean_Parser_Term_break_parenthesizer___closed__1() { +lean_object* _init_l_Lean_Parser_Term_doBreak_parenthesizer___closed__1() { _start: { lean_object* x_1; uint8_t x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_break___elambda__1___closed__3; +x_1 = l_Lean_Parser_Term_doBreak___elambda__1___closed__3; x_2 = 1; x_3 = lean_box(x_2); x_4 = lean_alloc_closure((void*)(l_Lean_Parser_mkAntiquot_parenthesizer___rarg___boxed), 7, 2); @@ -20456,11 +20803,11 @@ lean_closure_set(x_4, 1, x_3); return x_4; } } -lean_object* _init_l_Lean_Parser_Term_break_parenthesizer___closed__2() { +lean_object* _init_l_Lean_Parser_Term_doBreak_parenthesizer___closed__2() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_break___elambda__1___closed__2; +x_1 = l_Lean_Parser_Term_doBreak___elambda__1___closed__2; x_2 = lean_unsigned_to_nat(1024u); x_3 = l_Lean_Parser_antiquotNestedExpr_parenthesizer___closed__3; x_4 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed), 8, 3); @@ -20470,36 +20817,75 @@ lean_closure_set(x_4, 2, x_3); return x_4; } } -lean_object* l_Lean_Parser_Term_break_parenthesizer(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +lean_object* l_Lean_Parser_Term_doBreak_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_break_parenthesizer___closed__1; -x_7 = l_Lean_Parser_Term_break_parenthesizer___closed__2; +x_6 = l_Lean_Parser_Term_doBreak_parenthesizer___closed__1; +x_7 = l_Lean_Parser_Term_doBreak_parenthesizer___closed__2; 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; } } -lean_object* _init_l___regBuiltin_Lean_Parser_Term_break_parenthesizer___closed__1() { +lean_object* _init_l___regBuiltin_Lean_Parser_Term_doBreak_parenthesizer___closed__1() { _start: { lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_break_parenthesizer), 5, 0); +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_doBreak_parenthesizer), 5, 0); return x_1; } } -lean_object* l___regBuiltin_Lean_Parser_Term_break_parenthesizer(lean_object* x_1) { +lean_object* l___regBuiltin_Lean_Parser_Term_doBreak_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_break___elambda__1___closed__2; -x_4 = l___regBuiltin_Lean_Parser_Term_break_parenthesizer___closed__1; +x_3 = l_Lean_Parser_Term_doBreak___elambda__1___closed__2; +x_4 = l___regBuiltin_Lean_Parser_Term_doBreak_parenthesizer___closed__1; x_5 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_1); return x_5; } } -lean_object* _init_l_Lean_Parser_Term_continue___elambda__1___closed__1() { +lean_object* _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__1() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("doContinue"); +return x_1; +} +} +lean_object* _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_mkAppStx___closed__6; +x_2 = l_Lean_Parser_Term_doContinue___elambda__1___closed__1; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +lean_object* _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_doContinue___elambda__1___closed__2; +x_2 = lean_alloc_ctor(1, 1, 0); +lean_ctor_set(x_2, 0, x_1); +return x_2; +} +} +lean_object* _init_l_Lean_Parser_Term_doContinue___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_doContinue___elambda__1___closed__1; +x_2 = l_Lean_Parser_Term_doContinue___elambda__1___closed__3; +x_3 = 1; +x_4 = l_Lean_Parser_mkAntiquot(x_1, x_2, x_3); +return x_4; +} +} +lean_object* _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__5() { _start: { lean_object* x_1; @@ -20507,83 +20893,52 @@ x_1 = lean_mk_string("continue"); return x_1; } } -lean_object* _init_l_Lean_Parser_Term_continue___elambda__1___closed__2() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_mkAppStx___closed__6; -x_2 = l_Lean_Parser_Term_continue___elambda__1___closed__1; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -lean_object* _init_l_Lean_Parser_Term_continue___elambda__1___closed__3() { +lean_object* _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__6() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_continue___elambda__1___closed__2; -x_2 = lean_alloc_ctor(1, 1, 0); -lean_ctor_set(x_2, 0, x_1); -return x_2; -} -} -lean_object* _init_l_Lean_Parser_Term_continue___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_continue___elambda__1___closed__1; -x_2 = l_Lean_Parser_Term_continue___elambda__1___closed__3; -x_3 = 1; -x_4 = l_Lean_Parser_mkAntiquot(x_1, x_2, x_3); -return x_4; -} -} -lean_object* _init_l_Lean_Parser_Term_continue___elambda__1___closed__5() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_continue___elambda__1___closed__1; +x_1 = l_Lean_Parser_Term_doContinue___elambda__1___closed__5; x_2 = l_String_trim(x_1); return x_2; } } -lean_object* _init_l_Lean_Parser_Term_continue___elambda__1___closed__6() { +lean_object* _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__7() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Char_HasRepr___closed__1; -x_2 = l_Lean_Parser_Term_continue___elambda__1___closed__5; +x_2 = l_Lean_Parser_Term_doContinue___elambda__1___closed__6; x_3 = lean_string_append(x_1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_continue___elambda__1___closed__7() { +lean_object* _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__8() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_continue___elambda__1___closed__6; +x_1 = l_Lean_Parser_Term_doContinue___elambda__1___closed__7; x_2 = l_Char_HasRepr___closed__1; x_3 = lean_string_append(x_1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_continue___elambda__1___closed__8() { +lean_object* _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__9() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l_Lean_Parser_Term_continue___elambda__1___closed__7; +x_2 = l_Lean_Parser_Term_doContinue___elambda__1___closed__8; x_3 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_3, 0, x_2); lean_ctor_set(x_3, 1, x_1); return x_3; } } -lean_object* l_Lean_Parser_Term_continue___elambda__1(lean_object* x_1, lean_object* x_2) { +lean_object* l_Lean_Parser_Term_doContinue___elambda__1(lean_object* x_1, lean_object* x_2) { _start: { lean_object* x_3; lean_object* x_4; uint8_t x_5; -x_3 = l_Lean_Parser_Term_continue___elambda__1___closed__4; +x_3 = l_Lean_Parser_Term_doContinue___elambda__1___closed__4; x_4 = lean_ctor_get(x_3, 1); lean_inc(x_4); lean_inc(x_2); @@ -20622,15 +20977,15 @@ lean_object* x_16; lean_object* x_17; uint8_t x_18; x_16 = lean_ctor_get(x_15, 1); lean_inc(x_16); lean_dec(x_15); -x_17 = l_Lean_Parser_Term_continue___elambda__1___closed__5; +x_17 = l_Lean_Parser_Term_doContinue___elambda__1___closed__6; x_18 = lean_string_dec_eq(x_16, x_17); lean_dec(x_16); if (x_18 == 0) { lean_object* x_19; lean_object* x_20; lean_object* x_21; lean_object* x_22; -x_19 = l_Lean_Parser_Term_continue___elambda__1___closed__8; +x_19 = l_Lean_Parser_Term_doContinue___elambda__1___closed__9; x_20 = l_Lean_Parser_ParserState_mkErrorsAt(x_12, x_19, x_11); -x_21 = l_Lean_Parser_Term_continue___elambda__1___closed__2; +x_21 = l_Lean_Parser_Term_doContinue___elambda__1___closed__2; x_22 = l_Lean_Parser_ParserState_mkNode(x_20, x_21, x_10); return x_22; } @@ -20638,7 +20993,7 @@ else { lean_object* x_23; lean_object* x_24; lean_dec(x_11); -x_23 = l_Lean_Parser_Term_continue___elambda__1___closed__2; +x_23 = l_Lean_Parser_Term_doContinue___elambda__1___closed__2; x_24 = l_Lean_Parser_ParserState_mkNode(x_12, x_23, x_10); return x_24; } @@ -20647,9 +21002,9 @@ else { lean_object* x_25; lean_object* x_26; lean_object* x_27; lean_object* x_28; lean_dec(x_15); -x_25 = l_Lean_Parser_Term_continue___elambda__1___closed__8; +x_25 = l_Lean_Parser_Term_doContinue___elambda__1___closed__9; x_26 = l_Lean_Parser_ParserState_mkErrorsAt(x_12, x_25, x_11); -x_27 = l_Lean_Parser_Term_continue___elambda__1___closed__2; +x_27 = l_Lean_Parser_Term_doContinue___elambda__1___closed__2; x_28 = l_Lean_Parser_ParserState_mkNode(x_26, x_27, x_10); return x_28; } @@ -20658,9 +21013,9 @@ else { lean_object* x_29; lean_object* x_30; lean_object* x_31; lean_object* x_32; lean_dec(x_13); -x_29 = l_Lean_Parser_Term_continue___elambda__1___closed__8; +x_29 = l_Lean_Parser_Term_doContinue___elambda__1___closed__9; x_30 = l_Lean_Parser_ParserState_mkErrorsAt(x_12, x_29, x_11); -x_31 = l_Lean_Parser_Term_continue___elambda__1___closed__2; +x_31 = l_Lean_Parser_Term_doContinue___elambda__1___closed__2; x_32 = l_Lean_Parser_ParserState_mkNode(x_30, x_31, x_10); return x_32; } @@ -20745,15 +21100,15 @@ lean_object* x_52; lean_object* x_53; uint8_t x_54; x_52 = lean_ctor_get(x_51, 1); lean_inc(x_52); lean_dec(x_51); -x_53 = l_Lean_Parser_Term_continue___elambda__1___closed__5; +x_53 = l_Lean_Parser_Term_doContinue___elambda__1___closed__6; x_54 = lean_string_dec_eq(x_52, x_53); lean_dec(x_52); if (x_54 == 0) { lean_object* x_55; lean_object* x_56; lean_object* x_57; lean_object* x_58; uint8_t x_59; lean_object* x_60; -x_55 = l_Lean_Parser_Term_continue___elambda__1___closed__8; +x_55 = l_Lean_Parser_Term_doContinue___elambda__1___closed__9; x_56 = l_Lean_Parser_ParserState_mkErrorsAt(x_48, x_55, x_47); -x_57 = l_Lean_Parser_Term_continue___elambda__1___closed__2; +x_57 = l_Lean_Parser_Term_doContinue___elambda__1___closed__2; x_58 = l_Lean_Parser_ParserState_mkNode(x_56, x_57, x_46); x_59 = 1; x_60 = l_Lean_Parser_mergeOrElseErrors(x_58, x_38, x_35, x_59); @@ -20764,7 +21119,7 @@ else { lean_object* x_61; lean_object* x_62; uint8_t x_63; lean_object* x_64; lean_dec(x_47); -x_61 = l_Lean_Parser_Term_continue___elambda__1___closed__2; +x_61 = l_Lean_Parser_Term_doContinue___elambda__1___closed__2; x_62 = l_Lean_Parser_ParserState_mkNode(x_48, x_61, x_46); x_63 = 1; x_64 = l_Lean_Parser_mergeOrElseErrors(x_62, x_38, x_35, x_63); @@ -20776,9 +21131,9 @@ else { lean_object* x_65; lean_object* x_66; lean_object* x_67; lean_object* x_68; uint8_t x_69; lean_object* x_70; lean_dec(x_51); -x_65 = l_Lean_Parser_Term_continue___elambda__1___closed__8; +x_65 = l_Lean_Parser_Term_doContinue___elambda__1___closed__9; x_66 = l_Lean_Parser_ParserState_mkErrorsAt(x_48, x_65, x_47); -x_67 = l_Lean_Parser_Term_continue___elambda__1___closed__2; +x_67 = l_Lean_Parser_Term_doContinue___elambda__1___closed__2; x_68 = l_Lean_Parser_ParserState_mkNode(x_66, x_67, x_46); x_69 = 1; x_70 = l_Lean_Parser_mergeOrElseErrors(x_68, x_38, x_35, x_69); @@ -20790,9 +21145,9 @@ else { lean_object* x_71; lean_object* x_72; lean_object* x_73; lean_object* x_74; uint8_t x_75; lean_object* x_76; lean_dec(x_49); -x_71 = l_Lean_Parser_Term_continue___elambda__1___closed__8; +x_71 = l_Lean_Parser_Term_doContinue___elambda__1___closed__9; x_72 = l_Lean_Parser_ParserState_mkErrorsAt(x_48, x_71, x_47); -x_73 = l_Lean_Parser_Term_continue___elambda__1___closed__2; +x_73 = l_Lean_Parser_Term_doContinue___elambda__1___closed__2; x_74 = l_Lean_Parser_ParserState_mkNode(x_72, x_73, x_46); x_75 = 1; x_76 = l_Lean_Parser_mergeOrElseErrors(x_74, x_38, x_35, x_75); @@ -20815,94 +21170,94 @@ return x_78; } } } -lean_object* _init_l_Lean_Parser_Term_continue___closed__1() { +lean_object* _init_l_Lean_Parser_Term_doContinue___closed__1() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_continue___elambda__1___closed__5; +x_1 = l_Lean_Parser_Term_doContinue___elambda__1___closed__6; x_2 = l_Lean_Parser_symbolInfo(x_1); return x_2; } } -lean_object* _init_l_Lean_Parser_Term_continue___closed__2() { +lean_object* _init_l_Lean_Parser_Term_doContinue___closed__2() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_continue___elambda__1___closed__2; -x_2 = l_Lean_Parser_Term_continue___closed__1; +x_1 = l_Lean_Parser_Term_doContinue___elambda__1___closed__2; +x_2 = l_Lean_Parser_Term_doContinue___closed__1; x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_continue___closed__3() { +lean_object* _init_l_Lean_Parser_Term_doContinue___closed__3() { _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_continue___closed__2; +x_2 = l_Lean_Parser_Term_doContinue___closed__2; x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_continue___closed__4() { +lean_object* _init_l_Lean_Parser_Term_doContinue___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_continue___elambda__1___closed__4; +x_1 = l_Lean_Parser_Term_doContinue___elambda__1___closed__4; x_2 = lean_ctor_get(x_1, 0); lean_inc(x_2); -x_3 = l_Lean_Parser_Term_continue___closed__3; +x_3 = l_Lean_Parser_Term_doContinue___closed__3; x_4 = l_Lean_Parser_orelseInfo(x_2, x_3); return x_4; } } -lean_object* _init_l_Lean_Parser_Term_continue___closed__5() { +lean_object* _init_l_Lean_Parser_Term_doContinue___closed__5() { _start: { lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_continue___elambda__1), 2, 0); +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_doContinue___elambda__1), 2, 0); return x_1; } } -lean_object* _init_l_Lean_Parser_Term_continue___closed__6() { +lean_object* _init_l_Lean_Parser_Term_doContinue___closed__6() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_continue___closed__4; -x_2 = l_Lean_Parser_Term_continue___closed__5; +x_1 = l_Lean_Parser_Term_doContinue___closed__4; +x_2 = l_Lean_Parser_Term_doContinue___closed__5; x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); lean_ctor_set(x_3, 1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_continue() { +lean_object* _init_l_Lean_Parser_Term_doContinue() { _start: { lean_object* x_1; -x_1 = l_Lean_Parser_Term_continue___closed__6; +x_1 = l_Lean_Parser_Term_doContinue___closed__6; return x_1; } } -lean_object* l___regBuiltinParser_Lean_Parser_Term_continue(lean_object* x_1) { +lean_object* l___regBuiltinParser_Lean_Parser_Term_doContinue(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_Lean_Parser_regBuiltinDoElemParserAttr___closed__4; -x_3 = l_Lean_Parser_Term_continue___elambda__1___closed__2; +x_3 = l_Lean_Parser_Term_doContinue___elambda__1___closed__2; x_4 = 1; -x_5 = l_Lean_Parser_Term_continue; +x_5 = l_Lean_Parser_Term_doContinue; 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; } } -lean_object* _init_l_Lean_Parser_Term_continue_formatter___closed__1() { +lean_object* _init_l_Lean_Parser_Term_doContinue_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_continue___elambda__1___closed__1; -x_2 = l_Lean_Parser_Term_continue___elambda__1___closed__3; +x_1 = l_Lean_Parser_Term_doContinue___elambda__1___closed__1; +x_2 = l_Lean_Parser_Term_doContinue___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); @@ -20912,23 +21267,23 @@ lean_closure_set(x_5, 2, x_4); return x_5; } } -lean_object* _init_l_Lean_Parser_Term_continue_formatter___closed__2() { +lean_object* _init_l_Lean_Parser_Term_doContinue_formatter___closed__2() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_continue___elambda__1___closed__1; +x_1 = l_Lean_Parser_Term_doContinue___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; } } -lean_object* _init_l_Lean_Parser_Term_continue_formatter___closed__3() { +lean_object* _init_l_Lean_Parser_Term_doContinue_formatter___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_continue___elambda__1___closed__2; +x_1 = l_Lean_Parser_Term_doContinue___elambda__1___closed__2; x_2 = lean_unsigned_to_nat(1024u); -x_3 = l_Lean_Parser_Term_continue_formatter___closed__2; +x_3 = l_Lean_Parser_Term_doContinue_formatter___closed__2; 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); @@ -20936,40 +21291,40 @@ lean_closure_set(x_4, 2, x_3); return x_4; } } -lean_object* l_Lean_Parser_Term_continue_formatter(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +lean_object* l_Lean_Parser_Term_doContinue_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_continue_formatter___closed__1; -x_7 = l_Lean_Parser_Term_continue_formatter___closed__3; +x_6 = l_Lean_Parser_Term_doContinue_formatter___closed__1; +x_7 = l_Lean_Parser_Term_doContinue_formatter___closed__3; 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; } } -lean_object* _init_l___regBuiltin_Lean_Parser_Term_continue_formatter___closed__1() { +lean_object* _init_l___regBuiltin_Lean_Parser_Term_doContinue_formatter___closed__1() { _start: { lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_continue_formatter), 5, 0); +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_doContinue_formatter), 5, 0); return x_1; } } -lean_object* l___regBuiltin_Lean_Parser_Term_continue_formatter(lean_object* x_1) { +lean_object* l___regBuiltin_Lean_Parser_Term_doContinue_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_continue___elambda__1___closed__2; -x_4 = l___regBuiltin_Lean_Parser_Term_continue_formatter___closed__1; +x_3 = l_Lean_Parser_Term_doContinue___elambda__1___closed__2; +x_4 = l___regBuiltin_Lean_Parser_Term_doContinue_formatter___closed__1; x_5 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_1); return x_5; } } -lean_object* _init_l_Lean_Parser_Term_continue_parenthesizer___closed__1() { +lean_object* _init_l_Lean_Parser_Term_doContinue_parenthesizer___closed__1() { _start: { lean_object* x_1; uint8_t x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_continue___elambda__1___closed__3; +x_1 = l_Lean_Parser_Term_doContinue___elambda__1___closed__3; x_2 = 1; x_3 = lean_box(x_2); x_4 = lean_alloc_closure((void*)(l_Lean_Parser_mkAntiquot_parenthesizer___rarg___boxed), 7, 2); @@ -20978,11 +21333,11 @@ lean_closure_set(x_4, 1, x_3); return x_4; } } -lean_object* _init_l_Lean_Parser_Term_continue_parenthesizer___closed__2() { +lean_object* _init_l_Lean_Parser_Term_doContinue_parenthesizer___closed__2() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_continue___elambda__1___closed__2; +x_1 = l_Lean_Parser_Term_doContinue___elambda__1___closed__2; x_2 = lean_unsigned_to_nat(1024u); x_3 = l_Lean_Parser_antiquotNestedExpr_parenthesizer___closed__3; x_4 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed), 8, 3); @@ -20992,75 +21347,75 @@ lean_closure_set(x_4, 2, x_3); return x_4; } } -lean_object* l_Lean_Parser_Term_continue_parenthesizer(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +lean_object* l_Lean_Parser_Term_doContinue_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_continue_parenthesizer___closed__1; -x_7 = l_Lean_Parser_Term_continue_parenthesizer___closed__2; +x_6 = l_Lean_Parser_Term_doContinue_parenthesizer___closed__1; +x_7 = l_Lean_Parser_Term_doContinue_parenthesizer___closed__2; 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; } } -lean_object* _init_l___regBuiltin_Lean_Parser_Term_continue_parenthesizer___closed__1() { +lean_object* _init_l___regBuiltin_Lean_Parser_Term_doContinue_parenthesizer___closed__1() { _start: { lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_continue_parenthesizer), 5, 0); +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_doContinue_parenthesizer), 5, 0); return x_1; } } -lean_object* l___regBuiltin_Lean_Parser_Term_continue_parenthesizer(lean_object* x_1) { +lean_object* l___regBuiltin_Lean_Parser_Term_doContinue_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_continue___elambda__1___closed__2; -x_4 = l___regBuiltin_Lean_Parser_Term_continue_parenthesizer___closed__1; +x_3 = l_Lean_Parser_Term_doContinue___elambda__1___closed__2; +x_4 = l___regBuiltin_Lean_Parser_Term_doContinue_parenthesizer___closed__1; x_5 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_1); return x_5; } } -lean_object* _init_l_Lean_Parser_Term_return___elambda__1___closed__1() { +lean_object* _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__1() { _start: { lean_object* x_1; -x_1 = lean_mk_string("return"); +x_1 = lean_mk_string("doReturn"); return x_1; } } -lean_object* _init_l_Lean_Parser_Term_return___elambda__1___closed__2() { +lean_object* _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__2() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_mkAppStx___closed__6; -x_2 = l_Lean_Parser_Term_return___elambda__1___closed__1; +x_2 = l_Lean_Parser_Term_doReturn___elambda__1___closed__1; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_return___elambda__1___closed__3() { +lean_object* _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__3() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_return___elambda__1___closed__2; +x_1 = l_Lean_Parser_Term_doReturn___elambda__1___closed__2; x_2 = lean_alloc_ctor(1, 1, 0); lean_ctor_set(x_2, 0, x_1); return x_2; } } -lean_object* _init_l_Lean_Parser_Term_return___elambda__1___closed__4() { +lean_object* _init_l_Lean_Parser_Term_doReturn___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_return___elambda__1___closed__1; -x_2 = l_Lean_Parser_Term_return___elambda__1___closed__3; +x_1 = l_Lean_Parser_Term_doReturn___elambda__1___closed__1; +x_2 = l_Lean_Parser_Term_doReturn___elambda__1___closed__3; x_3 = 1; x_4 = l_Lean_Parser_mkAntiquot(x_1, x_2, x_3); return x_4; } } -lean_object* _init_l_Lean_Parser_Term_return___elambda__1___closed__5() { +lean_object* _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__5() { _start: { lean_object* x_1; @@ -21068,52 +21423,52 @@ x_1 = lean_mk_string("return "); return x_1; } } -lean_object* _init_l_Lean_Parser_Term_return___elambda__1___closed__6() { +lean_object* _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__6() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_return___elambda__1___closed__5; +x_1 = l_Lean_Parser_Term_doReturn___elambda__1___closed__5; x_2 = l_String_trim(x_1); return x_2; } } -lean_object* _init_l_Lean_Parser_Term_return___elambda__1___closed__7() { +lean_object* _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__7() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Char_HasRepr___closed__1; -x_2 = l_Lean_Parser_Term_return___elambda__1___closed__6; +x_2 = l_Lean_Parser_Term_doReturn___elambda__1___closed__6; x_3 = lean_string_append(x_1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_return___elambda__1___closed__8() { +lean_object* _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__8() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_return___elambda__1___closed__7; +x_1 = l_Lean_Parser_Term_doReturn___elambda__1___closed__7; x_2 = l_Char_HasRepr___closed__1; x_3 = lean_string_append(x_1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_return___elambda__1___closed__9() { +lean_object* _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__9() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l_Lean_Parser_Term_return___elambda__1___closed__8; +x_2 = l_Lean_Parser_Term_doReturn___elambda__1___closed__8; x_3 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_3, 0, x_2); lean_ctor_set(x_3, 1, x_1); return x_3; } } -lean_object* l_Lean_Parser_Term_return___elambda__1(lean_object* x_1, lean_object* x_2) { +lean_object* l_Lean_Parser_Term_doReturn___elambda__1(lean_object* x_1, lean_object* x_2) { _start: { lean_object* x_3; lean_object* x_4; uint8_t x_5; -x_3 = l_Lean_Parser_Term_return___elambda__1___closed__4; +x_3 = l_Lean_Parser_Term_doReturn___elambda__1___closed__4; x_4 = lean_ctor_get(x_3, 1); lean_inc(x_4); lean_inc(x_2); @@ -21153,13 +21508,13 @@ lean_object* x_26; lean_object* x_27; uint8_t x_28; x_26 = lean_ctor_get(x_25, 1); lean_inc(x_26); lean_dec(x_25); -x_27 = l_Lean_Parser_Term_return___elambda__1___closed__6; +x_27 = l_Lean_Parser_Term_doReturn___elambda__1___closed__6; x_28 = lean_string_dec_eq(x_26, x_27); lean_dec(x_26); if (x_28 == 0) { lean_object* x_29; lean_object* x_30; -x_29 = l_Lean_Parser_Term_return___elambda__1___closed__9; +x_29 = l_Lean_Parser_Term_doReturn___elambda__1___closed__9; x_30 = l_Lean_Parser_ParserState_mkErrorsAt(x_22, x_29, x_21); x_11 = x_30; goto block_20; @@ -21175,7 +21530,7 @@ else { lean_object* x_31; lean_object* x_32; lean_dec(x_25); -x_31 = l_Lean_Parser_Term_return___elambda__1___closed__9; +x_31 = l_Lean_Parser_Term_doReturn___elambda__1___closed__9; x_32 = l_Lean_Parser_ParserState_mkErrorsAt(x_22, x_31, x_21); x_11 = x_32; goto block_20; @@ -21185,7 +21540,7 @@ else { lean_object* x_33; lean_object* x_34; lean_dec(x_23); -x_33 = l_Lean_Parser_Term_return___elambda__1___closed__9; +x_33 = l_Lean_Parser_Term_doReturn___elambda__1___closed__9; x_34 = l_Lean_Parser_ParserState_mkErrorsAt(x_22, x_33, x_21); x_11 = x_34; goto block_20; @@ -21201,7 +21556,7 @@ lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; lean x_13 = l_Lean___kind_term____x40_Lean_Util_Trace___hyg_3____closed__15; x_14 = lean_unsigned_to_nat(0u); x_15 = l_Lean_Parser_categoryParser___elambda__1(x_13, x_14, x_1, x_11); -x_16 = l_Lean_Parser_Term_return___elambda__1___closed__2; +x_16 = l_Lean_Parser_Term_doReturn___elambda__1___closed__2; x_17 = l_Lean_Parser_ParserState_mkNode(x_15, x_16, x_10); return x_17; } @@ -21210,7 +21565,7 @@ else lean_object* x_18; lean_object* x_19; lean_dec(x_12); lean_dec(x_1); -x_18 = l_Lean_Parser_Term_return___elambda__1___closed__2; +x_18 = l_Lean_Parser_Term_doReturn___elambda__1___closed__2; x_19 = l_Lean_Parser_ParserState_mkNode(x_11, x_18, x_10); return x_19; } @@ -21297,13 +21652,13 @@ lean_object* x_68; lean_object* x_69; uint8_t x_70; x_68 = lean_ctor_get(x_67, 1); lean_inc(x_68); lean_dec(x_67); -x_69 = l_Lean_Parser_Term_return___elambda__1___closed__6; +x_69 = l_Lean_Parser_Term_doReturn___elambda__1___closed__6; x_70 = lean_string_dec_eq(x_68, x_69); lean_dec(x_68); if (x_70 == 0) { lean_object* x_71; lean_object* x_72; -x_71 = l_Lean_Parser_Term_return___elambda__1___closed__9; +x_71 = l_Lean_Parser_Term_doReturn___elambda__1___closed__9; x_72 = l_Lean_Parser_ParserState_mkErrorsAt(x_64, x_71, x_63); x_49 = x_72; goto block_62; @@ -21319,7 +21674,7 @@ else { lean_object* x_73; lean_object* x_74; lean_dec(x_67); -x_73 = l_Lean_Parser_Term_return___elambda__1___closed__9; +x_73 = l_Lean_Parser_Term_doReturn___elambda__1___closed__9; x_74 = l_Lean_Parser_ParserState_mkErrorsAt(x_64, x_73, x_63); x_49 = x_74; goto block_62; @@ -21329,7 +21684,7 @@ else { lean_object* x_75; lean_object* x_76; lean_dec(x_65); -x_75 = l_Lean_Parser_Term_return___elambda__1___closed__9; +x_75 = l_Lean_Parser_Term_doReturn___elambda__1___closed__9; x_76 = l_Lean_Parser_ParserState_mkErrorsAt(x_64, x_75, x_63); x_49 = x_76; goto block_62; @@ -21345,7 +21700,7 @@ lean_object* x_51; lean_object* x_52; lean_object* x_53; lean_object* x_54; lean x_51 = l_Lean___kind_term____x40_Lean_Util_Trace___hyg_3____closed__15; x_52 = lean_unsigned_to_nat(0u); x_53 = l_Lean_Parser_categoryParser___elambda__1(x_51, x_52, x_1, x_49); -x_54 = l_Lean_Parser_Term_return___elambda__1___closed__2; +x_54 = l_Lean_Parser_Term_doReturn___elambda__1___closed__2; x_55 = l_Lean_Parser_ParserState_mkNode(x_53, x_54, x_48); x_56 = 1; x_57 = l_Lean_Parser_mergeOrElseErrors(x_55, x_40, x_37, x_56); @@ -21357,7 +21712,7 @@ else lean_object* x_58; lean_object* x_59; uint8_t x_60; lean_object* x_61; lean_dec(x_50); lean_dec(x_1); -x_58 = l_Lean_Parser_Term_return___elambda__1___closed__2; +x_58 = l_Lean_Parser_Term_doReturn___elambda__1___closed__2; x_59 = l_Lean_Parser_ParserState_mkNode(x_49, x_58, x_48); x_60 = 1; x_61 = l_Lean_Parser_mergeOrElseErrors(x_59, x_40, x_37, x_60); @@ -21381,106 +21736,106 @@ return x_78; } } } -lean_object* _init_l_Lean_Parser_Term_return___closed__1() { +lean_object* _init_l_Lean_Parser_Term_doReturn___closed__1() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_return___elambda__1___closed__6; +x_1 = l_Lean_Parser_Term_doReturn___elambda__1___closed__6; x_2 = l_Lean_Parser_symbolInfo(x_1); return x_2; } } -lean_object* _init_l_Lean_Parser_Term_return___closed__2() { +lean_object* _init_l_Lean_Parser_Term_doReturn___closed__2() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; x_1 = l_Lean_Parser_Term_typeAscription___closed__2; x_2 = lean_ctor_get(x_1, 0); lean_inc(x_2); -x_3 = l_Lean_Parser_Term_return___closed__1; +x_3 = l_Lean_Parser_Term_doReturn___closed__1; x_4 = l_Lean_Parser_andthenInfo(x_3, x_2); return x_4; } } -lean_object* _init_l_Lean_Parser_Term_return___closed__3() { +lean_object* _init_l_Lean_Parser_Term_doReturn___closed__3() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_return___elambda__1___closed__2; -x_2 = l_Lean_Parser_Term_return___closed__2; +x_1 = l_Lean_Parser_Term_doReturn___elambda__1___closed__2; +x_2 = l_Lean_Parser_Term_doReturn___closed__2; x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_return___closed__4() { +lean_object* _init_l_Lean_Parser_Term_doReturn___closed__4() { _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_return___closed__3; +x_2 = l_Lean_Parser_Term_doReturn___closed__3; x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_return___closed__5() { +lean_object* _init_l_Lean_Parser_Term_doReturn___closed__5() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_return___elambda__1___closed__4; +x_1 = l_Lean_Parser_Term_doReturn___elambda__1___closed__4; x_2 = lean_ctor_get(x_1, 0); lean_inc(x_2); -x_3 = l_Lean_Parser_Term_return___closed__4; +x_3 = l_Lean_Parser_Term_doReturn___closed__4; x_4 = l_Lean_Parser_orelseInfo(x_2, x_3); return x_4; } } -lean_object* _init_l_Lean_Parser_Term_return___closed__6() { +lean_object* _init_l_Lean_Parser_Term_doReturn___closed__6() { _start: { lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_return___elambda__1), 2, 0); +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_doReturn___elambda__1), 2, 0); return x_1; } } -lean_object* _init_l_Lean_Parser_Term_return___closed__7() { +lean_object* _init_l_Lean_Parser_Term_doReturn___closed__7() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_return___closed__5; -x_2 = l_Lean_Parser_Term_return___closed__6; +x_1 = l_Lean_Parser_Term_doReturn___closed__5; +x_2 = l_Lean_Parser_Term_doReturn___closed__6; x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); lean_ctor_set(x_3, 1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_return() { +lean_object* _init_l_Lean_Parser_Term_doReturn() { _start: { lean_object* x_1; -x_1 = l_Lean_Parser_Term_return___closed__7; +x_1 = l_Lean_Parser_Term_doReturn___closed__7; return x_1; } } -lean_object* l___regBuiltinParser_Lean_Parser_Term_return(lean_object* x_1) { +lean_object* l___regBuiltinParser_Lean_Parser_Term_doReturn(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_Lean_Parser_regBuiltinDoElemParserAttr___closed__4; -x_3 = l_Lean_Parser_Term_return___elambda__1___closed__2; +x_3 = l_Lean_Parser_Term_doReturn___elambda__1___closed__2; x_4 = 1; -x_5 = l_Lean_Parser_Term_return; +x_5 = l_Lean_Parser_Term_doReturn; 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; } } -lean_object* _init_l_Lean_Parser_Term_return_formatter___closed__1() { +lean_object* _init_l_Lean_Parser_Term_doReturn_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_return___elambda__1___closed__1; -x_2 = l_Lean_Parser_Term_return___elambda__1___closed__3; +x_1 = l_Lean_Parser_Term_doReturn___elambda__1___closed__1; +x_2 = l_Lean_Parser_Term_doReturn___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); @@ -21490,21 +21845,21 @@ lean_closure_set(x_5, 2, x_4); return x_5; } } -lean_object* _init_l_Lean_Parser_Term_return_formatter___closed__2() { +lean_object* _init_l_Lean_Parser_Term_doReturn_formatter___closed__2() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Term_return___elambda__1___closed__5; +x_1 = l_Lean_Parser_Term_doReturn___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; } } -lean_object* _init_l_Lean_Parser_Term_return_formatter___closed__3() { +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_return_formatter___closed__2; +x_1 = l_Lean_Parser_Term_doReturn_formatter___closed__2; 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); @@ -21512,13 +21867,13 @@ lean_closure_set(x_3, 1, x_2); return x_3; } } -lean_object* _init_l_Lean_Parser_Term_return_formatter___closed__4() { +lean_object* _init_l_Lean_Parser_Term_doReturn_formatter___closed__4() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_return___elambda__1___closed__2; +x_1 = l_Lean_Parser_Term_doReturn___elambda__1___closed__2; x_2 = l_Lean_Parser_leadPrec; -x_3 = l_Lean_Parser_Term_return_formatter___closed__3; +x_3 = l_Lean_Parser_Term_doReturn_formatter___closed__3; x_4 = lean_alloc_closure((void*)(l_Lean_Parser_leadingNode_formatter___boxed), 8, 3); lean_closure_set(x_4, 0, x_1); lean_closure_set(x_4, 1, x_2); @@ -21526,40 +21881,40 @@ lean_closure_set(x_4, 2, x_3); return x_4; } } -lean_object* l_Lean_Parser_Term_return_formatter(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +lean_object* l_Lean_Parser_Term_doReturn_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_return_formatter___closed__1; -x_7 = l_Lean_Parser_Term_return_formatter___closed__4; +x_6 = l_Lean_Parser_Term_doReturn_formatter___closed__1; +x_7 = l_Lean_Parser_Term_doReturn_formatter___closed__4; x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x_4, x_5); return x_8; } } -lean_object* _init_l___regBuiltin_Lean_Parser_Term_return_formatter___closed__1() { +lean_object* _init_l___regBuiltin_Lean_Parser_Term_doReturn_formatter___closed__1() { _start: { lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_return_formatter), 5, 0); +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_doReturn_formatter), 5, 0); return x_1; } } -lean_object* l___regBuiltin_Lean_Parser_Term_return_formatter(lean_object* x_1) { +lean_object* l___regBuiltin_Lean_Parser_Term_doReturn_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_return___elambda__1___closed__2; -x_4 = l___regBuiltin_Lean_Parser_Term_return_formatter___closed__1; +x_3 = l_Lean_Parser_Term_doReturn___elambda__1___closed__2; +x_4 = l___regBuiltin_Lean_Parser_Term_doReturn_formatter___closed__1; x_5 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_1); return x_5; } } -lean_object* _init_l_Lean_Parser_Term_return_parenthesizer___closed__1() { +lean_object* _init_l_Lean_Parser_Term_doReturn_parenthesizer___closed__1() { _start: { lean_object* x_1; uint8_t x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_return___elambda__1___closed__3; +x_1 = l_Lean_Parser_Term_doReturn___elambda__1___closed__3; x_2 = 1; x_3 = lean_box(x_2); x_4 = lean_alloc_closure((void*)(l_Lean_Parser_mkAntiquot_parenthesizer___rarg___boxed), 7, 2); @@ -21568,11 +21923,11 @@ lean_closure_set(x_4, 1, x_3); return x_4; } } -lean_object* _init_l_Lean_Parser_Term_return_parenthesizer___closed__2() { +lean_object* _init_l_Lean_Parser_Term_doReturn_parenthesizer___closed__2() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Term_return___elambda__1___closed__2; +x_1 = l_Lean_Parser_Term_doReturn___elambda__1___closed__2; x_2 = l_Lean_Parser_leadPrec; x_3 = l_Lean_Parser_Term_typeAscription_parenthesizer___closed__2; x_4 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed), 8, 3); @@ -21582,31 +21937,31 @@ lean_closure_set(x_4, 2, x_3); return x_4; } } -lean_object* l_Lean_Parser_Term_return_parenthesizer(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +lean_object* l_Lean_Parser_Term_doReturn_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_return_parenthesizer___closed__1; -x_7 = l_Lean_Parser_Term_return_parenthesizer___closed__2; +x_6 = l_Lean_Parser_Term_doReturn_parenthesizer___closed__1; +x_7 = l_Lean_Parser_Term_doReturn_parenthesizer___closed__2; 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; } } -lean_object* _init_l___regBuiltin_Lean_Parser_Term_return_parenthesizer___closed__1() { +lean_object* _init_l___regBuiltin_Lean_Parser_Term_doReturn_parenthesizer___closed__1() { _start: { lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_return_parenthesizer), 5, 0); +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_doReturn_parenthesizer), 5, 0); return x_1; } } -lean_object* l___regBuiltin_Lean_Parser_Term_return_parenthesizer(lean_object* x_1) { +lean_object* l___regBuiltin_Lean_Parser_Term_doReturn_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_return___elambda__1___closed__2; -x_4 = l___regBuiltin_Lean_Parser_Term_return_parenthesizer___closed__1; +x_3 = l_Lean_Parser_Term_doReturn___elambda__1___closed__2; +x_4 = l___regBuiltin_Lean_Parser_Term_doReturn_parenthesizer___closed__1; x_5 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_1); return x_5; } @@ -25000,8 +25355,6 @@ l_Lean_Parser_Term_doSeqBracketed___closed__6 = _init_l_Lean_Parser_Term_doSeqBr lean_mark_persistent(l_Lean_Parser_Term_doSeqBracketed___closed__6); l_Lean_Parser_Term_doSeqBracketed___closed__7 = _init_l_Lean_Parser_Term_doSeqBracketed___closed__7(); lean_mark_persistent(l_Lean_Parser_Term_doSeqBracketed___closed__7); -l_Lean_Parser_Term_doSeqBracketed___closed__8 = _init_l_Lean_Parser_Term_doSeqBracketed___closed__8(); -lean_mark_persistent(l_Lean_Parser_Term_doSeqBracketed___closed__8); l_Lean_Parser_Term_doSeqBracketed = _init_l_Lean_Parser_Term_doSeqBracketed(); lean_mark_persistent(l_Lean_Parser_Term_doSeqBracketed); l_Lean_Parser_Term_doSeq___closed__1 = _init_l_Lean_Parser_Term_doSeq___closed__1(); @@ -25471,8 +25824,10 @@ l_Lean_Parser_Term_doSeqBracketed_formatter___closed__5 = _init_l_Lean_Parser_Te lean_mark_persistent(l_Lean_Parser_Term_doSeqBracketed_formatter___closed__5); l_Lean_Parser_Term_doSeqBracketed_formatter___closed__6 = _init_l_Lean_Parser_Term_doSeqBracketed_formatter___closed__6(); lean_mark_persistent(l_Lean_Parser_Term_doSeqBracketed_formatter___closed__6); -l_Lean_Parser_Term_doSeqIndent_formatter___closed__1 = _init_l_Lean_Parser_Term_doSeqIndent_formatter___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_doSeqIndent_formatter___closed__1); +l_Lean_Parser_Term_doSeqBracketed_formatter___closed__7 = _init_l_Lean_Parser_Term_doSeqBracketed_formatter___closed__7(); +lean_mark_persistent(l_Lean_Parser_Term_doSeqBracketed_formatter___closed__7); +l_Lean_Parser_Term_doSeqBracketed_formatter___closed__8 = _init_l_Lean_Parser_Term_doSeqBracketed_formatter___closed__8(); +lean_mark_persistent(l_Lean_Parser_Term_doSeqBracketed_formatter___closed__8); l_Lean_Parser_Term_doSeq_formatter___closed__1 = _init_l_Lean_Parser_Term_doSeq_formatter___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_doSeq_formatter___closed__1); l_Lean_Parser_Term_doSeq_formatter___closed__2 = _init_l_Lean_Parser_Term_doSeq_formatter___closed__2(); @@ -25538,8 +25893,10 @@ l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__5 = _init_l_Lean_Parse lean_mark_persistent(l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__5); l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__6 = _init_l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__6(); lean_mark_persistent(l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__6); -l_Lean_Parser_Term_doSeqIndent_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_doSeqIndent_parenthesizer___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_doSeqIndent_parenthesizer___closed__1); +l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__7 = _init_l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__7(); +lean_mark_persistent(l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__7); +l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__8 = _init_l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__8(); +lean_mark_persistent(l_Lean_Parser_Term_doSeqBracketed_parenthesizer___closed__8); l_Lean_Parser_Term_doSeq_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_doSeq_parenthesizer___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_doSeq_parenthesizer___closed__1); l_Lean_Parser_Term_doSeq_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_doSeq_parenthesizer___closed__2(); @@ -26147,169 +26504,173 @@ lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_doTry_parenthesizer___close res = l___regBuiltin_Lean_Parser_Term_doTry_parenthesizer(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); -l_Lean_Parser_Term_break___elambda__1___closed__1 = _init_l_Lean_Parser_Term_break___elambda__1___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_break___elambda__1___closed__1); -l_Lean_Parser_Term_break___elambda__1___closed__2 = _init_l_Lean_Parser_Term_break___elambda__1___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_break___elambda__1___closed__2); -l_Lean_Parser_Term_break___elambda__1___closed__3 = _init_l_Lean_Parser_Term_break___elambda__1___closed__3(); -lean_mark_persistent(l_Lean_Parser_Term_break___elambda__1___closed__3); -l_Lean_Parser_Term_break___elambda__1___closed__4 = _init_l_Lean_Parser_Term_break___elambda__1___closed__4(); -lean_mark_persistent(l_Lean_Parser_Term_break___elambda__1___closed__4); -l_Lean_Parser_Term_break___elambda__1___closed__5 = _init_l_Lean_Parser_Term_break___elambda__1___closed__5(); -lean_mark_persistent(l_Lean_Parser_Term_break___elambda__1___closed__5); -l_Lean_Parser_Term_break___elambda__1___closed__6 = _init_l_Lean_Parser_Term_break___elambda__1___closed__6(); -lean_mark_persistent(l_Lean_Parser_Term_break___elambda__1___closed__6); -l_Lean_Parser_Term_break___elambda__1___closed__7 = _init_l_Lean_Parser_Term_break___elambda__1___closed__7(); -lean_mark_persistent(l_Lean_Parser_Term_break___elambda__1___closed__7); -l_Lean_Parser_Term_break___elambda__1___closed__8 = _init_l_Lean_Parser_Term_break___elambda__1___closed__8(); -lean_mark_persistent(l_Lean_Parser_Term_break___elambda__1___closed__8); -l_Lean_Parser_Term_break___closed__1 = _init_l_Lean_Parser_Term_break___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_break___closed__1); -l_Lean_Parser_Term_break___closed__2 = _init_l_Lean_Parser_Term_break___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_break___closed__2); -l_Lean_Parser_Term_break___closed__3 = _init_l_Lean_Parser_Term_break___closed__3(); -lean_mark_persistent(l_Lean_Parser_Term_break___closed__3); -l_Lean_Parser_Term_break___closed__4 = _init_l_Lean_Parser_Term_break___closed__4(); -lean_mark_persistent(l_Lean_Parser_Term_break___closed__4); -l_Lean_Parser_Term_break___closed__5 = _init_l_Lean_Parser_Term_break___closed__5(); -lean_mark_persistent(l_Lean_Parser_Term_break___closed__5); -l_Lean_Parser_Term_break___closed__6 = _init_l_Lean_Parser_Term_break___closed__6(); -lean_mark_persistent(l_Lean_Parser_Term_break___closed__6); -l_Lean_Parser_Term_break = _init_l_Lean_Parser_Term_break(); -lean_mark_persistent(l_Lean_Parser_Term_break); -res = l___regBuiltinParser_Lean_Parser_Term_break(lean_io_mk_world()); +l_Lean_Parser_Term_doBreak___elambda__1___closed__1 = _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak___elambda__1___closed__1); +l_Lean_Parser_Term_doBreak___elambda__1___closed__2 = _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak___elambda__1___closed__2); +l_Lean_Parser_Term_doBreak___elambda__1___closed__3 = _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak___elambda__1___closed__3); +l_Lean_Parser_Term_doBreak___elambda__1___closed__4 = _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak___elambda__1___closed__4); +l_Lean_Parser_Term_doBreak___elambda__1___closed__5 = _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak___elambda__1___closed__5); +l_Lean_Parser_Term_doBreak___elambda__1___closed__6 = _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak___elambda__1___closed__6); +l_Lean_Parser_Term_doBreak___elambda__1___closed__7 = _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__7(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak___elambda__1___closed__7); +l_Lean_Parser_Term_doBreak___elambda__1___closed__8 = _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__8(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak___elambda__1___closed__8); +l_Lean_Parser_Term_doBreak___elambda__1___closed__9 = _init_l_Lean_Parser_Term_doBreak___elambda__1___closed__9(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak___elambda__1___closed__9); +l_Lean_Parser_Term_doBreak___closed__1 = _init_l_Lean_Parser_Term_doBreak___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak___closed__1); +l_Lean_Parser_Term_doBreak___closed__2 = _init_l_Lean_Parser_Term_doBreak___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak___closed__2); +l_Lean_Parser_Term_doBreak___closed__3 = _init_l_Lean_Parser_Term_doBreak___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak___closed__3); +l_Lean_Parser_Term_doBreak___closed__4 = _init_l_Lean_Parser_Term_doBreak___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak___closed__4); +l_Lean_Parser_Term_doBreak___closed__5 = _init_l_Lean_Parser_Term_doBreak___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak___closed__5); +l_Lean_Parser_Term_doBreak___closed__6 = _init_l_Lean_Parser_Term_doBreak___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak___closed__6); +l_Lean_Parser_Term_doBreak = _init_l_Lean_Parser_Term_doBreak(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak); +res = l___regBuiltinParser_Lean_Parser_Term_doBreak(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); -l_Lean_Parser_Term_break_formatter___closed__1 = _init_l_Lean_Parser_Term_break_formatter___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_break_formatter___closed__1); -l_Lean_Parser_Term_break_formatter___closed__2 = _init_l_Lean_Parser_Term_break_formatter___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_break_formatter___closed__2); -l_Lean_Parser_Term_break_formatter___closed__3 = _init_l_Lean_Parser_Term_break_formatter___closed__3(); -lean_mark_persistent(l_Lean_Parser_Term_break_formatter___closed__3); -l___regBuiltin_Lean_Parser_Term_break_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_break_formatter___closed__1(); -lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_break_formatter___closed__1); -res = l___regBuiltin_Lean_Parser_Term_break_formatter(lean_io_mk_world()); +l_Lean_Parser_Term_doBreak_formatter___closed__1 = _init_l_Lean_Parser_Term_doBreak_formatter___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak_formatter___closed__1); +l_Lean_Parser_Term_doBreak_formatter___closed__2 = _init_l_Lean_Parser_Term_doBreak_formatter___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak_formatter___closed__2); +l_Lean_Parser_Term_doBreak_formatter___closed__3 = _init_l_Lean_Parser_Term_doBreak_formatter___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak_formatter___closed__3); +l___regBuiltin_Lean_Parser_Term_doBreak_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_doBreak_formatter___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_doBreak_formatter___closed__1); +res = l___regBuiltin_Lean_Parser_Term_doBreak_formatter(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); -l_Lean_Parser_Term_break_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_break_parenthesizer___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_break_parenthesizer___closed__1); -l_Lean_Parser_Term_break_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_break_parenthesizer___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_break_parenthesizer___closed__2); -l___regBuiltin_Lean_Parser_Term_break_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_break_parenthesizer___closed__1(); -lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_break_parenthesizer___closed__1); -res = l___regBuiltin_Lean_Parser_Term_break_parenthesizer(lean_io_mk_world()); +l_Lean_Parser_Term_doBreak_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_doBreak_parenthesizer___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak_parenthesizer___closed__1); +l_Lean_Parser_Term_doBreak_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_doBreak_parenthesizer___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_doBreak_parenthesizer___closed__2); +l___regBuiltin_Lean_Parser_Term_doBreak_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_doBreak_parenthesizer___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_doBreak_parenthesizer___closed__1); +res = l___regBuiltin_Lean_Parser_Term_doBreak_parenthesizer(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); -l_Lean_Parser_Term_continue___elambda__1___closed__1 = _init_l_Lean_Parser_Term_continue___elambda__1___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_continue___elambda__1___closed__1); -l_Lean_Parser_Term_continue___elambda__1___closed__2 = _init_l_Lean_Parser_Term_continue___elambda__1___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_continue___elambda__1___closed__2); -l_Lean_Parser_Term_continue___elambda__1___closed__3 = _init_l_Lean_Parser_Term_continue___elambda__1___closed__3(); -lean_mark_persistent(l_Lean_Parser_Term_continue___elambda__1___closed__3); -l_Lean_Parser_Term_continue___elambda__1___closed__4 = _init_l_Lean_Parser_Term_continue___elambda__1___closed__4(); -lean_mark_persistent(l_Lean_Parser_Term_continue___elambda__1___closed__4); -l_Lean_Parser_Term_continue___elambda__1___closed__5 = _init_l_Lean_Parser_Term_continue___elambda__1___closed__5(); -lean_mark_persistent(l_Lean_Parser_Term_continue___elambda__1___closed__5); -l_Lean_Parser_Term_continue___elambda__1___closed__6 = _init_l_Lean_Parser_Term_continue___elambda__1___closed__6(); -lean_mark_persistent(l_Lean_Parser_Term_continue___elambda__1___closed__6); -l_Lean_Parser_Term_continue___elambda__1___closed__7 = _init_l_Lean_Parser_Term_continue___elambda__1___closed__7(); -lean_mark_persistent(l_Lean_Parser_Term_continue___elambda__1___closed__7); -l_Lean_Parser_Term_continue___elambda__1___closed__8 = _init_l_Lean_Parser_Term_continue___elambda__1___closed__8(); -lean_mark_persistent(l_Lean_Parser_Term_continue___elambda__1___closed__8); -l_Lean_Parser_Term_continue___closed__1 = _init_l_Lean_Parser_Term_continue___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_continue___closed__1); -l_Lean_Parser_Term_continue___closed__2 = _init_l_Lean_Parser_Term_continue___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_continue___closed__2); -l_Lean_Parser_Term_continue___closed__3 = _init_l_Lean_Parser_Term_continue___closed__3(); -lean_mark_persistent(l_Lean_Parser_Term_continue___closed__3); -l_Lean_Parser_Term_continue___closed__4 = _init_l_Lean_Parser_Term_continue___closed__4(); -lean_mark_persistent(l_Lean_Parser_Term_continue___closed__4); -l_Lean_Parser_Term_continue___closed__5 = _init_l_Lean_Parser_Term_continue___closed__5(); -lean_mark_persistent(l_Lean_Parser_Term_continue___closed__5); -l_Lean_Parser_Term_continue___closed__6 = _init_l_Lean_Parser_Term_continue___closed__6(); -lean_mark_persistent(l_Lean_Parser_Term_continue___closed__6); -l_Lean_Parser_Term_continue = _init_l_Lean_Parser_Term_continue(); -lean_mark_persistent(l_Lean_Parser_Term_continue); -res = l___regBuiltinParser_Lean_Parser_Term_continue(lean_io_mk_world()); +l_Lean_Parser_Term_doContinue___elambda__1___closed__1 = _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue___elambda__1___closed__1); +l_Lean_Parser_Term_doContinue___elambda__1___closed__2 = _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue___elambda__1___closed__2); +l_Lean_Parser_Term_doContinue___elambda__1___closed__3 = _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue___elambda__1___closed__3); +l_Lean_Parser_Term_doContinue___elambda__1___closed__4 = _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue___elambda__1___closed__4); +l_Lean_Parser_Term_doContinue___elambda__1___closed__5 = _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue___elambda__1___closed__5); +l_Lean_Parser_Term_doContinue___elambda__1___closed__6 = _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue___elambda__1___closed__6); +l_Lean_Parser_Term_doContinue___elambda__1___closed__7 = _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__7(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue___elambda__1___closed__7); +l_Lean_Parser_Term_doContinue___elambda__1___closed__8 = _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__8(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue___elambda__1___closed__8); +l_Lean_Parser_Term_doContinue___elambda__1___closed__9 = _init_l_Lean_Parser_Term_doContinue___elambda__1___closed__9(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue___elambda__1___closed__9); +l_Lean_Parser_Term_doContinue___closed__1 = _init_l_Lean_Parser_Term_doContinue___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue___closed__1); +l_Lean_Parser_Term_doContinue___closed__2 = _init_l_Lean_Parser_Term_doContinue___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue___closed__2); +l_Lean_Parser_Term_doContinue___closed__3 = _init_l_Lean_Parser_Term_doContinue___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue___closed__3); +l_Lean_Parser_Term_doContinue___closed__4 = _init_l_Lean_Parser_Term_doContinue___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue___closed__4); +l_Lean_Parser_Term_doContinue___closed__5 = _init_l_Lean_Parser_Term_doContinue___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue___closed__5); +l_Lean_Parser_Term_doContinue___closed__6 = _init_l_Lean_Parser_Term_doContinue___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue___closed__6); +l_Lean_Parser_Term_doContinue = _init_l_Lean_Parser_Term_doContinue(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue); +res = l___regBuiltinParser_Lean_Parser_Term_doContinue(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); -l_Lean_Parser_Term_continue_formatter___closed__1 = _init_l_Lean_Parser_Term_continue_formatter___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_continue_formatter___closed__1); -l_Lean_Parser_Term_continue_formatter___closed__2 = _init_l_Lean_Parser_Term_continue_formatter___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_continue_formatter___closed__2); -l_Lean_Parser_Term_continue_formatter___closed__3 = _init_l_Lean_Parser_Term_continue_formatter___closed__3(); -lean_mark_persistent(l_Lean_Parser_Term_continue_formatter___closed__3); -l___regBuiltin_Lean_Parser_Term_continue_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_continue_formatter___closed__1(); -lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_continue_formatter___closed__1); -res = l___regBuiltin_Lean_Parser_Term_continue_formatter(lean_io_mk_world()); +l_Lean_Parser_Term_doContinue_formatter___closed__1 = _init_l_Lean_Parser_Term_doContinue_formatter___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue_formatter___closed__1); +l_Lean_Parser_Term_doContinue_formatter___closed__2 = _init_l_Lean_Parser_Term_doContinue_formatter___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue_formatter___closed__2); +l_Lean_Parser_Term_doContinue_formatter___closed__3 = _init_l_Lean_Parser_Term_doContinue_formatter___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue_formatter___closed__3); +l___regBuiltin_Lean_Parser_Term_doContinue_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_doContinue_formatter___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_doContinue_formatter___closed__1); +res = l___regBuiltin_Lean_Parser_Term_doContinue_formatter(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); -l_Lean_Parser_Term_continue_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_continue_parenthesizer___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_continue_parenthesizer___closed__1); -l_Lean_Parser_Term_continue_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_continue_parenthesizer___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_continue_parenthesizer___closed__2); -l___regBuiltin_Lean_Parser_Term_continue_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_continue_parenthesizer___closed__1(); -lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_continue_parenthesizer___closed__1); -res = l___regBuiltin_Lean_Parser_Term_continue_parenthesizer(lean_io_mk_world()); +l_Lean_Parser_Term_doContinue_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_doContinue_parenthesizer___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue_parenthesizer___closed__1); +l_Lean_Parser_Term_doContinue_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_doContinue_parenthesizer___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_doContinue_parenthesizer___closed__2); +l___regBuiltin_Lean_Parser_Term_doContinue_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_doContinue_parenthesizer___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_doContinue_parenthesizer___closed__1); +res = l___regBuiltin_Lean_Parser_Term_doContinue_parenthesizer(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); -l_Lean_Parser_Term_return___elambda__1___closed__1 = _init_l_Lean_Parser_Term_return___elambda__1___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_return___elambda__1___closed__1); -l_Lean_Parser_Term_return___elambda__1___closed__2 = _init_l_Lean_Parser_Term_return___elambda__1___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_return___elambda__1___closed__2); -l_Lean_Parser_Term_return___elambda__1___closed__3 = _init_l_Lean_Parser_Term_return___elambda__1___closed__3(); -lean_mark_persistent(l_Lean_Parser_Term_return___elambda__1___closed__3); -l_Lean_Parser_Term_return___elambda__1___closed__4 = _init_l_Lean_Parser_Term_return___elambda__1___closed__4(); -lean_mark_persistent(l_Lean_Parser_Term_return___elambda__1___closed__4); -l_Lean_Parser_Term_return___elambda__1___closed__5 = _init_l_Lean_Parser_Term_return___elambda__1___closed__5(); -lean_mark_persistent(l_Lean_Parser_Term_return___elambda__1___closed__5); -l_Lean_Parser_Term_return___elambda__1___closed__6 = _init_l_Lean_Parser_Term_return___elambda__1___closed__6(); -lean_mark_persistent(l_Lean_Parser_Term_return___elambda__1___closed__6); -l_Lean_Parser_Term_return___elambda__1___closed__7 = _init_l_Lean_Parser_Term_return___elambda__1___closed__7(); -lean_mark_persistent(l_Lean_Parser_Term_return___elambda__1___closed__7); -l_Lean_Parser_Term_return___elambda__1___closed__8 = _init_l_Lean_Parser_Term_return___elambda__1___closed__8(); -lean_mark_persistent(l_Lean_Parser_Term_return___elambda__1___closed__8); -l_Lean_Parser_Term_return___elambda__1___closed__9 = _init_l_Lean_Parser_Term_return___elambda__1___closed__9(); -lean_mark_persistent(l_Lean_Parser_Term_return___elambda__1___closed__9); -l_Lean_Parser_Term_return___closed__1 = _init_l_Lean_Parser_Term_return___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_return___closed__1); -l_Lean_Parser_Term_return___closed__2 = _init_l_Lean_Parser_Term_return___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_return___closed__2); -l_Lean_Parser_Term_return___closed__3 = _init_l_Lean_Parser_Term_return___closed__3(); -lean_mark_persistent(l_Lean_Parser_Term_return___closed__3); -l_Lean_Parser_Term_return___closed__4 = _init_l_Lean_Parser_Term_return___closed__4(); -lean_mark_persistent(l_Lean_Parser_Term_return___closed__4); -l_Lean_Parser_Term_return___closed__5 = _init_l_Lean_Parser_Term_return___closed__5(); -lean_mark_persistent(l_Lean_Parser_Term_return___closed__5); -l_Lean_Parser_Term_return___closed__6 = _init_l_Lean_Parser_Term_return___closed__6(); -lean_mark_persistent(l_Lean_Parser_Term_return___closed__6); -l_Lean_Parser_Term_return___closed__7 = _init_l_Lean_Parser_Term_return___closed__7(); -lean_mark_persistent(l_Lean_Parser_Term_return___closed__7); -l_Lean_Parser_Term_return = _init_l_Lean_Parser_Term_return(); -lean_mark_persistent(l_Lean_Parser_Term_return); -res = l___regBuiltinParser_Lean_Parser_Term_return(lean_io_mk_world()); +l_Lean_Parser_Term_doReturn___elambda__1___closed__1 = _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn___elambda__1___closed__1); +l_Lean_Parser_Term_doReturn___elambda__1___closed__2 = _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn___elambda__1___closed__2); +l_Lean_Parser_Term_doReturn___elambda__1___closed__3 = _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn___elambda__1___closed__3); +l_Lean_Parser_Term_doReturn___elambda__1___closed__4 = _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn___elambda__1___closed__4); +l_Lean_Parser_Term_doReturn___elambda__1___closed__5 = _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn___elambda__1___closed__5); +l_Lean_Parser_Term_doReturn___elambda__1___closed__6 = _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn___elambda__1___closed__6); +l_Lean_Parser_Term_doReturn___elambda__1___closed__7 = _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__7(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn___elambda__1___closed__7); +l_Lean_Parser_Term_doReturn___elambda__1___closed__8 = _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__8(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn___elambda__1___closed__8); +l_Lean_Parser_Term_doReturn___elambda__1___closed__9 = _init_l_Lean_Parser_Term_doReturn___elambda__1___closed__9(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn___elambda__1___closed__9); +l_Lean_Parser_Term_doReturn___closed__1 = _init_l_Lean_Parser_Term_doReturn___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn___closed__1); +l_Lean_Parser_Term_doReturn___closed__2 = _init_l_Lean_Parser_Term_doReturn___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn___closed__2); +l_Lean_Parser_Term_doReturn___closed__3 = _init_l_Lean_Parser_Term_doReturn___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn___closed__3); +l_Lean_Parser_Term_doReturn___closed__4 = _init_l_Lean_Parser_Term_doReturn___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn___closed__4); +l_Lean_Parser_Term_doReturn___closed__5 = _init_l_Lean_Parser_Term_doReturn___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn___closed__5); +l_Lean_Parser_Term_doReturn___closed__6 = _init_l_Lean_Parser_Term_doReturn___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn___closed__6); +l_Lean_Parser_Term_doReturn___closed__7 = _init_l_Lean_Parser_Term_doReturn___closed__7(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn___closed__7); +l_Lean_Parser_Term_doReturn = _init_l_Lean_Parser_Term_doReturn(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn); +res = l___regBuiltinParser_Lean_Parser_Term_doReturn(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); -l_Lean_Parser_Term_return_formatter___closed__1 = _init_l_Lean_Parser_Term_return_formatter___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_return_formatter___closed__1); -l_Lean_Parser_Term_return_formatter___closed__2 = _init_l_Lean_Parser_Term_return_formatter___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_return_formatter___closed__2); -l_Lean_Parser_Term_return_formatter___closed__3 = _init_l_Lean_Parser_Term_return_formatter___closed__3(); -lean_mark_persistent(l_Lean_Parser_Term_return_formatter___closed__3); -l_Lean_Parser_Term_return_formatter___closed__4 = _init_l_Lean_Parser_Term_return_formatter___closed__4(); -lean_mark_persistent(l_Lean_Parser_Term_return_formatter___closed__4); -l___regBuiltin_Lean_Parser_Term_return_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_return_formatter___closed__1(); -lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_return_formatter___closed__1); -res = l___regBuiltin_Lean_Parser_Term_return_formatter(lean_io_mk_world()); +l_Lean_Parser_Term_doReturn_formatter___closed__1 = _init_l_Lean_Parser_Term_doReturn_formatter___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn_formatter___closed__1); +l_Lean_Parser_Term_doReturn_formatter___closed__2 = _init_l_Lean_Parser_Term_doReturn_formatter___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn_formatter___closed__2); +l_Lean_Parser_Term_doReturn_formatter___closed__3 = _init_l_Lean_Parser_Term_doReturn_formatter___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn_formatter___closed__3); +l_Lean_Parser_Term_doReturn_formatter___closed__4 = _init_l_Lean_Parser_Term_doReturn_formatter___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn_formatter___closed__4); +l___regBuiltin_Lean_Parser_Term_doReturn_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_doReturn_formatter___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_doReturn_formatter___closed__1); +res = l___regBuiltin_Lean_Parser_Term_doReturn_formatter(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); -l_Lean_Parser_Term_return_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_return_parenthesizer___closed__1(); -lean_mark_persistent(l_Lean_Parser_Term_return_parenthesizer___closed__1); -l_Lean_Parser_Term_return_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_return_parenthesizer___closed__2(); -lean_mark_persistent(l_Lean_Parser_Term_return_parenthesizer___closed__2); -l___regBuiltin_Lean_Parser_Term_return_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_return_parenthesizer___closed__1(); -lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_return_parenthesizer___closed__1); -res = l___regBuiltin_Lean_Parser_Term_return_parenthesizer(lean_io_mk_world()); +l_Lean_Parser_Term_doReturn_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_doReturn_parenthesizer___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn_parenthesizer___closed__1); +l_Lean_Parser_Term_doReturn_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_doReturn_parenthesizer___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_doReturn_parenthesizer___closed__2); +l___regBuiltin_Lean_Parser_Term_doReturn_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_doReturn_parenthesizer___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_doReturn_parenthesizer___closed__1); +res = l___regBuiltin_Lean_Parser_Term_doReturn_parenthesizer(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); l_Lean_Parser_Term_doDbgTrace___elambda__1___closed__1 = _init_l_Lean_Parser_Term_doDbgTrace___elambda__1___closed__1();