From 9988264345be3dd69eb6554f77d44021f8cca6eb Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 3 Aug 2021 19:13:25 -0700 Subject: [PATCH] chore: update stage0 --- stage0/src/Lean/Parser/Term.lean | 8 +- stage0/stdlib/Lean/Parser/Term.c | 1951 ++++++++++++++++++++++++++---- 2 files changed, 1707 insertions(+), 252 deletions(-) diff --git a/stage0/src/Lean/Parser/Term.lean b/stage0/src/Lean/Parser/Term.lean index fc382501c8d..515e2b65bf7 100644 --- a/stage0/src/Lean/Parser/Term.lean +++ b/stage0/src/Lean/Parser/Term.lean @@ -93,9 +93,12 @@ def binderTactic := leading_parser atomic (symbol " := " >> " by ") >> Tactic.t def binderDefault := leading_parser " := " >> termParser def explicitBinder (requireType := false) := ppGroup $ leading_parser "(" >> many1 binderIdent >> binderType requireType >> optional (binderTactic <|> binderDefault) >> ")" def implicitBinder (requireType := false) := ppGroup $ leading_parser "{" >> many1 binderIdent >> binderType requireType >> "}" +def strictImplicitLeftBracket := atomic (group (symbol "{" >> "{")) <|> "⦃" +def strictImplicitRightBracket := atomic (group (symbol "}" >> "}")) <|> "⦄" +def strictImplicitBinder (requireType := false) := ppGroup $ leading_parser strictImplicitLeftBracket >> many1 binderIdent >> binderType requireType >> strictImplicitRightBracket def instBinder := ppGroup $ leading_parser "[" >> optIdent >> termParser >> "]" def bracketedBinder (requireType := false) := withAntiquot (mkAntiquot "bracketedBinder" none (anonymous := false)) <| - explicitBinder requireType <|> implicitBinder requireType <|> instBinder + explicitBinder requireType <|> strictImplicitBinder requireType <|> implicitBinder requireType <|> instBinder /- It is feasible to support dependent arrows such as `{α} → α → α` without sacrificing the quality of the error messages for the longer case. @@ -139,8 +142,9 @@ def generalizingParam := leading_parser atomic ("(" >> nonReservedSymbol "genera @[builtinTermParser] def «nomatch» := leading_parser:leadPrec "nomatch " >> termParser def funImplicitBinder := atomic (lookahead ("{" >> many1 binderIdent >> (symbol " : " <|> "}"))) >> implicitBinder +def funStrictImplicitBinder := atomic (lookahead (strictImplicitLeftBracket >> many1 binderIdent >> (symbol " : " <|> strictImplicitRightBracket))) >> strictImplicitBinder def funSimpleBinder := atomic (lookahead (many1 binderIdent >> " : ")) >> simpleBinder -def funBinder : Parser := funImplicitBinder <|> instBinder <|> funSimpleBinder <|> termParser maxPrec +def funBinder : Parser := funStrictImplicitBinder <|> funImplicitBinder <|> instBinder <|> funSimpleBinder <|> termParser maxPrec -- NOTE: we use `nodeWithAntiquot` to ensure that `fun $b => ...` remains a `term` antiquotation def basicFun : Parser := nodeWithAntiquot "basicFun" `Lean.Parser.Term.basicFun (many1 (ppSpace >> funBinder) >> darrow >> termParser) @[builtinTermParser] def «fun» := leading_parser:maxPrec unicodeSymbol "λ" "fun" >> (basicFun <|> matchAlts) diff --git a/stage0/stdlib/Lean/Parser/Term.c b/stage0/stdlib/Lean/Parser/Term.c index 01861dfcd78..452806d8c9d 100644 --- a/stage0/stdlib/Lean/Parser/Term.c +++ b/stage0/stdlib/Lean/Parser/Term.c @@ -162,6 +162,7 @@ static lean_object* l_Lean_Parser_Term_attrInstance_parenthesizer___closed__2; lean_object* l___regBuiltinParser_Lean_Parser_Term_structInst(lean_object*); static lean_object* l_Lean_Parser_Term_let__fun___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_namedArgument___elambda__1___closed__8; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__1; static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls_formatter___closed__3; lean_object* l___regBuiltin_Lean_Parser_Term_dbgTrace_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_arrow_parenthesizer___closed__3; @@ -177,6 +178,7 @@ static lean_object* l_Lean_Parser_Term_let__fun___closed__6; static lean_object* l_Lean_Parser_Term_hole___elambda__1___closed__10; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__24; static lean_object* l_Lean_Parser_Term_optEllipsis___elambda__1___closed__4; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___closed__4; static lean_object* l_Lean_Parser_Term_structInstLVal_formatter___closed__10; static lean_object* l_Lean_Parser_Term_optIdent___closed__3; static lean_object* l_Lean_Parser_Term_tupleTail___elambda__1___closed__3; @@ -186,6 +188,7 @@ static lean_object* l_Lean_Parser_Term_num_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_typeOf___closed__3; static lean_object* l_Lean_Parser_Term_matchDiscr___elambda__1___closed__5; lean_object* l___regBuiltin_Lean_Parser_Term_sorry_formatter(lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__24; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___closed__29; static lean_object* l_Lean_Parser_Term_anonymousCtor_formatter___closed__2; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___closed__8; @@ -199,6 +202,7 @@ static lean_object* l_Lean_Parser_Term_explicit___elambda__1___closed__2; lean_object* l_Lean_Parser_ParserState_mkError(lean_object*, lean_object*); lean_object* l___regBuiltinParser_Lean_Parser_Term_matchDiscr_quot(lean_object*); lean_object* l_Lean_Parser_Command_docComment___elambda__1___lambda__2(lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_ensureTypeOf_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_letRecDecl_formatter___closed__3; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__7; @@ -207,7 +211,6 @@ static lean_object* l_Lean_Parser_Term_explicit_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_whereDecls_formatter___closed__5; static lean_object* l_Lean_Parser_Term_sort___elambda__1___closed__8; static lean_object* l_Lean_Parser_Term_binderTactic___elambda__1___closed__6; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__11; lean_object* l_Lean_Parser_Command_docComment___elambda__1___lambda__2___boxed(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___closed__9; lean_object* l_Lean_Parser_Term_pipeProj_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -257,6 +260,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_have_parenthesizer___closed_ static lean_object* l_Lean_Parser_Term_forall___elambda__1___closed__23; lean_object* l_Lean_Parser_Term_funImplicitBinder; static lean_object* l_Lean_Parser_Tactic_quotSeq___closed__6; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls_formatter___closed__5; static lean_object* l_Lean_Parser_Term_attrInstance_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_funImplicitBinder_formatter___closed__1; @@ -266,6 +270,7 @@ static lean_object* l_Lean_Parser_Term_let__fun_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_optEllipsis___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_instBinder_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_noImplicitLambda_formatter___closed__1; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___closed__2; static lean_object* l_Lean_Parser_Term_paren___elambda__1___closed__16; static lean_object* l_Lean_Parser_Term_haveEqnsDecl_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_byTactic___closed__4; @@ -310,16 +315,20 @@ static lean_object* l_Lean_Parser_Term_argument___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_arrow___closed__5; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___closed__22; static lean_object* l_Lean_Parser_Term_inaccessible___closed__1; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__3; static lean_object* l_Lean_Parser_Term_letrec___elambda__1___closed__6; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___closed__1; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___closed__17; static lean_object* l_Lean_Parser_Term_funBinder_quot_formatter___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_inaccessible_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__7; static lean_object* l_Lean_Parser_Command_docComment___closed__5; lean_object* l_Lean_Parser_Term_matchAlts(lean_object*); static lean_object* l_Lean_Parser_Term_let_formatter___closed__6; lean_object* l_Lean_Parser_Term_namedArgument_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_structInstArrayRef_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_structInstArrayRef___closed__4; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_simpleBinder___closed__5; extern lean_object* l_Lean_Parser_leadPrec; lean_object* l_Lean_Parser_notFollowedByFn___boxed(lean_object*, lean_object*, lean_object*, lean_object*); @@ -342,7 +351,6 @@ lean_object* l_Lean_Parser_many(lean_object*); static lean_object* l_Lean_Parser_Term_matchDiscr___elambda__1___closed__19; static lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__19; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot___elambda__1___closed__10; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__26; lean_object* l___regBuiltin_Lean_Parser_Term_anonymousCtor_formatter(lean_object*); lean_object* l_Lean_Parser_Term_bracketedBinder(uint8_t); static lean_object* l_Lean_Parser_Term_structInstLVal_parenthesizer___closed__5; @@ -378,6 +386,7 @@ static lean_object* l_Lean_Parser_Term_let_formatter___closed__7; lean_object* l_Lean_Parser_Term_argument_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_tacticParser_formatter___boxed(lean_object*); static lean_object* l_Lean_Parser_Term_letDecl_parenthesizer___closed__5; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_let_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot_formatter___closed__4; lean_object* l_Lean_Parser_Term_forall___elambda__1(lean_object*, lean_object*); @@ -388,6 +397,7 @@ lean_object* l_Lean_PrettyPrinter_Parenthesizer_lookahead_parenthesizer___boxed( static lean_object* l_Lean_Parser_Term_argument___closed__7; static lean_object* l_Lean_Parser_Term_inaccessible___closed__9; static lean_object* l_Lean_Parser_Term_char___closed__3; +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_pipeProj_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_match___closed__7; @@ -479,6 +489,7 @@ static lean_object* l_Lean_Parser_Term_trueVal___elambda__1___closed__10; static lean_object* l_Lean_Parser_Term_match_formatter___closed__3; static lean_object* l_Lean_Parser_Term_subst_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_nomatch_formatter___closed__3; +lean_object* l_Lean_Parser_Term_funStrictImplicitBinder; static lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__14; static lean_object* l___regBuiltin_Lean_Parser_Term_scientific_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_show___elambda__1___closed__1; @@ -487,6 +498,7 @@ static lean_object* l_Lean_Parser_Term_ensureExpectedType___elambda__1___closed_ lean_object* l_Lean_Parser_Term_leading__parser; static lean_object* l_Lean_Parser_Term_forInMacro___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_generalizingParam___elambda__1___closed__11; +static lean_object* l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_trailing__parser_formatter___closed__1; static lean_object* l_Lean_Parser_Term_matchAlt___closed__8; lean_object* l___regBuiltinParser_Lean_Parser_Term_assert(lean_object*); @@ -515,7 +527,6 @@ lean_object* l_Lean_Parser_Term_match_parenthesizer(lean_object*, lean_object*, static lean_object* l_Lean_Parser_Term_suffices___elambda__1___closed__14; static lean_object* l_Lean_Parser_Term_simpleBinder_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev___elambda__1___closed__10; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__31; static lean_object* l_Lean_Parser_Term_letIdLhs_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_whereDecls___elambda__1___closed__16; static lean_object* l_Lean_Parser_Term_suffices_parenthesizer___closed__7; @@ -531,6 +542,7 @@ static lean_object* l_Lean_Parser_Term_ellipsis___closed__5; static lean_object* l_Lean_Parser_Term_byTactic_formatter___closed__5; lean_object* l_Lean_Parser_Term_binderTactic_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_str_parenthesizer(lean_object*); +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___closed__5; lean_object* l_Lean_PrettyPrinter_Formatter_atomic_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_ident_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_simpleBinder___closed__1; @@ -603,6 +615,7 @@ static lean_object* l_Lean_Parser_Term_dynamicQuot_parenthesizer___closed__10; static lean_object* l_Lean_Parser_Term_dbgTrace_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_explicitUniv_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_trailing__parser_formatter___closed__1; +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___closed__4; static lean_object* l_Lean_Parser_Term_explicitBinder___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_match_formatter___closed__12; static lean_object* l_Lean_Parser_Term_binderTactic_parenthesizer___closed__2; @@ -645,6 +658,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_dynamicQuot_parenthesizer___ static lean_object* l_Lean_Parser_Term_letRecDecl_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_ensureExpectedType___elambda__1___closed__9; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__8; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__2; extern lean_object* l_Lean_Parser_scientificLit; static lean_object* l_Lean_Parser_Term_doubleQuotedName___elambda__1___closed__14; lean_object* l_Lean_Parser_Term_completion___elambda__1(lean_object*, lean_object*); @@ -667,6 +681,7 @@ static lean_object* l_Lean_Parser_Term_binderDefault___closed__6; static lean_object* l_Lean_Parser_Term_attributes___elambda__1___closed__14; lean_object* l_Lean_Parser_tokenWithAntiquotFn(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_binderTactic___elambda__1(lean_object*, lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__3; static lean_object* l_Lean_Parser_Term_trailing__parser___elambda__1___closed__14; static lean_object* l_Lean_Parser_Term_cdot_parenthesizer___closed__5; lean_object* l_Lean_Parser_Term_bracketedBinder_quot_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -714,11 +729,13 @@ static lean_object* l_Lean_Parser_Term_forall_parenthesizer___closed__9; static lean_object* l_Lean_Parser_Term_letDecl_formatter___closed__1; lean_object* l_Lean_Parser_Term_ensureTypeOf_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltinParser_Lean_Parser_Term_doubleQuotedName(lean_object*); +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___closed__6; static lean_object* l_Lean_Parser_Term_arrow___closed__1; static lean_object* l_Lean_Parser_Term_forall___closed__3; static lean_object* l_Lean_Parser_Term_trailing__parser___closed__6; static lean_object* l_Lean_Parser_Term_matchDiscr_parenthesizer___closed__7; lean_object* l_Lean_Parser_Term_scientific; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__5; lean_object* l_Lean_Parser_withAntiquotFn(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_unreachable___elambda__1___closed__10; static lean_object* l_Lean_Parser_Term_anonymousCtor___closed__4; @@ -740,12 +757,15 @@ static lean_object* l_Lean_Parser_Term_bracketedBinder_quot___closed__7; static lean_object* l_Lean_Parser_Term_syntheticHole___elambda__1___closed__12; static lean_object* l_Lean_Parser_Level_quot_formatter___closed__2; static lean_object* l_Lean_Parser_Term_depArrow___elambda__1___closed__8; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__2; static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_52____closed__2; static lean_object* l_Lean_Parser_Term_letrec_formatter___closed__5; static lean_object* l_Lean_Parser_Tactic_seq1___elambda__1___closed__1; lean_object* l_Lean_Parser_nonReservedSymbolFn(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_fromTerm___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_quotedName___elambda__1___closed__5; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__4; +lean_object* l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_dbgTrace_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_leading__parser_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_trueVal___elambda__1___closed__3; @@ -777,6 +797,7 @@ lean_object* l_Lean_Parser_darrow; static lean_object* l_Lean_Parser_Term_matchDiscr___closed__6; static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__22; lean_object* l___regBuiltin_Lean_Parser_Term_inaccessible_parenthesizer(lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__18; static lean_object* l_Lean_Parser_Term_arrow___closed__2; static lean_object* l_Lean_Parser_Term_attributes___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_nomatch___elambda__1___closed__1; @@ -804,6 +825,7 @@ static lean_object* l_Lean_Parser_Term_binop___closed__8; static lean_object* l_Lean_Parser_Term_matchDiscr___elambda__1___closed__13; lean_object* l_Lean_Parser_Term_suffices___elambda__1___lambda__1___boxed(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_forall_parenthesizer___closed__4; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__15; static lean_object* l_Lean_Parser_Term_namedArgument___elambda__1___closed__1; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___closed__13; lean_object* l_Lean_Parser_Term_paren_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -819,6 +841,7 @@ static lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_letPatDecl___closed__4; static lean_object* l_Lean_Parser_Term_optEllipsis___elambda__1___closed__14; static lean_object* l_Lean_Parser_Term_sort___elambda__1___closed__13; +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__3; lean_object* l_Lean_PrettyPrinter_Parenthesizer_withoutPosition_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_let__delayed_parenthesizer(lean_object*); lean_object* l_Lean_Parser_Term_attributes_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -852,7 +875,6 @@ static lean_object* l_Lean_Parser_Term_let__fun___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_local___closed__6; static lean_object* l_Lean_Parser_Term_attr_quot___closed__6; static lean_object* l_Lean_Parser_Term_arrayRef___closed__4; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_char_formatter___closed__2; static lean_object* l_Lean_Parser_Term_noindex___elambda__1___closed__13; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__2; @@ -890,6 +912,7 @@ static lean_object* l_Lean_Parser_Term_scoped___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_doubleQuotedName_parenthesizer___closed__5; lean_object* l___regBuiltinParser_Lean_Parser_Term_letrec(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_subst_formatter___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__20; lean_object* l___regBuiltin_Lean_Parser_Term_nomatch_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_attrInstance___elambda__1___closed__10; lean_object* l_Lean_Parser_ParserState_mkTrailingNode(lean_object*, lean_object*, lean_object*); @@ -927,7 +950,6 @@ static lean_object* l_Lean_Parser_Term_whereDecls___elambda__1___closed__3; lean_object* l_Lean_Parser_addBuiltinParser(lean_object*, lean_object*, uint8_t, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_let__fun_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_prop___elambda__1___closed__11; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__24; static lean_object* l_Lean_Parser_Term_letRecDecls_formatter___closed__1; static lean_object* l_Lean_Parser_Term_optIdent___closed__4; lean_object* l_Lean_Parser_rawCh___elambda__1(uint32_t, uint8_t, lean_object*, lean_object*); @@ -968,6 +990,7 @@ lean_object* l_Lean_PrettyPrinter_Formatter_checkWsBefore_formatter___boxed(lean static lean_object* l_Lean_Parser_Term_binop___closed__1; lean_object* l_Lean_Parser_Term_explicit___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_sorry___closed__2; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__1; static lean_object* l_Lean_Parser_Term_nomatch___closed__7; static lean_object* l_Lean_Parser_Term_byTactic_formatter___closed__2; static lean_object* l_Lean_Parser_Term_forInMacro___closed__5; @@ -977,6 +1000,7 @@ static lean_object* l_Lean_Parser_Term_generalizingParam_parenthesizer___closed_ static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__18; static lean_object* l_Lean_Parser_Term_attr_quot_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_sorry_formatter___closed__2; +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___closed__1; static lean_object* l_Lean_Parser_Term_hole_formatter___closed__2; static lean_object* l_Lean_Parser_Term_borrowed_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_completion_formatter___closed__1; @@ -1001,7 +1025,10 @@ static lean_object* l_Lean_Parser_Term_typeAscription_parenthesizer___closed__3; lean_object* l_Lean_Parser_Term_attrInstance_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_attrInstance_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_sufficesDecl___elambda__1___closed__10; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__32; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__10; static lean_object* l_Lean_Parser_Term_scientific_parenthesizer___closed__1; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__2; static lean_object* l_Lean_Parser_Term_hole___closed__5; static lean_object* l_Lean_Parser_Term_optEllipsis___closed__4; lean_object* l___regBuiltin_Lean_Parser_Term_fun_parenthesizer(lean_object*); @@ -1057,6 +1084,7 @@ lean_object* l_Lean_Parser_Term_tupleTail___elambda__1(lean_object*, lean_object static lean_object* l___regBuiltin_Lean_Parser_Term_noImplicitLambda_formatter___closed__2; static lean_object* l_Lean_Parser_Term_borrowed_formatter___closed__3; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__6; +static lean_object* l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__3; lean_object* l_Lean_Parser_Term_forall_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev_formatter___closed__6; @@ -1105,7 +1133,6 @@ static lean_object* l_Lean_Parser_Tactic_seq1___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_whereDecls___elambda__1___closed__15; static lean_object* l_Lean_Parser_Term_panic___elambda__1___closed__14; static lean_object* l_Lean_Parser_Term_paren_formatter___closed__6; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__19; static lean_object* l_Lean_Parser_Term_proj___elambda__1___closed__1; lean_object* l_Lean_Parser_group_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_let__fun___elambda__1___closed__3; @@ -1119,7 +1146,6 @@ static lean_object* l_Lean_Parser_Term_attr_quot___elambda__1___closed__8; lean_object* l___regBuiltin_Lean_Parser_Term_arrow_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_instBinder___closed__7; static lean_object* l_Lean_Parser_Command_docComment___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__35; static lean_object* l_Lean_Parser_Term_explicit___closed__8; static lean_object* l_Lean_Parser_Term_structInstArrayRef_formatter___closed__4; lean_object* l_Lean_Parser_darrow___elambda__1___lambda__1(lean_object*, lean_object*, lean_object*); @@ -1162,11 +1188,13 @@ static lean_object* l_Lean_Parser_Term_assert_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_assert___closed__4; static lean_object* l_Lean_Parser_Term_fun_parenthesizer___closed__6; lean_object* l_Lean_Parser_Term_funImplicitBinder_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__26; static lean_object* l_Lean_Parser_Command_commentBody___closed__2; static lean_object* l_Lean_Parser_Term_have___closed__7; static lean_object* l_Lean_Parser_Term_noindex___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__28; lean_object* l_Lean_Parser_Term_typeAscription_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_funBinder_formatter___closed__5; lean_object* l_Lean_Parser_Term_prop_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_namedArgument_formatter___closed__1; static lean_object* l_Lean_Parser_Term_match___elambda__1___closed__3; @@ -1199,7 +1227,6 @@ static lean_object* l_Lean_Parser_Term_let_formatter___closed__1; static lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__4; lean_object* l_Lean_Parser_tacticParser_formatter___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_attributes___closed__8; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__36; static lean_object* l_Lean_Parser_Term_paren___elambda__1___closed__10; static lean_object* l_Lean_Parser_Term_typeOf___closed__7; lean_object* l_Lean_Parser_Term_matchAltExpr; @@ -1234,6 +1261,7 @@ static lean_object* l_Lean_Parser_Term_generalizingParam___elambda__1___closed__ static lean_object* l_Lean_Parser_Term_paren___closed__7; static lean_object* l_Lean_Parser_Term_unreachable___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_app_formatter___closed__1; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_depArrow___elambda__1___closed__17; static lean_object* l_Lean_Parser_Term_namedArgument___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_binrel_formatter___closed__6; @@ -1275,6 +1303,7 @@ static lean_object* l_Lean_Parser_Tactic_tacticSeq_formatter___closed__2; static lean_object* l_Lean_Parser_Term_depArrow___elambda__1___closed__13; lean_object* l___regBuiltin_Lean_Parser_Term_ident_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_noindex___closed__1; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___closed__2; static lean_object* l_Lean_Parser_Term_letPatDecl___closed__6; static lean_object* l_Lean_Parser_Term_type_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_match___elambda__1___closed__7; @@ -1283,6 +1312,7 @@ static lean_object* l_Lean_Parser_Term_funBinder___closed__5; lean_object* l_Lean_Parser_checkPrecFn(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_paren___elambda__1___closed__12; static lean_object* l_Lean_Parser_Term_panic_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_Term_funBinder_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_typeOf_parenthesizer___closed__2; lean_object* l_Lean_Parser_Command_docComment_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_PrettyPrinter_Parenthesizer_atomic_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -1300,11 +1330,13 @@ static lean_object* l_Lean_Parser_Term_whereDecls_formatter___closed__2; static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__8; lean_object* l___regBuiltin_Lean_Parser_Term_type_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_noindex___closed__2; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__16; static lean_object* l_Lean_Parser_Term_matchDiscr___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_scientific_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_match___closed__3; static lean_object* l_Lean_Parser_Term_sort___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__4; +static lean_object* l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_attrInstance___closed__5; static lean_object* l_Lean_Parser_Term_sorry___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__17; @@ -1417,7 +1449,6 @@ static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__27; static lean_object* l_Lean_Parser_Term_matchDiscr_parenthesizer___closed__2; lean_object* l_Lean_Parser_strLit___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_letRecDecl___closed__6; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__2; static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls___closed__6; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot___elambda__1___closed__18; static lean_object* l___regBuiltin_Lean_Parser_Term_syntheticHole_parenthesizer___closed__2; @@ -1493,9 +1524,11 @@ static lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__17; static lean_object* l_Lean_Parser_Term_matchAlts___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_byTactic___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__15; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_binop_formatter___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_dynamicQuot_formatter___closed__2; extern lean_object* l_Lean_PrettyPrinter_parenthesizerAttribute; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___closed__1; static lean_object* l_Lean_Parser_Term_suffices___closed__4; static lean_object* l_Lean_Parser_Term_tupleTail_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_sorry___closed__7; @@ -1557,6 +1590,7 @@ static lean_object* l_Lean_Parser_Term_paren___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_have_formatter___closed__1; static lean_object* l_Lean_Parser_Term_cdot_formatter___closed__4; static lean_object* l_Lean_Parser_Term_matchDiscr_quot___elambda__1___closed__15; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__6; static lean_object* l_Lean_Parser_Term_ensureTypeOf___closed__9; static lean_object* l_Lean_Parser_Term_anonymousCtor_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__8; @@ -1580,6 +1614,7 @@ static lean_object* l_Lean_Parser_Term_simpleBinder___closed__4; static lean_object* l_Lean_Parser_Term_structInstLVal_formatter___closed__4; static lean_object* l_Lean_Parser_Term_sorry___elambda__1___closed__2; static lean_object* l_Lean_Parser_Tactic_seq1_formatter___closed__1; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_type_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_structInstField_formatter___closed__6; @@ -1587,7 +1622,6 @@ static lean_object* l_Lean_Parser_Term_funImplicitBinder_parenthesizer___closed_ static lean_object* l_Lean_Parser_Term_sort___elambda__1___closed__1; static lean_object* l_Lean_Parser_Tactic_seq1___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_leading__parser___elambda__1___closed__7; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__1; static lean_object* l_Lean_Parser_Term_fromTerm___closed__1; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__12; static lean_object* l_Lean_Parser_Term_namedArgument___elambda__1___closed__5; @@ -1599,6 +1633,7 @@ static lean_object* l_Lean_Parser_Term_quotedName___closed__2; lean_object* l_Lean_Parser_Term_namedPattern; static lean_object* l_Lean_Parser_Term_binrel___elambda__1___closed__9; static lean_object* l___regBuiltin_Lean_Parser_Term_explicitUniv_formatter___closed__2; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_ident___closed__3; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__11; static lean_object* l_Lean_Parser_Term_unreachable___closed__7; @@ -1623,7 +1658,6 @@ static lean_object* l_Lean_Parser_Term_letrec___closed__2; static lean_object* l_Lean_Parser_Term_letIdLhs___closed__5; static lean_object* l_Lean_Parser_Term_binrel_formatter___closed__2; static lean_object* l_Lean_Parser_Term_byTactic___elambda__1___closed__8; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__4; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___closed__1; static lean_object* l_Lean_Parser_Level_quot___elambda__1___closed__2; lean_object* l_Lean_Parser_Term_dbgTrace; @@ -1682,7 +1716,6 @@ static lean_object* l_Lean_Parser_Term_noindex___closed__4; static lean_object* l_Lean_Parser_Term_noindex_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__16; static lean_object* l_Lean_Parser_Term_attrKind___elambda__1___closed__11; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__27; static lean_object* l_Lean_Parser_Term_match_formatter___closed__8; static lean_object* l_Lean_Parser_Term_sorry___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_funBinder___elambda__1___closed__2; @@ -1696,14 +1729,12 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_paren_parenthesizer___closed static lean_object* l_Lean_Parser_Term_binderTactic___elambda__1___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_binrel_formatter___closed__2; static lean_object* l_Lean_Parser_Term_tupleTail___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__8; lean_object* l_Lean_Parser_Term_leading__parser___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__17; lean_object* l_Lean_Parser_Command_docComment___elambda__1___lambda__1___boxed(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_assert_parenthesizer___closed__4; lean_object* l___regBuiltin_Lean_Parser_Term_letrec_formatter(lean_object*); lean_object* l_Lean_Parser_Command_commentBody_parenthesizer___rarg(lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__17; lean_object* l___regBuiltin_Lean_Parser_Term_suffices_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_pipeProj___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_letEqnsDecl___closed__3; @@ -1720,6 +1751,7 @@ static lean_object* l_Lean_Parser_Term_sufficesDecl___closed__3; static lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__8; static lean_object* l_Lean_Parser_Term_haveIdLhs___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_whereDecls___closed__8; +lean_object* l_Lean_Parser_Term_strictImplicitBinder___boxed(lean_object*); lean_object* l_Lean_Parser_Term_nomatch; lean_object* l_Lean_Parser_Term_parenSpecial; static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__9; @@ -1772,6 +1804,7 @@ static lean_object* l___regBuiltinParser_Lean_Parser_Term_char___closed__2; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__13; lean_object* l___regBuiltin_Lean_Parser_Term_let_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_attributes___closed__5; +static lean_object* l_Lean_Parser_Term_funBinder_parenthesizer___closed__6; lean_object* lean_nat_sub(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_binderTactic; static lean_object* l_Lean_Parser_Term_paren___closed__9; @@ -1829,6 +1862,7 @@ static lean_object* l_Lean_Parser_Term_falseVal___closed__4; lean_object* l_Lean_Parser_Term_letDecl; lean_object* l_Lean_Parser_scientificLit_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_completion___closed__5; +static lean_object* l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_assert_parenthesizer___closed__2; lean_object* l_Lean_Parser_Term_ensureTypeOf___elambda__1(lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_completion_parenthesizer___closed__1; @@ -1854,6 +1888,7 @@ lean_object* l_Lean_Parser_strLit_formatter(lean_object*, lean_object*, lean_obj static lean_object* l_Lean_Parser_Term_binderTactic___elambda__1___closed__13; static lean_object* l_Lean_Parser_Term_explicitUniv___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_scoped_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_structInstLVal_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot___closed__3; static lean_object* l_Lean_Parser_Term_bracketedBinder_parenthesizer___closed__2; @@ -1914,8 +1949,8 @@ static lean_object* l_Lean_Parser_Term_tupleTail___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_argument_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Tactic_quot___elambda__1___closed__5; lean_object* l_Lean_Parser_manyIndent_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__12; static lean_object* l_Lean_Parser_Term_funImplicitBinder___closed__2; +static lean_object* l_Lean_Parser_Term_funBinder___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_funImplicitBinder___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_matchDiscr_quot___elambda__1___closed__12; static lean_object* l_Lean_Parser_Term_match_parenthesizer___closed__8; @@ -1976,12 +2011,14 @@ static lean_object* l_Lean_Parser_Term_typeAscription___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_typeOf___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__28; lean_object* l_Lean_PrettyPrinter_Formatter_visitAtom(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_prop_formatter___closed__1; static lean_object* l_Lean_Parser_Term_whereDecls___closed__7; static lean_object* l_Lean_Parser_Term_stateRefT___elambda__1___closed__10; static lean_object* l_Lean_Parser_Term_generalizingParam___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_macroDollarArg___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_quotedName___elambda__1___closed__4; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__13; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_stateRefT___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Level_quot_formatter___closed__1; @@ -2033,6 +2070,7 @@ lean_object* l_Lean_Parser_Term_attrInstance___elambda__1(lean_object*, lean_obj lean_object* l_Lean_Parser_Term_quotedName; static lean_object* l_Lean_Parser_Term_explicitUniv_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_fromTerm___elambda__1___closed__11; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__1; lean_object* l_Lean_PrettyPrinter_Parenthesizer_incQuotDepth_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_panic_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_byTactic_formatter___closed__3; @@ -2061,6 +2099,7 @@ static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___closed__5; static lean_object* l_Lean_Parser_Term_instBinder_formatter___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_show_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___closed__13; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__14; static lean_object* l___regBuiltin_Lean_Parser_Term_sort_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_bracketedBinder___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_unreachable___closed__5; @@ -2091,6 +2130,7 @@ static lean_object* l_Lean_Parser_Term_sorry___closed__5; static lean_object* l_Lean_Parser_Term_borrowed___elambda__1___closed__11; static lean_object* l___regBuiltin_Lean_Parser_Term_binrel_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_fromTerm___elambda__1___closed__3; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__28; static lean_object* l_Lean_Parser_Term_matchDiscr___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_sorry___elambda__1___closed__11; static lean_object* l_Lean_Parser_Term_show___closed__4; @@ -2123,16 +2163,19 @@ static lean_object* l_Lean_Parser_Term_dbgTrace___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls___closed__1; static lean_object* l_Lean_Parser_Term_str___closed__3; static lean_object* l_Lean_Parser_Term_syntheticHole___elambda__1___closed__5; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_explicitUniv___closed__3; static lean_object* l_Lean_Parser_Term_matchDiscr_quot_parenthesizer___closed__5; lean_object* l___regBuiltinParser_Lean_Parser_Term_inaccessible(lean_object*); static lean_object* l_Lean_Parser_Term_cdot_formatter___closed__2; static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_typeSpec_formatter___closed__2; +lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_let__fun_formatter___closed__7; static lean_object* l_Lean_Parser_Term_depArrow___closed__2; lean_object* l_Lean_PrettyPrinter_Parenthesizer_interpolatedStr_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_panic___closed__4; +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___closed__5; static lean_object* l_Lean_Parser_Term_whereDecls_formatter___closed__9; lean_object* l___regBuiltin_Lean_Parser_Term_matchDiscr_quot_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_have_formatter___closed__5; @@ -2151,6 +2194,7 @@ lean_object* l_Lean_Parser_Term_tupleTail_formatter(lean_object*, lean_object*, static lean_object* l_Lean_Parser_Tactic_quot_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_funImplicitBinder_parenthesizer___closed__1; extern lean_object* l_Lean_Parser_argPrec; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__30; static lean_object* l_Lean_Parser_Term_fromTerm_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Tactic_quot___elambda__1___closed__14; lean_object* l_Lean_Parser_Term_letRecDecls_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -2186,6 +2230,7 @@ static lean_object* l_Lean_Parser_Term_arrow___closed__9; static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls_formatter___closed__6; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___closed__23; static lean_object* l_Lean_Parser_Term_scoped_parenthesizer___closed__1; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_type_formatter___closed__1; static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__24; static lean_object* l_Lean_Parser_Term_haveEqnsDecl___closed__1; @@ -2235,11 +2280,11 @@ lean_object* l_Lean_Parser_Term_show_formatter(lean_object*, lean_object*, lean_ lean_object* l_Lean_Parser_Term_whereDecls; lean_object* l_Lean_PrettyPrinter_Parenthesizer_withoutForbidden_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_subst_parenthesizer(lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__22; static lean_object* l_Lean_Parser_Term_completion___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_ident_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_generalizingParam_formatter___closed__11; static lean_object* l_Lean_Parser_Term_trueVal_formatter___closed__3; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__23; static lean_object* l_Lean_Parser_Term_haveDecl_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_generalizingParam___closed__10; static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__26; @@ -2304,7 +2349,6 @@ static lean_object* l_Lean_Parser_Term_simpleBinder_formatter___closed__3; static lean_object* l_Lean_Parser_Term_type_formatter___closed__8; static lean_object* l_Lean_Parser_Term_typeSpec___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_typeSpec_formatter___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__21; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev___elambda__1___closed__12; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot_parenthesizer___closed__7; lean_object* l_Lean_Parser_Term_nomatch___elambda__1(lean_object*, lean_object*); @@ -2352,14 +2396,15 @@ static lean_object* l_Lean_Parser_Term_scoped___closed__3; lean_object* l_Lean_Parser_Term_binrel___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_falseVal___closed__6; static lean_object* l_Lean_Parser_Term_instBinder___elambda__1___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__33; static lean_object* l_Lean_Parser_Term_letIdDecl_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_dbgTrace_parenthesizer___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__13; lean_object* l___regBuiltin_Lean_Parser_Term_completion_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_borrowed_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_match_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_ensureTypeOf___closed__2; static lean_object* l_Lean_Parser_Term_funSimpleBinder_parenthesizer___closed__1; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___closed__4; static lean_object* l_Lean_Parser_Term_nomatch___elambda__1___closed__12; lean_object* l_Lean_Parser_Term_unreachable___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__6; @@ -2389,6 +2434,7 @@ static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_52____clo extern lean_object* l_Lean_Parser_maxPrec; static lean_object* l_Lean_Parser_Term_doubleQuotedName___elambda__1___closed__16; static lean_object* l_Lean_Parser_Term_local_formatter___closed__1; +lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_argument___elambda__1___closed__1; lean_object* l_Lean_Parser_Term_namedArgument___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_forInMacro___elambda__1___closed__1; @@ -2408,8 +2454,10 @@ static lean_object* l_Lean_Parser_Term_let__delayed___closed__2; lean_object* l_Lean_Parser_strLit_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_bracketedBinder_quot___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_noImplicitLambda___elambda__1___closed__5; +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_whereDecls___closed__3; static lean_object* l_Lean_Parser_Term_optExprPrecedence_formatter___closed__2; +static lean_object* l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__2; static lean_object* l_Lean_Parser_Term_matchDiscr___elambda__1___closed__8; static lean_object* l_Lean_Parser_Term_explicitUniv___elambda__1___closed__2; lean_object* l___regBuiltinParser_Lean_Parser_Term_funBinder_quot(lean_object*); @@ -2430,11 +2478,11 @@ lean_object* l___regBuiltinParser_Lean_Parser_Term_num(lean_object*); static lean_object* l_Lean_Parser_Term_app_formatter___closed__2; static lean_object* l_Lean_Parser_Tactic_quot___closed__6; static lean_object* l_Lean_Parser_Term_have_parenthesizer___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__34; static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__36; static lean_object* l_Lean_Parser_Term_type_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_binderDefault___elambda__1___closed__3; lean_object* l_Lean_Parser_many1Indent_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___closed__3; lean_object* l_Lean_Parser_Term_arrayRef___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_attrParser_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltinParser_Lean_Parser_Term_anonymousCtor(lean_object*); @@ -2443,6 +2491,7 @@ static lean_object* l_Lean_Parser_Term_assert___elambda__1___closed__13; static lean_object* l___regBuiltin_Lean_Parser_Term_nomatch_parenthesizer___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_namedPattern_formatter___closed__2; static lean_object* l_Lean_Parser_Term_noImplicitLambda___elambda__1___closed__14; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_optEllipsis_formatter___closed__3; static lean_object* l_Lean_Parser_Term_show___closed__8; static lean_object* l_Lean_Parser_Term_depArrow___closed__1; @@ -2466,6 +2515,7 @@ static lean_object* l_Lean_Parser_Term_attrKind_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_typeAscription_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot_formatter___closed__7; static lean_object* l_Lean_Parser_Term_pipeCompletion___closed__5; +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__3; lean_object* l_Lean_Parser_Term_noImplicitLambda___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_attributes_formatter___closed__2; lean_object* l___regBuiltin_Lean_Parser_Term_paren_parenthesizer(lean_object*); @@ -2513,6 +2563,7 @@ static lean_object* l_Lean_Parser_Term_funBinder_quot___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_paren___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_byTactic_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__25; static lean_object* l_Lean_Parser_Term_nomatch_formatter___closed__1; static lean_object* l_Lean_Parser_Term_haveDecl___closed__4; static lean_object* l_Lean_Parser_Term_let__delayed_formatter___closed__3; @@ -2603,6 +2654,7 @@ lean_object* l_Lean_Parser_Command_commentBody___elambda__1___boxed(lean_object* lean_object* l___regBuiltin_Lean_Parser_Term_let__fun_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_explicitUniv___closed__4; lean_object* l_Lean_Parser_Term_let__delayed; +lean_object* l_Lean_Parser_Term_strictImplicitRightBracket_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_hole_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_nomatch_formatter___closed__2; static lean_object* l_Lean_Parser_Term_optExprPrecedence___closed__3; @@ -2674,8 +2726,8 @@ lean_object* l___regBuiltinParser_Lean_Parser_Term_arrayRef(lean_object*); static lean_object* l_Lean_Parser_Term_whereDecls_formatter___closed__11; static lean_object* l_Lean_Parser_Tactic_quotSeq_formatter___closed__5; static lean_object* l_Lean_Parser_Term_type_parenthesizer___closed__11; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__3; static lean_object* l_Lean_Parser_Term_depArrow___elambda__1___closed__10; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_stateRefT_parenthesizer___closed__6; lean_object* l_Lean_Parser_Term_simpleBinderWithoutType; static lean_object* l_Lean_Parser_Term_inaccessible_parenthesizer___closed__1; @@ -2718,7 +2770,6 @@ static lean_object* l_Lean_Parser_Term_letPatDecl_formatter___closed__3; static lean_object* l_Lean_Parser_Term_structInstArrayRef_formatter___closed__3; static lean_object* l_Lean_Parser_Term_namedArgument___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_prop_formatter___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_bracketedBinder_quot_formatter___closed__1; static lean_object* l_Lean_Parser_Term_cdot___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot___closed__2; @@ -2727,6 +2778,7 @@ static lean_object* l_Lean_Parser_Term_dbgTrace___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_generalizingParam_formatter___closed__5; lean_object* l_Lean_Parser_rawCh(uint32_t, uint8_t); static lean_object* l_Lean_Parser_Term_structInstLVal_formatter___closed__12; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_forInMacro___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_depArrow_formatter___closed__6; static lean_object* l_Lean_Parser_Term_matchAlt_parenthesizer___closed__3; @@ -2736,7 +2788,6 @@ static lean_object* l_Lean_Parser_Term_whereDecls_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_binderDefault___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_explicit_formatter___closed__1; static lean_object* l_Lean_Parser_Term_have___closed__8; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__15; static lean_object* l_Lean_Parser_Term_structInstLVal_formatter___closed__2; static lean_object* l_Lean_Parser_Term_sorry___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__23; @@ -2747,21 +2798,19 @@ lean_object* l_Lean_Parser_Term_structInstFieldAbbrev___elambda__1(lean_object*, static lean_object* l_Lean_Parser_Term_forall_formatter___closed__8; static lean_object* l_Lean_Parser_Term_quotedName___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__26; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__27; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_argument_parenthesizer___closed__6; lean_object* l_Lean_Parser_Term_scoped_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_matchDiscr_quot_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_suffices___elambda__1___closed__13; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__14; static lean_object* l_Lean_Parser_Term_ensureExpectedType___elambda__1___closed__10; lean_object* l_Lean_Parser_Term_funBinder_quot; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___closed__16; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___closed__3; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__28; static lean_object* l_Lean_Parser_Term_show_formatter___closed__4; static lean_object* l_Lean_Parser_Term_trailing__parser_parenthesizer___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_ensureExpectedType_formatter___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__18; static lean_object* l_Lean_Parser_Term_haveIdDecl___closed__3; static lean_object* l_Lean_Parser_Term_paren___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_structInst___closed__12; @@ -2776,7 +2825,6 @@ static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___close static lean_object* l_Lean_Parser_Term_sort_formatter___closed__2; static lean_object* l_Lean_Parser_Term_instBinder_formatter___closed__4; static lean_object* l_Lean_Parser_Term_leading__parser___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__30; static lean_object* l_Lean_Parser_Term_instBinder___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_ellipsis___elambda__1___closed__1; lean_object* l_Lean_Parser_nonReservedSymbol_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -2826,6 +2874,7 @@ static lean_object* l_Lean_Parser_Term_pipeProj_formatter___closed__1; static lean_object* l_Lean_Parser_Term_trueVal___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_explicit___elambda__1___closed__10; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___closed__15; +lean_object* l_Lean_Parser_Term_strictImplicitBinder_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_funBinder_quot___elambda__1___closed__15; static lean_object* l_Lean_Parser_Term_pipeProj_formatter___closed__2; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot___elambda__1___closed__2; @@ -2859,7 +2908,6 @@ static lean_object* l_Lean_Parser_Term_binrel___closed__2; static lean_object* l_Lean_Parser_Term_pipeProj___closed__4; static lean_object* l_Lean_Parser_Term_noImplicitLambda___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_assert___closed__6; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__25; lean_object* l_Lean_Parser_Term_typeOf_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_cdot___closed__6; static lean_object* l_Lean_Parser_Term_arrayRef___closed__6; @@ -2870,6 +2918,7 @@ lean_object* l_Lean_PrettyPrinter_Parenthesizer_fieldIdx_parenthesizer___boxed(l lean_object* l___regBuiltin_Lean_Parser_Term_quotedName_parenthesizer(lean_object*); static lean_object* l___regBuiltinParser_Lean_Parser_Term_byTactic___closed__2; static lean_object* l_Lean_Parser_Term_haveIdDecl___closed__5; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__35; static lean_object* l_Lean_Parser_Term_funBinder_quot___elambda__1___closed__18; static lean_object* l_Lean_Parser_Term_borrowed___closed__7; static lean_object* l_Lean_Parser_Term_generalizingParam___closed__7; @@ -2884,6 +2933,7 @@ static lean_object* l_Lean_Parser_Term_letEqnsDecl_formatter___closed__1; static lean_object* l_Lean_Parser_Term_cdot___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_funSimpleBinder_formatter___closed__2; static lean_object* l_Lean_Parser_Term_whereDecls___elambda__1___closed__9; +static lean_object* l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__1; static lean_object* l_Lean_Parser_Term_matchDiscr___elambda__1___closed__18; static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_fun___closed__8; @@ -2900,7 +2950,6 @@ lean_object* l___regBuiltinParser_Lean_Parser_Term_fun(lean_object*); static lean_object* l_Lean_Parser_Term_argument_formatter___closed__2; static lean_object* l_Lean_Parser_Term_funImplicitBinder___closed__3; static lean_object* l_Lean_Parser_Term_attr_quot___elambda__1___closed__5; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__29; static lean_object* l_Lean_Parser_Term_proj_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_structInstField___elambda__1___closed__2; static lean_object* l_Lean_Parser_Command_docComment_formatter___closed__5; @@ -2918,9 +2967,11 @@ static lean_object* l_Lean_Parser_Term_letIdLhs___closed__1; lean_object* l_Lean_PrettyPrinter_Formatter_withPosition_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltinParser_Lean_Parser_Term_str___closed__1; static lean_object* l_Lean_Parser_Term_sort___closed__5; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_funBinder_formatter___closed__4; static lean_object* l_Lean_Parser_Term_matchDiscr_parenthesizer___closed__3; lean_object* l___regBuiltin_Lean_Parser_Term_structInst_formatter(lean_object*); +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_sorry___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_matchDiscr_quot___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_unreachable_parenthesizer___closed__3; @@ -2960,6 +3011,7 @@ static lean_object* l_Lean_Parser_Term_whereDecls___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_binrel_formatter___closed__4; static lean_object* l_Lean_Parser_Term_dbgTrace_formatter___closed__1; static lean_object* l_Lean_Parser_Term_structInstField___elambda__1___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__36; lean_object* l_Lean_Parser_Term_borrowed_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_matchAlts_formatter___closed__1; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___closed__7; @@ -2970,6 +3022,7 @@ static lean_object* l_Lean_Parser_Term_explicitUniv___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_attr_quot_formatter___closed__5; static lean_object* l_Lean_Parser_Term_have___elambda__1___closed__8; static lean_object* l_Lean_Parser_Term_fromTerm___elambda__1___closed__6; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__34; static lean_object* l_Lean_Parser_Term_generalizingParam___elambda__1___closed__14; static lean_object* l_Lean_Parser_Term_letIdLhs___closed__2; lean_object* l___regBuiltin_Lean_Parser_Term_noImplicitLambda_parenthesizer(lean_object*); @@ -3004,7 +3057,6 @@ static lean_object* l_Lean_Parser_Term_funBinder_quot_formatter___closed__1; static lean_object* l_Lean_Parser_Term_explicitBinder___closed__6; static lean_object* l_Lean_Parser_Term_noindex___closed__5; static lean_object* l_Lean_Parser_Term_haveIdDecl_formatter___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__22; static lean_object* l_Lean_Parser_Term_syntheticHole_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_fun___closed__9; @@ -3021,6 +3073,7 @@ static lean_object* l_Lean_Parser_Term_typeAscription___closed__7; lean_object* l_Lean_Parser_Term_typeAscription_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_funSimpleBinder_formatter___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__23; lean_object* l_Lean_Parser_Term_binderIdent_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_paren_formatter___closed__11; static lean_object* l_Lean_Parser_Term_attrKind_formatter___closed__1; @@ -3041,6 +3094,7 @@ static lean_object* l_Lean_Parser_Term_noImplicitLambda___elambda__1___closed__1 static lean_object* l_Lean_Parser_Term_ensureExpectedType___closed__3; static lean_object* l_Lean_Parser_Term_dbgTrace___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_scoped___elambda__1___closed__3; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_explicit___closed__3; static lean_object* l_Lean_Parser_Term_binderType___closed__3; lean_object* l_Lean_Parser_Term_str_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -3053,7 +3107,6 @@ static lean_object* l_Lean_Parser_Term_macroDollarArg___closed__7; lean_object* l_Lean_Parser_mkAntiquot_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_noImplicitLambda___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_dynamicQuot___closed__6; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__33; static lean_object* l_Lean_Parser_Tactic_quotSeq___elambda__1___closed__9; lean_object* l_Lean_Parser_sepBy1(lean_object*, lean_object*, lean_object*, uint8_t); static lean_object* l_Lean_Parser_Term_generalizingParam___elambda__1___closed__5; @@ -3066,6 +3119,7 @@ static lean_object* l_Lean_Parser_Term_ensureExpectedType___closed__5; static lean_object* l_Lean_Parser_Term_forall_formatter___closed__11; static lean_object* l___regBuiltin_Lean_Parser_Term_explicit_formatter___closed__2; static lean_object* l_Lean_Parser_Term_argument_formatter___closed__1; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__22; lean_object* l_Lean_Parser_ppLine_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_let__delayed_formatter___closed__1; @@ -3137,6 +3191,7 @@ lean_object* l_Lean_Parser_Term_macroArg; static lean_object* l_Lean_Parser_Term_typeAscription___closed__5; static lean_object* l_Lean_Parser_Term_generalizingParam___elambda__1___closed__15; static lean_object* l_Lean_Parser_Term_let__fun_parenthesizer___closed__5; +static lean_object* l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_leading__parser_formatter___closed__5; lean_object* l_Lean_Parser_ident___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_byTactic___elambda__1___closed__7; @@ -3160,6 +3215,7 @@ static lean_object* l_Lean_Parser_Term_local___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_sufficesDecl_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_explicit___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_byTactic___closed__8; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___closed__3; static lean_object* l_Lean_Parser_Term_fromTerm___closed__4; static lean_object* l_Lean_Parser_Term_attrKind_formatter___closed__5; static lean_object* l_Lean_Parser_Tactic_quot___closed__1; @@ -3200,8 +3256,10 @@ static lean_object* l_Lean_Parser_Term_ensureTypeOf_formatter___closed__4; static lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__21; static lean_object* l_Lean_Parser_Term_match_formatter___closed__2; static lean_object* l_Lean_Parser_Term_anonymousCtor_formatter___closed__6; +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___closed__5; lean_object* l_Lean_Parser_Term_simpleBinder; static lean_object* l_Lean_Parser_Term_let__delayed___elambda__1___closed__6; +lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_letrec___closed__3; static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__14; static lean_object* l_Lean_Parser_Term_structInstLVal_parenthesizer___closed__1; @@ -3334,6 +3392,7 @@ static lean_object* l_Lean_Parser_Term_funBinder_quot_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_structInstLVal_formatter___closed__7; static lean_object* l_Lean_Parser_Term_whereDecls___elambda__1___closed__19; static lean_object* l_Lean_Parser_Command_docComment_formatter___closed__3; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__2; lean_object* l_Lean_Parser_Term_simpleBinder_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_cdot___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_attr_quot___elambda__1___closed__15; @@ -3366,6 +3425,7 @@ static lean_object* l_Lean_Parser_Term_subst___closed__3; static lean_object* l_Lean_Parser_Term_forInMacro___elambda__1___closed__14; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev___elambda__1___closed__8; static lean_object* l_Lean_Parser_Term_scoped___elambda__1___closed__10; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__21; static lean_object* l_Lean_Parser_Term_suffices_formatter___closed__8; static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__8; static lean_object* l_Lean_Parser_Term_let__fun_formatter___closed__4; @@ -3382,7 +3442,6 @@ static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__13; lean_object* l___regBuiltinParser_Lean_Parser_Term_pipeProj(lean_object*); static lean_object* l_Lean_Parser_Term_attrInstance___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_instBinder___closed__8; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__9; static lean_object* l_Lean_Parser_Term_funBinder_formatter___closed__1; static lean_object* l_Lean_Parser_Term_sufficesDecl___elambda__1___closed__2; static lean_object* l_Lean_Parser_darrow___closed__1; @@ -3428,6 +3487,7 @@ static lean_object* l_Lean_Parser_Term_forall___elambda__1___closed__12; static lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__20; static lean_object* l_Lean_Parser_Term_instBinder___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_let___elambda__1___closed__1; +lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_letIdLhs_formatter___closed__3; static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__16; @@ -3481,6 +3541,7 @@ lean_object* l_Lean_Parser_Term_macroDollarArg; static lean_object* l_Lean_Parser_Term_panic___elambda__1___closed__13; static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__39; static lean_object* l_Lean_Parser_Term_dynamicQuot_formatter___closed__9; +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_binderTactic___closed__9; lean_object* l_Lean_Parser_Term_anonymousCtor_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_doubleQuotedName_formatter___closed__4; @@ -3492,6 +3553,7 @@ static lean_object* l_Lean_Parser_Term_binderType___closed__2; static lean_object* l_Lean_Parser_Term_borrowed___closed__5; static lean_object* l_Lean_Parser_Term_explicitUniv___closed__8; static lean_object* l_Lean_Parser_Term_letPatDecl_formatter___closed__5; +lean_object* l_Lean_Parser_Term_strictImplicitBinder_formatter(uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_suffices_formatter___closed__2; static lean_object* l_Lean_Parser_Term_haveIdDecl___closed__4; static lean_object* l_Lean_Parser_Term_syntheticHole___closed__9; @@ -3634,6 +3696,7 @@ static lean_object* l_Lean_Parser_Term_fromTerm_formatter___closed__4; static lean_object* l_Lean_Parser_Term_dynamicQuot___elambda__1___closed__15; static lean_object* l_Lean_Parser_Term_leading__parser___closed__2; static lean_object* l_Lean_Parser_Term_typeOf_formatter___closed__4; +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_falseVal___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_let___elambda__1___closed__9; static lean_object* l_Lean_Parser_Command_docComment_formatter___closed__7; @@ -3651,6 +3714,7 @@ static lean_object* l_Lean_Parser_Term_argument_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls_formatter___closed__4; lean_object* l_Lean_Parser_orelseFnCore(lean_object*, lean_object*, uint8_t, lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_noImplicitLambda_formatter(lean_object*); +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_explicitUniv___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_explicitUniv_parenthesizer___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_leading__parser_formatter___closed__1; @@ -3685,6 +3749,7 @@ static lean_object* l_Lean_Parser_Term_explicitUniv_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Command_docComment_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_letIdDecl___closed__5; static lean_object* l_Lean_Parser_Term_match___closed__4; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_falseVal___closed__5; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___closed__4; static lean_object* l_Lean_Parser_Term_app___closed__5; @@ -3716,6 +3781,7 @@ static lean_object* l_Lean_Parser_Term_syntheticHole_formatter___closed__1; static lean_object* l_Lean_Parser_Term_stateRefT_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_optExprPrecedence___closed__2; static lean_object* l_Lean_Parser_Term_match___elambda__1___closed__19; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__1; static lean_object* l_Lean_Parser_Term_letIdLhs___closed__4; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_typeAscription_formatter___closed__4; @@ -3760,6 +3826,8 @@ lean_object* l___regBuiltin_Lean_Parser_Term_quotedName_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_unreachable___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_let_parenthesizer___closed__7; static lean_object* l_Lean_Parser_Term_paren___elambda__1___closed__17; +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__29; lean_object* l_Lean_Parser_Term_funSimpleBinder_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_doubleQuotedName___closed__8; static lean_object* l_Lean_Parser_Term_macroDollarArg_formatter___closed__3; @@ -3807,6 +3875,7 @@ lean_object* l_Lean_Parser_Term_funImplicitBinder_parenthesizer(lean_object*, le static lean_object* l___regBuiltin_Lean_Parser_Term_proj_formatter___closed__2; static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_52____closed__6; static lean_object* l_Lean_Parser_Term_arrayRef___closed__1; +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__1; lean_object* l_Lean_Parser_Term_implicitBinder_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_fromTerm___closed__5; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__18; @@ -3821,14 +3890,17 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_noindex_parenthesizer___clos static lean_object* l_Lean_Parser_Term_bracketedBinder_quot___elambda__1___closed__19; static lean_object* l_Lean_Parser_Term_attrInstance___elambda__1___closed__7; lean_object* l___regBuiltin_Lean_Parser_Term_pipeCompletion_parenthesizer(lean_object*); +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_proj_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_letDecl___closed__12; static lean_object* l_Lean_Parser_Term_forall_parenthesizer___closed__11; +lean_object* l_Lean_Parser_Term_strictImplicitBinder_parenthesizer(uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_binderDefault___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_letRecDecl_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_let___elambda__1___closed__11; static lean_object* l_Lean_Parser_Term_binop___elambda__1___closed__13; static lean_object* l_Lean_Parser_Term_panic___elambda__1___closed__2; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__5; lean_object* l___regBuiltin_Lean_Parser_Term_assert_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_structInstArrayRef___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_basicFun___closed__2; @@ -3837,6 +3909,7 @@ static lean_object* l_Lean_Parser_Term_letRecDecls___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_borrowed___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_attr_quot___elambda__1___closed__14; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___closed__6; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__9; static lean_object* l_Lean_Parser_Term_dbgTrace___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_letIdDecl___closed__2; static lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__16; @@ -3884,9 +3957,12 @@ static lean_object* l_Lean_Parser_Term_syntheticHole___closed__3; lean_object* l_Lean_Parser_darrow___elambda__1___lambda__1___boxed(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_attrInstance___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_doubleQuotedName___closed__4; +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___closed__6; static lean_object* l_Lean_Parser_Term_attributes_formatter___closed__5; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__8; static lean_object* l_Lean_Parser_Term_subst___closed__2; static lean_object* l_Lean_Parser_Term_binrel___closed__4; +lean_object* l_Lean_Parser_Term_strictImplicitRightBracket; static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__31; static lean_object* l_Lean_Parser_Term_whereDecls_formatter___closed__10; lean_object* l_Lean_Parser_rawCh___elambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*); @@ -3903,6 +3979,7 @@ static lean_object* l_Lean_Parser_Term_typeAscription___closed__9; lean_object* l_Lean_Parser_sepBy1_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_ensureTypeOf___elambda__1___closed__7; lean_object* l___regBuiltin_Lean_Parser_Term_inaccessible_formatter(lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__4; static lean_object* l_Lean_Parser_Term_noImplicitLambda___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_explicit___elambda__1___closed__12; static lean_object* l_Lean_Parser_Term_letRecDecl___elambda__1___closed__3; @@ -3970,7 +4047,6 @@ static lean_object* l_Lean_Parser_Term_matchAltExpr___closed__1; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev___elambda__1___closed__3; static lean_object* l_Lean_Parser_Level_quot___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_sorry___elambda__1___closed__7; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__10; lean_object* l___regBuiltin_Lean_Parser_Term_nomatch_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_generalizingParam_formatter___closed__2; static lean_object* l_Lean_Parser_Term_matchAlt___closed__2; @@ -3982,7 +4058,9 @@ static lean_object* l_Lean_Parser_Term_paren___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_funSimpleBinder___closed__2; lean_object* l_Lean_Parser_Term_tupleTail_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_binderTactic___elambda__1___closed__10; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__4; static lean_object* l_Lean_Parser_Term_local___elambda__1___closed__1; +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_binop_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_unreachable___elambda__1___closed__8; static lean_object* l_Lean_Parser_Term_funBinder___closed__1; @@ -4011,7 +4089,6 @@ static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___close static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__19; static lean_object* l___regBuiltin_Lean_Parser_Term_arrayRef_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_let_formatter___closed__5; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__20; static lean_object* l_Lean_Parser_Term_let__fun_parenthesizer___closed__7; static lean_object* l_Lean_Parser_Term_let__delayed___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_match___closed__11; @@ -4031,13 +4108,13 @@ static lean_object* l_Lean_Parser_Tactic_quot___closed__3; lean_object* l_Lean_Parser_nodeFn(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__16; static lean_object* l_Lean_Parser_Term_funBinder_formatter___closed__3; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__32; static lean_object* l_Lean_Parser_Term_typeSpec___closed__1; static lean_object* l_Lean_Parser_Term_namedPattern___closed__8; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_assert___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_attrKind___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_let__fun___closed__8; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__12; static lean_object* l_Lean_Parser_Term_panic___closed__3; static lean_object* l_Lean_Parser_Term_paren___elambda__1___closed__25; static lean_object* l___regBuiltin_Lean_Parser_Term_num_parenthesizer___closed__2; @@ -4063,6 +4140,7 @@ static lean_object* l_Lean_Parser_Term_ensureTypeOf___elambda__1___closed__10; static lean_object* l_Lean_Parser_Term_forInMacro___closed__1; static lean_object* l_Lean_Parser_Term_trueVal___elambda__1___closed__11; static lean_object* l_Lean_Parser_Term_macroDollarArg___closed__8; +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__2; static lean_object* l_Lean_Parser_Term_structInstArrayRef___elambda__1___closed__14; static lean_object* l_Lean_Parser_Term_forInMacro_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_structInstField_parenthesizer___closed__2; @@ -4188,6 +4266,7 @@ static lean_object* l_Lean_Parser_Term_leading__parser___elambda__1___closed__9; lean_object* l_Lean_Parser_nameLit___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_let__fun___elambda__1___closed__8; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__2; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_trailing__parser___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_sorry___elambda__1___closed__10; @@ -4216,6 +4295,7 @@ static lean_object* l_Lean_Parser_Term_suffices_formatter___closed__4; static lean_object* l_Lean_Parser_Term_haveDecl___closed__2; static lean_object* l_Lean_Parser_Term_have_formatter___closed__4; lean_object* l_Lean_Parser_Term_typeSpec___elambda__1(lean_object*, lean_object*); +lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_ensureExpectedType_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_let__fun___closed__9; static lean_object* l_Lean_Parser_Term_typeSpec___elambda__1___closed__1; @@ -4223,6 +4303,7 @@ static lean_object* l_Lean_Parser_Command_docComment_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_forall___closed__5; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___closed__6; static lean_object* l_Lean_Parser_Term_paren___closed__10; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__5; static lean_object* l_Lean_Parser_Term_simpleBinder___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_macroDollarArg___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_structInstArrayRef___closed__6; @@ -4256,6 +4337,7 @@ static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev_parenthesizer___clo static lean_object* l_Lean_Parser_Term_match_formatter___closed__10; static lean_object* l_Lean_Parser_Term_scientific___closed__1; static lean_object* l_Lean_Parser_Term_suffices_parenthesizer___closed__6; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_attrKind___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_dbgTrace___closed__10; static lean_object* l_Lean_Parser_Term_letRecDecls___closed__1; @@ -4286,6 +4368,7 @@ static lean_object* l_Lean_Parser_Term_haveDecl___closed__6; static lean_object* l_Lean_Parser_Term_ensureTypeOf_parenthesizer___closed__5; lean_object* l___regBuiltinParser_Lean_Parser_Term_stateRefT(lean_object*); lean_object* l___regBuiltin_Lean_Parser_Term_ensureExpectedType_parenthesizer(lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__19; static lean_object* l_Lean_Parser_Term_structInstField_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__15; static lean_object* l_Lean_Parser_Term_matchAlt_formatter___closed__1; @@ -4307,6 +4390,7 @@ static lean_object* l_Lean_Parser_Term_byTactic___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_forall_formatter___closed__1; lean_object* l_Lean_Parser_Term_optSemicolon_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_unicodeSymbolFn___boxed(lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_structInstField___closed__3; static lean_object* l_Lean_Parser_Term_typeAscription___closed__8; static lean_object* l_Lean_Parser_Term_local___closed__3; @@ -4338,10 +4422,10 @@ static lean_object* l_Lean_Parser_Term_let__delayed___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_arrow_formatter___closed__1; static lean_object* l_Lean_Parser_Term_inaccessible_formatter___closed__2; static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__10; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__16; static lean_object* l_Lean_Parser_Term_doubleQuotedName___elambda__1___closed__18; static lean_object* l_Lean_Parser_Term_letRecDecl_parenthesizer___closed__7; static lean_object* l_Lean_Parser_Term_funBinder_quot___closed__3; +lean_object* l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltinParser_Lean_Parser_Term_explicitUniv(lean_object*); static lean_object* l_Lean_Parser_Term_optIdent_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_macroDollarArg___closed__6; @@ -4392,6 +4476,7 @@ static lean_object* l_Lean_Parser_Tactic_quotSeq___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_namedPattern___closed__2; static lean_object* l_Lean_Parser_Term_attrKind_formatter___closed__6; static lean_object* l_Lean_Parser_Term_dynamicQuot___elambda__1___closed__11; +lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___closed__16; static lean_object* l_Lean_Parser_Term_sort_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_sorry___elambda__1___closed__3; @@ -4463,6 +4548,7 @@ static lean_object* l_Lean_Parser_Term_doubleQuotedName___closed__11; static lean_object* l_Lean_Parser_Term_sort___elambda__1___closed__9; lean_object* l___regBuiltin_Lean_Parser_Term_str_formatter(lean_object*); lean_object* l_Lean_Parser_Term_subst_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_PrettyPrinter_Parenthesizer_checkColGe_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_app___closed__2; static lean_object* l_Lean_Parser_Term_namedArgument_parenthesizer___closed__5; @@ -4474,6 +4560,7 @@ static lean_object* l_Lean_Parser_Term_whereDecls_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_letrec___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_matchDiscr_parenthesizer___closed__6; lean_object* l_Lean_Parser_Term_panic_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__3; static lean_object* l_Lean_Parser_Term_syntheticHole_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__15; static lean_object* l___regBuiltin_Lean_Parser_Term_bracketedBinder_quot_parenthesizer___closed__2; @@ -4502,6 +4589,7 @@ static lean_object* l_Lean_Parser_Term_ensureTypeOf___closed__3; static lean_object* l_Lean_Parser_Term_borrowed___closed__8; lean_object* l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_noindex___elambda__1(lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_doubleQuotedName_formatter___closed__3; static lean_object* l_Lean_Parser_Term_anonymousCtor_formatter___closed__7; @@ -4548,6 +4636,7 @@ lean_object* l_Lean_Parser_Term_num___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__18; static lean_object* l_Lean_Parser_Term_fromTerm___elambda__1___closed__14; static lean_object* l___regBuiltin_Lean_Parser_Term_stateRefT_formatter___closed__2; +static lean_object* l_Lean_Parser_Term_funBinder_formatter___closed__6; static lean_object* l_Lean_Parser_Term_matchDiscr_quot___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_sort___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_letDecl_parenthesizer___closed__4; @@ -4564,6 +4653,7 @@ static lean_object* l_Lean_Parser_Level_quot_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_syntheticHole___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_macroDollarArg___elambda__1___closed__10; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev___elambda__1___closed__6; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__11; static lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_ensureExpectedType___closed__2; lean_object* l_Lean_Parser_Term_proj___elambda__1(lean_object*, lean_object*); @@ -4639,11 +4729,11 @@ static lean_object* l_Lean_Parser_Term_borrowed___elambda__1___closed__6; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___lambda__3___closed__3; static lean_object* l_Lean_Parser_Term_letRecDecl___closed__2; static lean_object* l_Lean_Parser_Term_tupleTail___elambda__1___closed__16; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__6; static lean_object* l_Lean_Parser_Term_noindex_formatter___closed__4; lean_object* l___regBuiltinParser_Lean_Parser_Term_borrowed(lean_object*); static lean_object* l_Lean_Parser_Term_depArrow___elambda__1___closed__11; static lean_object* l_Lean_Parser_Term_ensureExpectedType___elambda__1___closed__6; +lean_object* l_Lean_Parser_Term_strictImplicitBinder___elambda__1(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Tactic_quot___elambda__1___closed__11; static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_trailing__parser___closed__7; @@ -4673,7 +4763,7 @@ static lean_object* l_Lean_Parser_Term_borrowed___elambda__1___closed__14; static lean_object* l_Lean_Parser_Term_show_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_trueVal___elambda__1___closed__6; lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_52_(lean_object*); -lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684_(lean_object*); +lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771_(lean_object*); static lean_object* l_Lean_Parser_Term_parenSpecial_formatter___closed__3; static lean_object* l_Lean_Parser_Term_have___elambda__1___closed__13; static lean_object* l_Lean_Parser_Term_noindex___elambda__1___closed__5; @@ -4706,6 +4796,7 @@ static lean_object* l_Lean_Parser_Term_parenSpecial___closed__4; static lean_object* l_Lean_Parser_Term_doubleQuotedName_formatter___closed__5; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_macroDollarArg_parenthesizer___closed__2; +lean_object* l_Lean_Parser_Term_strictImplicitBinder(uint8_t); static lean_object* l_Lean_Parser_Term_dbgTrace___closed__7; static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_letRecDecls___closed__2; @@ -4737,6 +4828,7 @@ static lean_object* l_Lean_Parser_Term_matchDiscr_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Tactic_quotSeq___closed__2; static lean_object* l_Lean_Parser_Term_have_parenthesizer___closed__5; lean_object* l_Lean_PrettyPrinter_Formatter_notFollowedBy_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___closed__6; static lean_object* l_Lean_Parser_Term_byTactic___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_subst_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_attrKind___closed__5; @@ -4746,6 +4838,7 @@ static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls___closed__5; static lean_object* l_Lean_Parser_Term_letDecl___closed__3; static lean_object* l_Lean_Parser_Term_whereDecls___elambda__1___closed__8; static lean_object* l_Lean_Parser_Term_doubleQuotedName___elambda__1___closed__9; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__31; static lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__22; static lean_object* l_Lean_Parser_Term_letrec_formatter___closed__1; lean_object* l___regBuiltin_Lean_Parser_Term_binop_formatter(lean_object*); @@ -4784,6 +4877,7 @@ static lean_object* l_Lean_Parser_Term_generalizingParam___elambda__1___closed__ static lean_object* l_Lean_Parser_Term_attr_quot_formatter___closed__2; lean_object* l_Lean_Parser_identFn(lean_object*, lean_object*); lean_object* l_Lean_Parser_nameLit_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__6; static lean_object* l_Lean_Parser_Term_namedArgument___closed__9; static lean_object* l_Lean_Parser_Term_suffices___closed__6; static lean_object* l_Lean_Parser_Term_fun_formatter___closed__4; @@ -4793,11 +4887,13 @@ static lean_object* l_Lean_Parser_Term_structInstArrayRef___elambda__1___closed_ static lean_object* l_Lean_Parser_Term_depArrow___closed__7; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__7; lean_object* l___regBuiltinParser_Lean_Parser_Term_paren(lean_object*); +static lean_object* l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_doubleQuotedName___elambda__1___closed__17; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___closed__28; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___closed__11; static lean_object* l_Lean_Parser_Term_arrow___closed__3; static lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__6; +static lean_object* l_Lean_Parser_Term_funBinder___closed__6; lean_object* l_Lean_Parser_Term_fromTerm___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_binrel_parenthesizer___closed__5; @@ -4828,6 +4924,7 @@ static lean_object* l_Lean_Parser_Term_type_parenthesizer___closed__12; static lean_object* l_Lean_Parser_Term_str_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_letrec_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_funSimpleBinder___closed__4; +static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_binderDefault___closed__5; static lean_object* l_Lean_Parser_Term_binderTactic_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_letRecDecl_parenthesizer___closed__4; @@ -4908,6 +5005,7 @@ static lean_object* l_Lean_Parser_Term_depArrow___closed__3; static lean_object* l_Lean_Parser_Term_funImplicitBinder_formatter___closed__2; static lean_object* l_Lean_Parser_Term_sufficesDecl___closed__8; lean_object* l_Lean_Parser_nodeWithAntiquot_parenthesizer(lean_object*, lean_object*, lean_object*, uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket; lean_object* l___regBuiltin_Lean_Parser_Term_pipeProj_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__22; static lean_object* l_Lean_Parser_Tactic_quotSeq_formatter___closed__1; @@ -4929,6 +5027,7 @@ static lean_object* l_Lean_Parser_Tactic_tacticSeq___closed__6; static lean_object* l_Lean_Parser_Term_type_formatter___closed__10; static lean_object* l_Lean_Parser_Tactic_quot___elambda__1___closed__12; static lean_object* l_Lean_Parser_Term_dynamicQuot___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__17; static lean_object* l_Lean_Parser_Term_ensureTypeOf___closed__10; static lean_object* l_Lean_Parser_Term_inaccessible_parenthesizer___closed__5; lean_object* l_Lean_Parser_Term_let_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -5009,6 +5108,7 @@ static lean_object* l_Lean_Parser_Term_structInstLVal_parenthesizer___closed__11 lean_object* l_Lean_PrettyPrinter_Parenthesizer_node_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_optEllipsis_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_binrel_formatter___closed__7; +static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_matchDiscr_quot_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_bracketedBinder_quot_formatter___closed__2; static lean_object* l_Lean_Parser_Term_explicitBinder_formatter___closed__5; @@ -28299,6 +28399,438 @@ x_3 = l_Lean_Parser_Term_implicitBinder(x_2); return x_3; } } +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__16; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_2, 0, x_1); +lean_closure_set(x_2, 1, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_groupKind; +x_2 = l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__1; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_nodeFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__2; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_atomicFn), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__4() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("⦃"); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__5() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__4; +x_2 = l_String_trim(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__6() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__5; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__7() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__6; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_tokenWithAntiquotFn), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1(lean_object* x_1, lean_object* x_2) { +_start: +{ +lean_object* x_3; lean_object* x_4; uint8_t x_5; lean_object* x_6; +x_3 = l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__3; +x_4 = l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__7; +x_5 = 1; +x_6 = l_Lean_Parser_orelseFnCore(x_3, x_4, x_5, x_1, x_2); +return x_6; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Tactic_tacticSeqBracketed___closed__4; +x_2 = l_Lean_Parser_andthenInfo(x_1, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_groupKind; +x_2 = l_Lean_Parser_Term_strictImplicitLeftBracket___closed__1; +x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__5; +x_2 = l_Lean_Parser_symbolInfo(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_strictImplicitLeftBracket___closed__2; +x_2 = l_Lean_Parser_Term_strictImplicitLeftBracket___closed__3; +x_3 = l_Lean_Parser_orelseInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket___closed__5() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1), 2, 0); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket___closed__6() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_strictImplicitLeftBracket___closed__4; +x_2 = l_Lean_Parser_Term_strictImplicitLeftBracket___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; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket() { +_start: +{ +lean_object* x_1; +x_1 = l_Lean_Parser_Term_strictImplicitLeftBracket___closed__6; +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__10; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_2, 0, x_1); +lean_closure_set(x_2, 1, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_groupKind; +x_2 = l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__1; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_nodeFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__2; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_atomicFn), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__4() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("⦄"); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__5() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__4; +x_2 = l_String_trim(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__6() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__5; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__7() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__6; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_tokenWithAntiquotFn), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1(lean_object* x_1, lean_object* x_2) { +_start: +{ +lean_object* x_3; lean_object* x_4; uint8_t x_5; lean_object* x_6; +x_3 = l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__3; +x_4 = l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__7; +x_5 = 1; +x_6 = l_Lean_Parser_orelseFnCore(x_3, x_4, x_5, x_1, x_2); +return x_6; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Tactic_tacticSeqBracketed___closed__1; +x_2 = l_Lean_Parser_andthenInfo(x_1, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_groupKind; +x_2 = l_Lean_Parser_Term_strictImplicitRightBracket___closed__1; +x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__5; +x_2 = l_Lean_Parser_symbolInfo(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_strictImplicitRightBracket___closed__2; +x_2 = l_Lean_Parser_Term_strictImplicitRightBracket___closed__3; +x_3 = l_Lean_Parser_orelseInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket___closed__5() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1), 2, 0); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket___closed__6() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_strictImplicitRightBracket___closed__4; +x_2 = l_Lean_Parser_Term_strictImplicitRightBracket___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; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket() { +_start: +{ +lean_object* x_1; +x_1 = l_Lean_Parser_Term_strictImplicitRightBracket___closed__6; +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__1() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("strictImplicitBinder"); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_byTactic___elambda__1___closed__2; +x_2 = l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__1; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__2; +x_2 = lean_alloc_ctor(1, 1, 0); +lean_ctor_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitBinder___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_strictImplicitBinder___elambda__1___closed__1; +x_2 = l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__3; +x_3 = 1; +x_4 = l_Lean_Parser_mkAntiquot(x_1, x_2, x_3); +return x_4; +} +} +lean_object* l_Lean_Parser_Term_strictImplicitBinder___elambda__1(lean_object* x_1, lean_object* x_2, lean_object* x_3) { +_start: +{ +lean_object* x_4; lean_object* x_5; uint8_t x_6; +x_4 = l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__4; +x_5 = lean_ctor_get(x_4, 1); +lean_inc(x_5); +lean_inc(x_3); +lean_inc(x_2); +x_6 = l_Lean_Parser_tryAnti(x_2, x_3); +if (x_6 == 0) +{ +lean_object* x_7; +lean_dec(x_5); +x_7 = lean_apply_2(x_1, x_2, x_3); +return x_7; +} +else +{ +uint8_t x_8; lean_object* x_9; +x_8 = 1; +x_9 = l_Lean_Parser_orelseFnCore(x_5, x_1, x_8, x_2, x_3); +return x_9; +} +} +} +lean_object* l_Lean_Parser_Term_strictImplicitBinder(uint8_t x_1) { +_start: +{ +lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; lean_object* x_18; lean_object* x_19; lean_object* x_20; lean_object* x_21; lean_object* x_22; lean_object* x_23; lean_object* x_24; lean_object* x_25; lean_object* x_26; lean_object* x_27; lean_object* x_28; lean_object* x_29; lean_object* x_30; lean_object* x_31; lean_object* x_32; lean_object* x_33; lean_object* x_34; +x_2 = l_Lean_Parser_Term_binderType(x_1); +x_3 = lean_ctor_get(x_2, 0); +lean_inc(x_3); +x_4 = l_Lean_Parser_Term_strictImplicitRightBracket; +x_5 = lean_ctor_get(x_4, 0); +lean_inc(x_5); +x_6 = l_Lean_Parser_andthenInfo(x_3, x_5); +x_7 = lean_ctor_get(x_2, 1); +lean_inc(x_7); +lean_dec(x_2); +x_8 = l_Lean_Parser_Term_strictImplicitRightBracket___closed__5; +x_9 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_9, 0, x_7); +lean_closure_set(x_9, 1, x_8); +x_10 = l_Lean_Parser_Term_explicitBinder___closed__1; +x_11 = lean_ctor_get(x_10, 0); +lean_inc(x_11); +x_12 = l_Lean_Parser_andthenInfo(x_11, x_6); +x_13 = lean_ctor_get(x_10, 1); +lean_inc(x_13); +x_14 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_14, 0, x_13); +lean_closure_set(x_14, 1, x_9); +x_15 = l_Lean_Parser_Term_strictImplicitLeftBracket; +x_16 = lean_ctor_get(x_15, 0); +lean_inc(x_16); +x_17 = l_Lean_Parser_andthenInfo(x_16, x_12); +x_18 = l_Lean_Parser_Term_strictImplicitLeftBracket___closed__5; +x_19 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_19, 0, x_18); +lean_closure_set(x_19, 1, x_14); +x_20 = l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__2; +x_21 = l_Lean_Parser_nodeInfo(x_20, x_17); +x_22 = lean_alloc_closure((void*)(l_Lean_Parser_nodeFn), 4, 2); +lean_closure_set(x_22, 0, x_20); +lean_closure_set(x_22, 1, x_19); +x_23 = l_Lean_Parser_epsilonInfo; +x_24 = l_Lean_Parser_andthenInfo(x_21, x_23); +x_25 = l_Lean_Parser_Command_docComment___elambda__1___closed__20; +x_26 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_26, 0, x_22); +lean_closure_set(x_26, 1, x_25); +x_27 = l_Lean_Parser_andthenInfo(x_23, x_24); +x_28 = l_Lean_Parser_Command_docComment___elambda__1___closed__18; +x_29 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_29, 0, x_28); +lean_closure_set(x_29, 1, x_26); +x_30 = l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__4; +x_31 = lean_ctor_get(x_30, 0); +lean_inc(x_31); +x_32 = l_Lean_Parser_orelseInfo(x_31, x_27); +x_33 = lean_alloc_closure((void*)(l_Lean_Parser_Term_strictImplicitBinder___elambda__1), 3, 1); +lean_closure_set(x_33, 0, x_29); +x_34 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_34, 0, x_32); +lean_ctor_set(x_34, 1, x_33); +return x_34; +} +} +lean_object* l_Lean_Parser_Term_strictImplicitBinder___boxed(lean_object* x_1) { +_start: +{ +uint8_t x_2; lean_object* x_3; +x_2 = lean_unbox(x_1); +lean_dec(x_1); +x_3 = l_Lean_Parser_Term_strictImplicitBinder(x_2); +return x_3; +} +} static lean_object* _init_l_Lean_Parser_Term_instBinder___elambda__1___closed__1() { _start: { @@ -28733,41 +29265,51 @@ return x_9; lean_object* l_Lean_Parser_Term_bracketedBinder(uint8_t x_1) { _start: { -lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; lean_object* x_18; lean_object* x_19; +lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; lean_object* x_18; lean_object* x_19; lean_object* x_20; lean_object* x_21; lean_object* x_22; lean_object* x_23; lean_object* x_24; x_2 = l_Lean_Parser_Term_explicitBinder(x_1); -x_3 = l_Lean_Parser_Term_implicitBinder(x_1); -x_4 = lean_ctor_get(x_3, 0); -lean_inc(x_4); -x_5 = l_Lean_Parser_Term_instBinder; -x_6 = lean_ctor_get(x_5, 0); -lean_inc(x_6); -x_7 = l_Lean_Parser_orelseInfo(x_4, x_6); -x_8 = lean_ctor_get(x_3, 1); -lean_inc(x_8); +x_3 = l_Lean_Parser_Term_strictImplicitBinder(x_1); +x_4 = l_Lean_Parser_Term_implicitBinder(x_1); +x_5 = lean_ctor_get(x_4, 0); +lean_inc(x_5); +x_6 = l_Lean_Parser_Term_instBinder; +x_7 = lean_ctor_get(x_6, 0); +lean_inc(x_7); +x_8 = l_Lean_Parser_orelseInfo(x_5, x_7); +x_9 = lean_ctor_get(x_4, 1); +lean_inc(x_9); +lean_dec(x_4); +x_10 = l_Lean_Parser_Term_instBinder___closed__7; +x_11 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); +lean_closure_set(x_11, 0, x_9); +lean_closure_set(x_11, 1, x_10); +x_12 = lean_ctor_get(x_3, 0); +lean_inc(x_12); +x_13 = l_Lean_Parser_orelseInfo(x_12, x_8); +x_14 = lean_ctor_get(x_3, 1); +lean_inc(x_14); lean_dec(x_3); -x_9 = l_Lean_Parser_Term_instBinder___closed__7; -x_10 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); -lean_closure_set(x_10, 0, x_8); -lean_closure_set(x_10, 1, x_9); -x_11 = lean_ctor_get(x_2, 0); -lean_inc(x_11); -x_12 = l_Lean_Parser_orelseInfo(x_11, x_7); -x_13 = lean_ctor_get(x_2, 1); -lean_inc(x_13); -lean_dec(x_2); -x_14 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); -lean_closure_set(x_14, 0, x_13); -lean_closure_set(x_14, 1, x_10); -x_15 = l_Lean_Parser_Term_bracketedBinder___elambda__1___closed__2; -x_16 = lean_ctor_get(x_15, 0); +x_15 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); +lean_closure_set(x_15, 0, x_14); +lean_closure_set(x_15, 1, x_11); +x_16 = lean_ctor_get(x_2, 0); lean_inc(x_16); -x_17 = l_Lean_Parser_orelseInfo(x_16, x_12); -x_18 = lean_alloc_closure((void*)(l_Lean_Parser_Term_bracketedBinder___elambda__1), 3, 1); -lean_closure_set(x_18, 0, x_14); -x_19 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_19, 0, x_17); -lean_ctor_set(x_19, 1, x_18); -return x_19; +x_17 = l_Lean_Parser_orelseInfo(x_16, x_13); +x_18 = lean_ctor_get(x_2, 1); +lean_inc(x_18); +lean_dec(x_2); +x_19 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); +lean_closure_set(x_19, 0, x_18); +lean_closure_set(x_19, 1, x_15); +x_20 = l_Lean_Parser_Term_bracketedBinder___elambda__1___closed__2; +x_21 = lean_ctor_get(x_20, 0); +lean_inc(x_21); +x_22 = l_Lean_Parser_orelseInfo(x_21, x_17); +x_23 = lean_alloc_closure((void*)(l_Lean_Parser_Term_bracketedBinder___elambda__1), 3, 1); +lean_closure_set(x_23, 0, x_19); +x_24 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_24, 0, x_22); +lean_ctor_set(x_24, 1, x_23); +return x_24; } } lean_object* l_Lean_Parser_Term_bracketedBinder___boxed(lean_object* x_1) { @@ -29575,6 +30117,182 @@ x_8 = l_Lean_Parser_Term_explicitBinder_formatter(x_7, x_2, x_3, x_4, x_5, x_6); return x_8; } } +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__2; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +lean_closure_set(x_2, 0, x_1); +lean_closure_set(x_2, 1, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__1; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_group_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__2; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_atomic_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__4; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbol_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_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_strictImplicitLeftBracket_formatter___closed__3; +x_7 = l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__4; +x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x_4, x_5); +return x_8; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__11; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +lean_closure_set(x_2, 0, x_1); +lean_closure_set(x_2, 1, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__1; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_group_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__2; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_atomic_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__4; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbol_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +lean_object* l_Lean_Parser_Term_strictImplicitRightBracket_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_strictImplicitRightBracket_formatter___closed__3; +x_7 = l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__4; +x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x_4, x_5); +return x_8; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitBinder_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_strictImplicitBinder___elambda__1___closed__1; +x_2 = l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__3; +x_3 = 1; +x_4 = lean_box(x_3); +x_5 = lean_alloc_closure((void*)(l_Lean_Parser_mkAntiquot_formatter___boxed), 8, 3); +lean_closure_set(x_5, 0, x_1); +lean_closure_set(x_5, 1, x_2); +lean_closure_set(x_5, 2, x_4); +return x_5; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__2() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_strictImplicitRightBracket_formatter), 5, 0); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__3() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_strictImplicitLeftBracket_formatter), 5, 0); +return x_1; +} +} +lean_object* l_Lean_Parser_Term_strictImplicitBinder_formatter(uint8_t x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { +_start: +{ +lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; lean_object* x_18; lean_object* x_19; lean_object* x_20; +x_7 = lean_box(x_1); +x_8 = lean_alloc_closure((void*)(l_Lean_Parser_Term_binderType_formatter___boxed), 6, 1); +lean_closure_set(x_8, 0, x_7); +x_9 = l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__2; +x_10 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +lean_closure_set(x_10, 0, x_8); +lean_closure_set(x_10, 1, x_9); +x_11 = l_Lean_Parser_Term_explicitBinder_formatter___closed__3; +x_12 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +lean_closure_set(x_12, 0, x_11); +lean_closure_set(x_12, 1, x_10); +x_13 = l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__3; +x_14 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +lean_closure_set(x_14, 0, x_13); +lean_closure_set(x_14, 1, x_12); +x_15 = l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__2; +x_16 = lean_unsigned_to_nat(1024u); +x_17 = lean_alloc_closure((void*)(l_Lean_Parser_leadingNode_formatter___boxed), 8, 3); +lean_closure_set(x_17, 0, x_15); +lean_closure_set(x_17, 1, x_16); +lean_closure_set(x_17, 2, x_14); +x_18 = l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__1; +x_19 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_withAntiquot_formatter), 7, 2); +lean_closure_set(x_19, 0, x_18); +lean_closure_set(x_19, 1, x_17); +x_20 = l_Lean_ppGroup_formatter(x_19, x_2, x_3, x_4, x_5, x_6); +return x_20; +} +} +lean_object* l_Lean_Parser_Term_strictImplicitBinder_formatter___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { +_start: +{ +uint8_t x_7; lean_object* x_8; +x_7 = lean_unbox(x_1); +lean_dec(x_1); +x_8 = l_Lean_Parser_Term_strictImplicitBinder_formatter(x_7, x_2, x_3, x_4, x_5, x_6); +return x_8; +} +} static lean_object* _init_l_Lean_Parser_Term_implicitBinder_formatter___closed__1() { _start: { @@ -29733,23 +30451,29 @@ return x_1; lean_object* l_Lean_Parser_Term_bracketedBinder_formatter(uint8_t x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { _start: { -lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; +lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; lean_object* x_18; x_7 = lean_box(x_1); x_8 = lean_alloc_closure((void*)(l_Lean_Parser_Term_explicitBinder_formatter___boxed), 6, 1); lean_closure_set(x_8, 0, x_7); x_9 = lean_box(x_1); -x_10 = lean_alloc_closure((void*)(l_Lean_Parser_Term_implicitBinder_formatter___boxed), 6, 1); +x_10 = lean_alloc_closure((void*)(l_Lean_Parser_Term_strictImplicitBinder_formatter___boxed), 6, 1); lean_closure_set(x_10, 0, x_9); -x_11 = l_Lean_Parser_Term_bracketedBinder_formatter___closed__2; -x_12 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_orelse_formatter), 7, 2); -lean_closure_set(x_12, 0, x_10); -lean_closure_set(x_12, 1, x_11); -x_13 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_orelse_formatter), 7, 2); -lean_closure_set(x_13, 0, x_8); -lean_closure_set(x_13, 1, x_12); -x_14 = l_Lean_Parser_Term_bracketedBinder_formatter___closed__1; -x_15 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_14, x_13, x_2, x_3, x_4, x_5, x_6); -return x_15; +x_11 = lean_box(x_1); +x_12 = lean_alloc_closure((void*)(l_Lean_Parser_Term_implicitBinder_formatter___boxed), 6, 1); +lean_closure_set(x_12, 0, x_11); +x_13 = l_Lean_Parser_Term_bracketedBinder_formatter___closed__2; +x_14 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_orelse_formatter), 7, 2); +lean_closure_set(x_14, 0, x_12); +lean_closure_set(x_14, 1, x_13); +x_15 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_orelse_formatter), 7, 2); +lean_closure_set(x_15, 0, x_10); +lean_closure_set(x_15, 1, x_14); +x_16 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_orelse_formatter), 7, 2); +lean_closure_set(x_16, 0, x_8); +lean_closure_set(x_16, 1, x_15); +x_17 = l_Lean_Parser_Term_bracketedBinder_formatter___closed__1; +x_18 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_17, x_16, x_2, x_3, x_4, x_5, x_6); +return x_18; } } lean_object* l_Lean_Parser_Term_bracketedBinder_formatter___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { @@ -30163,6 +30887,179 @@ x_8 = l_Lean_Parser_Term_explicitBinder_parenthesizer(x_7, x_2, x_3, x_4, x_5, x return x_8; } } +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__2; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +lean_closure_set(x_2, 0, x_1); +lean_closure_set(x_2, 1, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__1; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_group_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__2; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_atomic_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__4; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbol_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_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_strictImplicitLeftBracket_parenthesizer___closed__3; +x_7 = l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__4; +x_8 = l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer(x_6, x_7, x_1, x_2, x_3, x_4, x_5); +return x_8; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__11; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +lean_closure_set(x_2, 0, x_1); +lean_closure_set(x_2, 1, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__1; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_group_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__2; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_atomic_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__4; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbol_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +lean_object* l_Lean_Parser_Term_strictImplicitRightBracket_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_strictImplicitRightBracket_parenthesizer___closed__3; +x_7 = l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__4; +x_8 = l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer(x_6, x_7, x_1, x_2, x_3, x_4, x_5); +return x_8; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; lean_object* x_5; +x_1 = l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__1; +x_2 = l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__3; +x_3 = 1; +x_4 = lean_box(x_3); +x_5 = lean_alloc_closure((void*)(l_Lean_Parser_mkAntiquot_parenthesizer___boxed), 8, 3); +lean_closure_set(x_5, 0, x_1); +lean_closure_set(x_5, 1, x_2); +lean_closure_set(x_5, 2, x_4); +return x_5; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__2() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer), 5, 0); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__3() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer), 5, 0); +return x_1; +} +} +lean_object* l_Lean_Parser_Term_strictImplicitBinder_parenthesizer(uint8_t x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { +_start: +{ +lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; lean_object* x_18; lean_object* x_19; +x_7 = lean_box(x_1); +x_8 = lean_alloc_closure((void*)(l_Lean_Parser_Term_binderType_parenthesizer___boxed), 6, 1); +lean_closure_set(x_8, 0, x_7); +x_9 = l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__2; +x_10 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +lean_closure_set(x_10, 0, x_8); +lean_closure_set(x_10, 1, x_9); +x_11 = l_Lean_Parser_Term_explicitBinder_parenthesizer___closed__3; +x_12 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +lean_closure_set(x_12, 0, x_11); +lean_closure_set(x_12, 1, x_10); +x_13 = l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__3; +x_14 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +lean_closure_set(x_14, 0, x_13); +lean_closure_set(x_14, 1, x_12); +x_15 = l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__2; +x_16 = lean_unsigned_to_nat(1024u); +x_17 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed), 8, 3); +lean_closure_set(x_17, 0, x_15); +lean_closure_set(x_17, 1, x_16); +lean_closure_set(x_17, 2, x_14); +x_18 = l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__1; +x_19 = l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer(x_18, x_17, x_2, x_3, x_4, x_5, x_6); +return x_19; +} +} +lean_object* l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { +_start: +{ +uint8_t x_7; lean_object* x_8; +x_7 = lean_unbox(x_1); +lean_dec(x_1); +x_8 = l_Lean_Parser_Term_strictImplicitBinder_parenthesizer(x_7, x_2, x_3, x_4, x_5, x_6); +return x_8; +} +} static lean_object* _init_l_Lean_Parser_Term_implicitBinder_parenthesizer___closed__1() { _start: { @@ -30307,23 +31204,29 @@ return x_1; lean_object* l_Lean_Parser_Term_bracketedBinder_parenthesizer(uint8_t x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { _start: { -lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; +lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; lean_object* x_18; x_7 = lean_box(x_1); x_8 = lean_alloc_closure((void*)(l_Lean_Parser_Term_explicitBinder_parenthesizer___boxed), 6, 1); lean_closure_set(x_8, 0, x_7); x_9 = lean_box(x_1); -x_10 = lean_alloc_closure((void*)(l_Lean_Parser_Term_implicitBinder_parenthesizer___boxed), 6, 1); +x_10 = lean_alloc_closure((void*)(l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___boxed), 6, 1); lean_closure_set(x_10, 0, x_9); -x_11 = l_Lean_Parser_Term_bracketedBinder_parenthesizer___closed__2; -x_12 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer), 7, 2); -lean_closure_set(x_12, 0, x_10); -lean_closure_set(x_12, 1, x_11); -x_13 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer), 7, 2); -lean_closure_set(x_13, 0, x_8); -lean_closure_set(x_13, 1, x_12); -x_14 = l_Lean_Parser_Term_bracketedBinder_parenthesizer___closed__1; -x_15 = l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer(x_14, x_13, x_2, x_3, x_4, x_5, x_6); -return x_15; +x_11 = lean_box(x_1); +x_12 = lean_alloc_closure((void*)(l_Lean_Parser_Term_implicitBinder_parenthesizer___boxed), 6, 1); +lean_closure_set(x_12, 0, x_11); +x_13 = l_Lean_Parser_Term_bracketedBinder_parenthesizer___closed__2; +x_14 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer), 7, 2); +lean_closure_set(x_14, 0, x_12); +lean_closure_set(x_14, 1, x_13); +x_15 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer), 7, 2); +lean_closure_set(x_15, 0, x_10); +lean_closure_set(x_15, 1, x_14); +x_16 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer), 7, 2); +lean_closure_set(x_16, 0, x_8); +lean_closure_set(x_16, 1, x_15); +x_17 = l_Lean_Parser_Term_bracketedBinder_parenthesizer___closed__1; +x_18 = l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer(x_17, x_16, x_2, x_3, x_4, x_5, x_6); +return x_18; } } lean_object* l_Lean_Parser_Term_bracketedBinder_parenthesizer___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { @@ -36738,6 +37641,168 @@ x_1 = l_Lean_Parser_Term_funImplicitBinder___closed__6; return x_1; } } +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_typeAscription___elambda__1___closed__8; +x_2 = l_Lean_Parser_Term_strictImplicitRightBracket___closed__5; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___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_explicitBinder___closed__1; +x_2 = lean_ctor_get(x_1, 1); +lean_inc(x_2); +x_3 = l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__1; +x_4 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_4, 0, x_2); +lean_closure_set(x_4, 1, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_strictImplicitLeftBracket___closed__5; +x_2 = l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__2; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__3; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_lookaheadFn), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__5() { +_start: +{ +uint8_t x_1; lean_object* x_2; +x_1 = 0; +x_2 = l_Lean_Parser_Term_strictImplicitBinder(x_1); +return x_2; +} +} +lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1(lean_object* x_1, lean_object* x_2) { +_start: +{ +lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; uint8_t x_9; +x_3 = l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__5; +x_4 = lean_ctor_get(x_3, 1); +lean_inc(x_4); +x_5 = l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__4; +lean_inc(x_1); +x_6 = l_Lean_Parser_atomicFn(x_5, x_1, x_2); +x_7 = lean_ctor_get(x_6, 4); +lean_inc(x_7); +x_8 = lean_box(0); +x_9 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_631____at_Lean_Parser_ParserState_hasError___spec__1(x_7, x_8); +lean_dec(x_7); +if (x_9 == 0) +{ +lean_dec(x_4); +lean_dec(x_1); +return x_6; +} +else +{ +lean_object* x_10; +x_10 = lean_apply_2(x_4, x_1, x_6); +return x_10; +} +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder___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_strictImplicitRightBracket; +x_2 = lean_ctor_get(x_1, 0); +lean_inc(x_2); +x_3 = l_Lean_Parser_Term_typeAscription___closed__2; +x_4 = l_Lean_Parser_orelseInfo(x_3, x_2); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder___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_explicitBinder___closed__1; +x_2 = lean_ctor_get(x_1, 0); +lean_inc(x_2); +x_3 = l_Lean_Parser_Term_funStrictImplicitBinder___closed__1; +x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder___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_strictImplicitLeftBracket; +x_2 = lean_ctor_get(x_1, 0); +lean_inc(x_2); +x_3 = l_Lean_Parser_Term_funStrictImplicitBinder___closed__2; +x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder___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_funStrictImplicitBinder___elambda__1___closed__5; +x_2 = lean_ctor_get(x_1, 0); +lean_inc(x_2); +x_3 = l_Lean_Parser_Term_funStrictImplicitBinder___closed__3; +x_4 = l_Lean_Parser_andthenInfo(x_3, x_2); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder___closed__5() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1), 2, 0); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder___closed__6() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_funStrictImplicitBinder___closed__4; +x_2 = l_Lean_Parser_Term_funStrictImplicitBinder___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; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder() { +_start: +{ +lean_object* x_1; +x_1 = l_Lean_Parser_Term_funStrictImplicitBinder___closed__6; +return x_1; +} +} static lean_object* _init_l_Lean_Parser_Term_funSimpleBinder___elambda__1___closed__1() { _start: { @@ -36863,12 +37928,24 @@ lean_closure_set(x_3, 1, x_2); return x_3; } } +static lean_object* _init_l_Lean_Parser_Term_funBinder___elambda__1___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_funImplicitBinder___closed__5; +x_2 = l_Lean_Parser_Term_funBinder___elambda__1___closed__2; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} lean_object* l_Lean_Parser_Term_funBinder___elambda__1(lean_object* x_1, lean_object* x_2) { _start: { lean_object* x_3; lean_object* x_4; uint8_t x_5; lean_object* x_6; -x_3 = l_Lean_Parser_Term_funImplicitBinder___closed__5; -x_4 = l_Lean_Parser_Term_funBinder___elambda__1___closed__2; +x_3 = l_Lean_Parser_Term_funStrictImplicitBinder___closed__5; +x_4 = l_Lean_Parser_Term_funBinder___elambda__1___closed__3; x_5 = 1; x_6 = l_Lean_Parser_orelseFnCore(x_3, x_4, x_5, x_1, x_2); return x_6; @@ -36915,17 +37992,29 @@ return x_4; static lean_object* _init_l_Lean_Parser_Term_funBinder___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_funStrictImplicitBinder; +x_2 = lean_ctor_get(x_1, 0); +lean_inc(x_2); +x_3 = l_Lean_Parser_Term_funBinder___closed__3; +x_4 = l_Lean_Parser_orelseInfo(x_2, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Term_funBinder___closed__5() { +_start: +{ lean_object* x_1; x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_funBinder___elambda__1), 2, 0); return x_1; } } -static lean_object* _init_l_Lean_Parser_Term_funBinder___closed__5() { +static lean_object* _init_l_Lean_Parser_Term_funBinder___closed__6() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_funBinder___closed__3; -x_2 = l_Lean_Parser_Term_funBinder___closed__4; +x_1 = l_Lean_Parser_Term_funBinder___closed__4; +x_2 = l_Lean_Parser_Term_funBinder___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); @@ -36936,7 +38025,7 @@ static lean_object* _init_l_Lean_Parser_Term_funBinder() { _start: { lean_object* x_1; -x_1 = l_Lean_Parser_Term_funBinder___closed__5; +x_1 = l_Lean_Parser_Term_funBinder___closed__6; return x_1; } } @@ -36975,7 +38064,7 @@ static lean_object* _init_l_Lean_Parser_Term_basicFun___closed__4() { { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Command_docComment___elambda__1___closed__11; -x_2 = l_Lean_Parser_Term_funBinder___closed__4; +x_2 = l_Lean_Parser_Term_funBinder___closed__5; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -37576,6 +38665,83 @@ x_7 = l_Lean_Parser_addBuiltinParser(x_2, x_3, x_4, x_5, x_6, x_1); return x_7; } } +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_typeAscription_formatter___closed__2; +x_2 = l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__2; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_orelse_formatter), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_explicitBinder_formatter___closed__3; +x_2 = l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__1; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__3; +x_2 = l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__2; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__3; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_lookahead_formatter___boxed), 5, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__5() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__4; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_atomic_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__6() { +_start: +{ +uint8_t x_1; lean_object* x_2; lean_object* x_3; +x_1 = 0; +x_2 = lean_box(x_1); +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_Term_strictImplicitBinder_formatter___boxed), 6, 1); +lean_closure_set(x_3, 0, x_2); +return x_3; +} +} +lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_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_funStrictImplicitBinder_formatter___closed__5; +x_7 = l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__6; +x_8 = l_Lean_PrettyPrinter_Formatter_andthen_formatter(x_6, x_7, x_1, x_2, x_3, x_4, x_5); +return x_8; +} +} static lean_object* _init_l_Lean_Parser_Term_funImplicitBinder_formatter___closed__1() { _start: { @@ -37735,12 +38901,32 @@ x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_funImplicitBinder_formatter) return x_1; } } +static lean_object* _init_l_Lean_Parser_Term_funBinder_formatter___closed__5() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_funBinder_formatter___closed__4; +x_2 = l_Lean_Parser_Term_funBinder_formatter___closed__3; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_orelse_formatter), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_funBinder_formatter___closed__6() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_funStrictImplicitBinder_formatter), 5, 0); +return x_1; +} +} lean_object* l_Lean_Parser_Term_funBinder_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_funBinder_formatter___closed__4; -x_7 = l_Lean_Parser_Term_funBinder_formatter___closed__3; +x_6 = l_Lean_Parser_Term_funBinder_formatter___closed__6; +x_7 = l_Lean_Parser_Term_funBinder_formatter___closed__5; 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; } @@ -37924,6 +39110,83 @@ x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1); return x_6; } } +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_typeAscription_parenthesizer___closed__2; +x_2 = l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__2; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_explicitBinder_parenthesizer___closed__3; +x_2 = l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__1; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__3; +x_2 = l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__2; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__3; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_lookahead_parenthesizer___boxed), 5, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__5() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__4; +x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_atomic_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__6() { +_start: +{ +uint8_t x_1; lean_object* x_2; lean_object* x_3; +x_1 = 0; +x_2 = lean_box(x_1); +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___boxed), 6, 1); +lean_closure_set(x_3, 0, x_2); +return x_3; +} +} +lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_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_funStrictImplicitBinder_parenthesizer___closed__5; +x_7 = l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__6; +x_8 = l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer(x_6, x_7, x_1, x_2, x_3, x_4, x_5); +return x_8; +} +} static lean_object* _init_l_Lean_Parser_Term_funImplicitBinder_parenthesizer___closed__1() { _start: { @@ -38083,12 +39346,32 @@ x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_funImplicitBinder_parenthesi return x_1; } } +static lean_object* _init_l_Lean_Parser_Term_funBinder_parenthesizer___closed__5() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_funBinder_parenthesizer___closed__4; +x_2 = l_Lean_Parser_Term_funBinder_parenthesizer___closed__3; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_funBinder_parenthesizer___closed__6() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer), 5, 0); +return x_1; +} +} lean_object* l_Lean_Parser_Term_funBinder_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_funBinder_parenthesizer___closed__4; -x_7 = l_Lean_Parser_Term_funBinder_parenthesizer___closed__3; +x_6 = l_Lean_Parser_Term_funBinder_parenthesizer___closed__6; +x_7 = l_Lean_Parser_Term_funBinder_parenthesizer___closed__5; 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; } @@ -77693,7 +78976,7 @@ x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1); return x_6; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__1() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__1() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -77703,7 +78986,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__2() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__2() { _start: { lean_object* x_1; lean_object* x_2; @@ -77713,7 +78996,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__3() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__3() { _start: { lean_object* x_1; lean_object* x_2; @@ -77723,7 +79006,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__4() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__4() { _start: { lean_object* x_1; lean_object* x_2; @@ -77733,7 +79016,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__5() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__5() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -77743,7 +79026,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__6() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__6() { _start: { lean_object* x_1; lean_object* x_2; @@ -77753,7 +79036,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__7() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__7() { _start: { lean_object* x_1; lean_object* x_2; @@ -77763,7 +79046,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__8() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__8() { _start: { lean_object* x_1; lean_object* x_2; @@ -77773,7 +79056,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__9() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__9() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -77783,7 +79066,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__10() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__10() { _start: { lean_object* x_1; lean_object* x_2; @@ -77793,7 +79076,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__11() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__11() { _start: { lean_object* x_1; lean_object* x_2; @@ -77803,7 +79086,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__12() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__12() { _start: { lean_object* x_1; lean_object* x_2; @@ -77813,7 +79096,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__13() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__13() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -77823,7 +79106,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__14() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__14() { _start: { lean_object* x_1; lean_object* x_2; @@ -77833,7 +79116,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__15() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__15() { _start: { lean_object* x_1; lean_object* x_2; @@ -77843,7 +79126,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__16() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__16() { _start: { lean_object* x_1; lean_object* x_2; @@ -77853,7 +79136,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__17() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__17() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -77863,7 +79146,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__18() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__18() { _start: { lean_object* x_1; lean_object* x_2; @@ -77873,7 +79156,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__19() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__19() { _start: { lean_object* x_1; lean_object* x_2; @@ -77883,7 +79166,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__20() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__20() { _start: { lean_object* x_1; lean_object* x_2; @@ -77893,7 +79176,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__21() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__21() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -77903,7 +79186,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__22() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__22() { _start: { lean_object* x_1; lean_object* x_2; @@ -77913,7 +79196,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__23() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__23() { _start: { lean_object* x_1; lean_object* x_2; @@ -77923,7 +79206,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__24() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__24() { _start: { lean_object* x_1; lean_object* x_2; @@ -77933,7 +79216,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__25() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__25() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -77943,7 +79226,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__26() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__26() { _start: { lean_object* x_1; lean_object* x_2; @@ -77953,7 +79236,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__27() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__27() { _start: { lean_object* x_1; lean_object* x_2; @@ -77963,7 +79246,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__28() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__28() { _start: { lean_object* x_1; lean_object* x_2; @@ -77973,7 +79256,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__29() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__29() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -77983,7 +79266,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__30() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__30() { _start: { lean_object* x_1; lean_object* x_2; @@ -77993,7 +79276,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__31() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__31() { _start: { lean_object* x_1; lean_object* x_2; @@ -78003,7 +79286,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__32() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__32() { _start: { lean_object* x_1; lean_object* x_2; @@ -78013,7 +79296,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__33() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__33() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -78023,7 +79306,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__34() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__34() { _start: { lean_object* x_1; lean_object* x_2; @@ -78033,7 +79316,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__35() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__35() { _start: { lean_object* x_1; lean_object* x_2; @@ -78043,7 +79326,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__36() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__36() { _start: { lean_object* x_1; lean_object* x_2; @@ -78053,13 +79336,13 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684_(lean_object* x_1) { +lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771_(lean_object* x_1) { _start: { lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l_Lean_Parser_parserAliasesRef; -x_3 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__1; -x_4 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__2; +x_3 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__1; +x_4 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__2; x_5 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_3, x_4, x_1); if (lean_obj_tag(x_5) == 0) { @@ -78068,7 +79351,7 @@ x_6 = lean_ctor_get(x_5, 1); lean_inc(x_6); lean_dec(x_5); x_7 = l_Lean_PrettyPrinter_Formatter_formatterAliasesRef; -x_8 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__3; +x_8 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__3; x_9 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_3, x_8, x_6); if (lean_obj_tag(x_9) == 0) { @@ -78077,7 +79360,7 @@ x_10 = lean_ctor_get(x_9, 1); lean_inc(x_10); lean_dec(x_9); x_11 = l_Lean_PrettyPrinter_Parenthesizer_parenthesizerAliasesRef; -x_12 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__4; +x_12 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__4; x_13 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_3, x_12, x_10); if (lean_obj_tag(x_13) == 0) { @@ -78085,8 +79368,8 @@ lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; x_14 = lean_ctor_get(x_13, 1); lean_inc(x_14); lean_dec(x_13); -x_15 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__5; -x_16 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__6; +x_15 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__5; +x_16 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__6; x_17 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_15, x_16, x_14); if (lean_obj_tag(x_17) == 0) { @@ -78094,7 +79377,7 @@ lean_object* x_18; lean_object* x_19; lean_object* x_20; x_18 = lean_ctor_get(x_17, 1); lean_inc(x_18); lean_dec(x_17); -x_19 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__7; +x_19 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__7; x_20 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_15, x_19, x_18); if (lean_obj_tag(x_20) == 0) { @@ -78102,7 +79385,7 @@ lean_object* x_21; lean_object* x_22; lean_object* x_23; x_21 = lean_ctor_get(x_20, 1); lean_inc(x_21); lean_dec(x_20); -x_22 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__8; +x_22 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__8; x_23 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_15, x_22, x_21); if (lean_obj_tag(x_23) == 0) { @@ -78110,8 +79393,8 @@ lean_object* x_24; lean_object* x_25; lean_object* x_26; lean_object* x_27; x_24 = lean_ctor_get(x_23, 1); lean_inc(x_24); lean_dec(x_23); -x_25 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__9; -x_26 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__10; +x_25 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__9; +x_26 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__10; x_27 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_25, x_26, x_24); if (lean_obj_tag(x_27) == 0) { @@ -78119,7 +79402,7 @@ lean_object* x_28; lean_object* x_29; lean_object* x_30; x_28 = lean_ctor_get(x_27, 1); lean_inc(x_28); lean_dec(x_27); -x_29 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__11; +x_29 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__11; x_30 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_25, x_29, x_28); if (lean_obj_tag(x_30) == 0) { @@ -78127,7 +79410,7 @@ lean_object* x_31; lean_object* x_32; lean_object* x_33; x_31 = lean_ctor_get(x_30, 1); lean_inc(x_31); lean_dec(x_30); -x_32 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__12; +x_32 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__12; x_33 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_25, x_32, x_31); if (lean_obj_tag(x_33) == 0) { @@ -78135,8 +79418,8 @@ lean_object* x_34; lean_object* x_35; lean_object* x_36; lean_object* x_37; x_34 = lean_ctor_get(x_33, 1); lean_inc(x_34); lean_dec(x_33); -x_35 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__13; -x_36 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__14; +x_35 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__13; +x_36 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__14; x_37 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_35, x_36, x_34); if (lean_obj_tag(x_37) == 0) { @@ -78144,7 +79427,7 @@ lean_object* x_38; lean_object* x_39; lean_object* x_40; x_38 = lean_ctor_get(x_37, 1); lean_inc(x_38); lean_dec(x_37); -x_39 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__15; +x_39 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__15; x_40 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_35, x_39, x_38); if (lean_obj_tag(x_40) == 0) { @@ -78152,7 +79435,7 @@ lean_object* x_41; lean_object* x_42; lean_object* x_43; x_41 = lean_ctor_get(x_40, 1); lean_inc(x_41); lean_dec(x_40); -x_42 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__16; +x_42 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__16; x_43 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_35, x_42, x_41); if (lean_obj_tag(x_43) == 0) { @@ -78160,8 +79443,8 @@ lean_object* x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; x_44 = lean_ctor_get(x_43, 1); lean_inc(x_44); lean_dec(x_43); -x_45 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__17; -x_46 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__18; +x_45 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__17; +x_46 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__18; x_47 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_45, x_46, x_44); if (lean_obj_tag(x_47) == 0) { @@ -78169,7 +79452,7 @@ lean_object* x_48; lean_object* x_49; lean_object* x_50; x_48 = lean_ctor_get(x_47, 1); lean_inc(x_48); lean_dec(x_47); -x_49 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__19; +x_49 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__19; x_50 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_45, x_49, x_48); if (lean_obj_tag(x_50) == 0) { @@ -78177,7 +79460,7 @@ lean_object* x_51; lean_object* x_52; lean_object* x_53; x_51 = lean_ctor_get(x_50, 1); lean_inc(x_51); lean_dec(x_50); -x_52 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__20; +x_52 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__20; x_53 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_45, x_52, x_51); if (lean_obj_tag(x_53) == 0) { @@ -78185,8 +79468,8 @@ lean_object* x_54; lean_object* x_55; lean_object* x_56; lean_object* x_57; x_54 = lean_ctor_get(x_53, 1); lean_inc(x_54); lean_dec(x_53); -x_55 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__21; -x_56 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__22; +x_55 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__21; +x_56 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__22; x_57 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_55, x_56, x_54); if (lean_obj_tag(x_57) == 0) { @@ -78194,7 +79477,7 @@ lean_object* x_58; lean_object* x_59; lean_object* x_60; x_58 = lean_ctor_get(x_57, 1); lean_inc(x_58); lean_dec(x_57); -x_59 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__23; +x_59 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__23; x_60 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_55, x_59, x_58); if (lean_obj_tag(x_60) == 0) { @@ -78202,7 +79485,7 @@ lean_object* x_61; lean_object* x_62; lean_object* x_63; x_61 = lean_ctor_get(x_60, 1); lean_inc(x_61); lean_dec(x_60); -x_62 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__24; +x_62 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__24; x_63 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_55, x_62, x_61); if (lean_obj_tag(x_63) == 0) { @@ -78210,8 +79493,8 @@ lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; x_64 = lean_ctor_get(x_63, 1); lean_inc(x_64); lean_dec(x_63); -x_65 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__25; -x_66 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__26; +x_65 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__25; +x_66 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__26; x_67 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_65, x_66, x_64); if (lean_obj_tag(x_67) == 0) { @@ -78219,7 +79502,7 @@ lean_object* x_68; lean_object* x_69; lean_object* x_70; x_68 = lean_ctor_get(x_67, 1); lean_inc(x_68); lean_dec(x_67); -x_69 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__27; +x_69 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__27; x_70 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_65, x_69, x_68); if (lean_obj_tag(x_70) == 0) { @@ -78227,7 +79510,7 @@ lean_object* x_71; lean_object* x_72; lean_object* x_73; x_71 = lean_ctor_get(x_70, 1); lean_inc(x_71); lean_dec(x_70); -x_72 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__28; +x_72 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__28; x_73 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_65, x_72, x_71); if (lean_obj_tag(x_73) == 0) { @@ -78235,8 +79518,8 @@ lean_object* x_74; lean_object* x_75; lean_object* x_76; lean_object* x_77; x_74 = lean_ctor_get(x_73, 1); lean_inc(x_74); lean_dec(x_73); -x_75 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__29; -x_76 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__30; +x_75 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__29; +x_76 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__30; x_77 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_75, x_76, x_74); if (lean_obj_tag(x_77) == 0) { @@ -78244,7 +79527,7 @@ lean_object* x_78; lean_object* x_79; lean_object* x_80; x_78 = lean_ctor_get(x_77, 1); lean_inc(x_78); lean_dec(x_77); -x_79 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__31; +x_79 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__31; x_80 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_75, x_79, x_78); if (lean_obj_tag(x_80) == 0) { @@ -78252,7 +79535,7 @@ lean_object* x_81; lean_object* x_82; lean_object* x_83; x_81 = lean_ctor_get(x_80, 1); lean_inc(x_81); lean_dec(x_80); -x_82 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__32; +x_82 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__32; x_83 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_75, x_82, x_81); if (lean_obj_tag(x_83) == 0) { @@ -78260,8 +79543,8 @@ lean_object* x_84; lean_object* x_85; lean_object* x_86; lean_object* x_87; x_84 = lean_ctor_get(x_83, 1); lean_inc(x_84); lean_dec(x_83); -x_85 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__33; -x_86 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__34; +x_85 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__33; +x_86 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__34; x_87 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_85, x_86, x_84); if (lean_obj_tag(x_87) == 0) { @@ -78269,7 +79552,7 @@ lean_object* x_88; lean_object* x_89; lean_object* x_90; x_88 = lean_ctor_get(x_87, 1); lean_inc(x_88); lean_dec(x_87); -x_89 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__35; +x_89 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__35; x_90 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_85, x_89, x_88); if (lean_obj_tag(x_90) == 0) { @@ -78277,7 +79560,7 @@ lean_object* x_91; lean_object* x_92; lean_object* x_93; x_91 = lean_ctor_get(x_90, 1); lean_inc(x_91); lean_dec(x_90); -x_92 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__36; +x_92 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__36; x_93 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_85, x_92, x_91); return x_93; } @@ -81906,6 +83189,70 @@ l_Lean_Parser_Term_implicitBinder___elambda__1___closed__3 = _init_l_Lean_Parser lean_mark_persistent(l_Lean_Parser_Term_implicitBinder___elambda__1___closed__3); l_Lean_Parser_Term_implicitBinder___elambda__1___closed__4 = _init_l_Lean_Parser_Term_implicitBinder___elambda__1___closed__4(); lean_mark_persistent(l_Lean_Parser_Term_implicitBinder___elambda__1___closed__4); +l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__1 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__1); +l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__2 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__2); +l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__3 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__3); +l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__4 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__4); +l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__5 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__5); +l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__6 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__6); +l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__7 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__7(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket___elambda__1___closed__7); +l_Lean_Parser_Term_strictImplicitLeftBracket___closed__1 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket___closed__1); +l_Lean_Parser_Term_strictImplicitLeftBracket___closed__2 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket___closed__2); +l_Lean_Parser_Term_strictImplicitLeftBracket___closed__3 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket___closed__3); +l_Lean_Parser_Term_strictImplicitLeftBracket___closed__4 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket___closed__4); +l_Lean_Parser_Term_strictImplicitLeftBracket___closed__5 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket___closed__5); +l_Lean_Parser_Term_strictImplicitLeftBracket___closed__6 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket___closed__6); +l_Lean_Parser_Term_strictImplicitLeftBracket = _init_l_Lean_Parser_Term_strictImplicitLeftBracket(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket); +l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__1 = _init_l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__1); +l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__2 = _init_l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__2); +l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__3 = _init_l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__3); +l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__4 = _init_l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__4); +l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__5 = _init_l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__5); +l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__6 = _init_l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__6); +l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__7 = _init_l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__7(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket___elambda__1___closed__7); +l_Lean_Parser_Term_strictImplicitRightBracket___closed__1 = _init_l_Lean_Parser_Term_strictImplicitRightBracket___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket___closed__1); +l_Lean_Parser_Term_strictImplicitRightBracket___closed__2 = _init_l_Lean_Parser_Term_strictImplicitRightBracket___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket___closed__2); +l_Lean_Parser_Term_strictImplicitRightBracket___closed__3 = _init_l_Lean_Parser_Term_strictImplicitRightBracket___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket___closed__3); +l_Lean_Parser_Term_strictImplicitRightBracket___closed__4 = _init_l_Lean_Parser_Term_strictImplicitRightBracket___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket___closed__4); +l_Lean_Parser_Term_strictImplicitRightBracket___closed__5 = _init_l_Lean_Parser_Term_strictImplicitRightBracket___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket___closed__5); +l_Lean_Parser_Term_strictImplicitRightBracket___closed__6 = _init_l_Lean_Parser_Term_strictImplicitRightBracket___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket___closed__6); +l_Lean_Parser_Term_strictImplicitRightBracket = _init_l_Lean_Parser_Term_strictImplicitRightBracket(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket); +l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__1 = _init_l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__1); +l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__2 = _init_l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__2); +l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__3 = _init_l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__3); +l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__4 = _init_l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitBinder___elambda__1___closed__4); l_Lean_Parser_Term_instBinder___elambda__1___closed__1 = _init_l_Lean_Parser_Term_instBinder___elambda__1___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_instBinder___elambda__1___closed__1); l_Lean_Parser_Term_instBinder___elambda__1___closed__2 = _init_l_Lean_Parser_Term_instBinder___elambda__1___closed__2(); @@ -82049,6 +83396,28 @@ l_Lean_Parser_Term_explicitBinder_formatter___closed__7 = _init_l_Lean_Parser_Te lean_mark_persistent(l_Lean_Parser_Term_explicitBinder_formatter___closed__7); l_Lean_Parser_Term_explicitBinder_formatter___closed__8 = _init_l_Lean_Parser_Term_explicitBinder_formatter___closed__8(); lean_mark_persistent(l_Lean_Parser_Term_explicitBinder_formatter___closed__8); +l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__1 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__1); +l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__2 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__2); +l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__3 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__3); +l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__4 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__4); +l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__1 = _init_l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__1); +l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__2 = _init_l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__2); +l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__3 = _init_l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__3); +l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__4 = _init_l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket_formatter___closed__4); +l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__1 = _init_l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__1); +l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__2 = _init_l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__2); +l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__3 = _init_l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__3); l_Lean_Parser_Term_implicitBinder_formatter___closed__1 = _init_l_Lean_Parser_Term_implicitBinder_formatter___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_implicitBinder_formatter___closed__1); l_Lean_Parser_Term_instBinder_formatter___closed__1 = _init_l_Lean_Parser_Term_instBinder_formatter___closed__1(); @@ -82116,6 +83485,28 @@ l_Lean_Parser_Term_explicitBinder_parenthesizer___closed__7 = _init_l_Lean_Parse lean_mark_persistent(l_Lean_Parser_Term_explicitBinder_parenthesizer___closed__7); l_Lean_Parser_Term_explicitBinder_parenthesizer___closed__8 = _init_l_Lean_Parser_Term_explicitBinder_parenthesizer___closed__8(); lean_mark_persistent(l_Lean_Parser_Term_explicitBinder_parenthesizer___closed__8); +l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__1); +l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__2); +l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__3 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__3); +l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__4 = _init_l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer___closed__4); +l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__1); +l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__2); +l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__3 = _init_l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__3); +l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__4 = _init_l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitRightBracket_parenthesizer___closed__4); +l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__1); +l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__2); +l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__3 = _init_l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__3); l_Lean_Parser_Term_implicitBinder_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_implicitBinder_parenthesizer___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_implicitBinder_parenthesizer___closed__1); l_Lean_Parser_Term_instBinder_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_instBinder_parenthesizer___closed__1(); @@ -82950,6 +84341,30 @@ l_Lean_Parser_Term_funImplicitBinder___closed__6 = _init_l_Lean_Parser_Term_funI lean_mark_persistent(l_Lean_Parser_Term_funImplicitBinder___closed__6); l_Lean_Parser_Term_funImplicitBinder = _init_l_Lean_Parser_Term_funImplicitBinder(); lean_mark_persistent(l_Lean_Parser_Term_funImplicitBinder); +l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__1 = _init_l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__1); +l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__2 = _init_l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__2); +l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__3 = _init_l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__3); +l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__4 = _init_l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__4); +l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__5 = _init_l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__5); +l_Lean_Parser_Term_funStrictImplicitBinder___closed__1 = _init_l_Lean_Parser_Term_funStrictImplicitBinder___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder___closed__1); +l_Lean_Parser_Term_funStrictImplicitBinder___closed__2 = _init_l_Lean_Parser_Term_funStrictImplicitBinder___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder___closed__2); +l_Lean_Parser_Term_funStrictImplicitBinder___closed__3 = _init_l_Lean_Parser_Term_funStrictImplicitBinder___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder___closed__3); +l_Lean_Parser_Term_funStrictImplicitBinder___closed__4 = _init_l_Lean_Parser_Term_funStrictImplicitBinder___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder___closed__4); +l_Lean_Parser_Term_funStrictImplicitBinder___closed__5 = _init_l_Lean_Parser_Term_funStrictImplicitBinder___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder___closed__5); +l_Lean_Parser_Term_funStrictImplicitBinder___closed__6 = _init_l_Lean_Parser_Term_funStrictImplicitBinder___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder___closed__6); +l_Lean_Parser_Term_funStrictImplicitBinder = _init_l_Lean_Parser_Term_funStrictImplicitBinder(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder); l_Lean_Parser_Term_funSimpleBinder___elambda__1___closed__1 = _init_l_Lean_Parser_Term_funSimpleBinder___elambda__1___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_funSimpleBinder___elambda__1___closed__1); l_Lean_Parser_Term_funSimpleBinder___elambda__1___closed__2 = _init_l_Lean_Parser_Term_funSimpleBinder___elambda__1___closed__2(); @@ -82968,6 +84383,8 @@ l_Lean_Parser_Term_funBinder___elambda__1___closed__1 = _init_l_Lean_Parser_Term lean_mark_persistent(l_Lean_Parser_Term_funBinder___elambda__1___closed__1); l_Lean_Parser_Term_funBinder___elambda__1___closed__2 = _init_l_Lean_Parser_Term_funBinder___elambda__1___closed__2(); lean_mark_persistent(l_Lean_Parser_Term_funBinder___elambda__1___closed__2); +l_Lean_Parser_Term_funBinder___elambda__1___closed__3 = _init_l_Lean_Parser_Term_funBinder___elambda__1___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_funBinder___elambda__1___closed__3); l_Lean_Parser_Term_funBinder___closed__1 = _init_l_Lean_Parser_Term_funBinder___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_funBinder___closed__1); l_Lean_Parser_Term_funBinder___closed__2 = _init_l_Lean_Parser_Term_funBinder___closed__2(); @@ -82978,6 +84395,8 @@ l_Lean_Parser_Term_funBinder___closed__4 = _init_l_Lean_Parser_Term_funBinder___ lean_mark_persistent(l_Lean_Parser_Term_funBinder___closed__4); l_Lean_Parser_Term_funBinder___closed__5 = _init_l_Lean_Parser_Term_funBinder___closed__5(); lean_mark_persistent(l_Lean_Parser_Term_funBinder___closed__5); +l_Lean_Parser_Term_funBinder___closed__6 = _init_l_Lean_Parser_Term_funBinder___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_funBinder___closed__6); l_Lean_Parser_Term_funBinder = _init_l_Lean_Parser_Term_funBinder(); lean_mark_persistent(l_Lean_Parser_Term_funBinder); l_Lean_Parser_Term_basicFun___closed__1 = _init_l_Lean_Parser_Term_basicFun___closed__1(); @@ -83071,6 +84490,18 @@ lean_mark_persistent(l_Lean_Parser_Term_fun); res = l___regBuiltinParser_Lean_Parser_Term_fun(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); +l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__1 = _init_l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__1); +l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__2 = _init_l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__2); +l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__3 = _init_l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__3); +l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__4 = _init_l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__4); +l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__5 = _init_l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__5); +l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__6 = _init_l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__6); l_Lean_Parser_Term_funImplicitBinder_formatter___closed__1 = _init_l_Lean_Parser_Term_funImplicitBinder_formatter___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_funImplicitBinder_formatter___closed__1); l_Lean_Parser_Term_funImplicitBinder_formatter___closed__2 = _init_l_Lean_Parser_Term_funImplicitBinder_formatter___closed__2(); @@ -83097,6 +84528,10 @@ l_Lean_Parser_Term_funBinder_formatter___closed__3 = _init_l_Lean_Parser_Term_fu lean_mark_persistent(l_Lean_Parser_Term_funBinder_formatter___closed__3); l_Lean_Parser_Term_funBinder_formatter___closed__4 = _init_l_Lean_Parser_Term_funBinder_formatter___closed__4(); lean_mark_persistent(l_Lean_Parser_Term_funBinder_formatter___closed__4); +l_Lean_Parser_Term_funBinder_formatter___closed__5 = _init_l_Lean_Parser_Term_funBinder_formatter___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_funBinder_formatter___closed__5); +l_Lean_Parser_Term_funBinder_formatter___closed__6 = _init_l_Lean_Parser_Term_funBinder_formatter___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_funBinder_formatter___closed__6); l_Lean_Parser_Term_basicFun_formatter___closed__1 = _init_l_Lean_Parser_Term_basicFun_formatter___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_basicFun_formatter___closed__1); l_Lean_Parser_Term_basicFun_formatter___closed__2 = _init_l_Lean_Parser_Term_basicFun_formatter___closed__2(); @@ -83126,6 +84561,18 @@ lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_fun_formatter___closed__2); res = l___regBuiltin_Lean_Parser_Term_fun_formatter(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); +l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__1); +l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__2); +l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__3 = _init_l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__3); +l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__4 = _init_l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__4); +l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__5 = _init_l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__5); +l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__6 = _init_l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__6); l_Lean_Parser_Term_funImplicitBinder_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_funImplicitBinder_parenthesizer___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_funImplicitBinder_parenthesizer___closed__1); l_Lean_Parser_Term_funImplicitBinder_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_funImplicitBinder_parenthesizer___closed__2(); @@ -83152,6 +84599,10 @@ l_Lean_Parser_Term_funBinder_parenthesizer___closed__3 = _init_l_Lean_Parser_Ter lean_mark_persistent(l_Lean_Parser_Term_funBinder_parenthesizer___closed__3); l_Lean_Parser_Term_funBinder_parenthesizer___closed__4 = _init_l_Lean_Parser_Term_funBinder_parenthesizer___closed__4(); lean_mark_persistent(l_Lean_Parser_Term_funBinder_parenthesizer___closed__4); +l_Lean_Parser_Term_funBinder_parenthesizer___closed__5 = _init_l_Lean_Parser_Term_funBinder_parenthesizer___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_funBinder_parenthesizer___closed__5); +l_Lean_Parser_Term_funBinder_parenthesizer___closed__6 = _init_l_Lean_Parser_Term_funBinder_parenthesizer___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_funBinder_parenthesizer___closed__6); l_Lean_Parser_Term_basicFun_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_basicFun_parenthesizer___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_basicFun_parenthesizer___closed__1); l_Lean_Parser_Term_basicFun_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_basicFun_parenthesizer___closed__2(); @@ -87778,79 +89229,79 @@ lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_quot_parenthesizer___close res = l___regBuiltin_Lean_Parser_Level_quot_parenthesizer(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__1 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__1(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__1); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__2 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__2(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__2); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__3 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__3(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__3); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__4 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__4(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__4); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__5 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__5(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__5); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__6 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__6(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__6); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__7 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__7(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__7); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__8 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__8(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__8); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__9 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__9(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__9); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__10 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__10(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__10); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__11 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__11(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__11); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__12 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__12(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__12); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__13 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__13(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__13); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__14 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__14(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__14); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__15 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__15(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__15); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__16 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__16(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__16); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__17 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__17(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__17); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__18 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__18(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__18); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__19 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__19(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__19); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__20 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__20(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__20); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__21 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__21(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__21); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__22 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__22(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__22); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__23 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__23(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__23); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__24 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__24(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__24); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__25 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__25(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__25); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__26 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__26(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__26); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__27 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__27(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__27); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__28 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__28(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__28); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__29 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__29(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__29); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__30 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__30(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__30); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__31 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__31(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__31); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__32 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__32(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__32); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__33 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__33(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__33); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__34 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__34(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__34); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__35 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__35(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__35); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__36 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__36(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684____closed__36); -res = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2684_(lean_io_mk_world()); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__1 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__1(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__1); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__2 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__2(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__2); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__3 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__3(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__3); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__4 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__4(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__4); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__5 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__5(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__5); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__6 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__6(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__6); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__7 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__7(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__7); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__8 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__8(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__8); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__9 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__9(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__9); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__10 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__10(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__10); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__11 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__11(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__11); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__12 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__12(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__12); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__13 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__13(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__13); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__14 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__14(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__14); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__15 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__15(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__15); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__16 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__16(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__16); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__17 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__17(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__17); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__18 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__18(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__18); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__19 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__19(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__19); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__20 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__20(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__20); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__21 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__21(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__21); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__22 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__22(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__22); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__23 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__23(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__23); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__24 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__24(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__24); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__25 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__25(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__25); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__26 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__26(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__26); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__27 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__27(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__27); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__28 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__28(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__28); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__29 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__29(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__29); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__30 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__30(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__30); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__31 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__31(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__31); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__32 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__32(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__32); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__33 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__33(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__33); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__34 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__34(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__34); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__35 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__35(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__35); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__36 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__36(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771____closed__36); +res = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_2771_(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); return lean_io_result_mk_ok(lean_box(0));