diff --git a/stage0/src/Init/Notation.lean b/stage0/src/Init/Notation.lean index 0266342b14..bd9aa5ba9a 100644 --- a/stage0/src/Init/Notation.lean +++ b/stage0/src/Init/Notation.lean @@ -137,12 +137,12 @@ infixr:100 " <$> " => Functor.map macro_rules | `($x <|> $y) => `(binop_lazy% HOrElse.hOrElse $x $y) macro_rules | `($x >> $y) => `(binop_lazy% HAndThen.hAndThen $x $y) -syntax (name := termDepIfThenElse) ppGroup(ppDedent("if " ident " : " term " then" ppSpace term ppDedent(ppSpace "else") ppSpace term)) : term +syntax (name := termDepIfThenElse) (priority := high) ppGroup(ppDedent("if " ident " : " term " then" ppSpace term ppDedent(ppSpace "else") ppSpace term)) : term macro_rules | `(if $h:ident : $c then $t:term else $e:term) => ``(dite $c (fun $h:ident => $t) (fun $h:ident => $e)) -syntax (name := termIfThenElse) ppGroup(ppDedent("if " term " then" ppSpace term ppDedent(ppSpace "else") ppSpace term)) : term +syntax (name := termIfThenElse) (priority := high) ppGroup(ppDedent("if " term " then" ppSpace term ppDedent(ppSpace "else") ppSpace term)) : term macro_rules | `(if $c then $t:term else $e:term) => ``(ite $c $t $e) diff --git a/stage0/src/Lean/Elab/BuiltinNotation.lean b/stage0/src/Lean/Elab/BuiltinNotation.lean index 20b36818b7..02471f84bd 100644 --- a/stage0/src/Lean/Elab/BuiltinNotation.lean +++ b/stage0/src/Lean/Elab/BuiltinNotation.lean @@ -50,13 +50,38 @@ open Meta | none => throwError "invalid constructor ⟨...⟩, expected type must be known" | _ => throwUnsupportedSyntax -/- -@[builtinMacro Lean.Parser.Term.if] def expandIf : Macro := fun stx => - match_syntax stx with - | `(if $h : $cond then $t else $e) => `(dite $cond (fun $h:ident => $t) (fun $h:ident => $e)) - | `(if $cond then $t else $e) => `(ite $cond $t $e) - | _ => Macro.throwUnsupported --/ + +@[builtinTermElab Lean.Parser.Term.if] def elabIf : TermElab := fun stx expectedType? => do + /- "if " >> optIdent >> termParser >> " then " >> termParser >> " else " >> termParser -/ + let c := stx[2] + let t := stx[4] + let e := stx[6] + let newStx ← + if stx[1].isNone then + `(ite $c $t $e) + else + let h := stx[1][0] + `(dite $c (fun $h:ident => $t) (fun $h:ident => $e)) + withMacroExpansion stx newStx <| elabTerm newStx expectedType? + +-- TODO: delete +@[builtinTermElab termDepIfThenElse] def elabIfOld1 : TermElab := fun stx expectedType? => do + /- "if " ident " : " term " then" term "else" term -/ + let h := stx[1] + let c := stx[3] + let t := stx[5] + let e := stx[7] + let newStx ← `(dite $c (fun $h:ident => $t) (fun $h:ident => $e)) + withMacroExpansion stx newStx <| elabTerm newStx expectedType? + +-- TODO: delete +@[builtinTermElab termIfThenElse] def elabIfOld2 : TermElab := fun stx expectedType? => do + /- "if " term " then" term "else" term -/ + let c := stx[1] + let t := stx[3] + let e := stx[5] + let newStx ← `(ite $c $t $e) + withMacroExpansion stx newStx <| elabTerm newStx expectedType? @[builtinTermElab borrowed] def elabBorrowed : TermElab := fun stx expectedType? => match stx with diff --git a/stage0/stdlib/Lean/Elab/BuiltinNotation.c b/stage0/stdlib/Lean/Elab/BuiltinNotation.c index e3741ccbd2..101b1b41b6 100644 --- a/stage0/stdlib/Lean/Elab/BuiltinNotation.c +++ b/stage0/stdlib/Lean/Elab/BuiltinNotation.c @@ -16,16 +16,21 @@ extern "C" { lean_object* l_List_reverse___rarg(lean_object*); static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___closed__19; LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandCDot_x3f_go___boxed__const__1; +static lean_object* l_Lean_Elab_Term_elabIf___closed__1; lean_object* l_Lean_getConstInfo___at_Lean_Elab_Term_mkConst___spec__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_getConstInfoCtor___at_Lean_Elab_Term_elabAnonymousCtor___spec__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_expandDbgTrace___closed__9; lean_object* l_Lean_mkCIdentFrom(lean_object*, lean_object*); +static lean_object* l_Lean_Elab_Term_elabIf___closed__2; +static lean_object* l___regBuiltin_Lean_Elab_Term_elabIf___closed__5; lean_object* l_Lean_MonadRef_mkInfoFromRefPos___at_myMacro____x40_Init_Notation___hyg_72____spec__1(lean_object*, lean_object*); lean_object* l_Lean_extractMacroScopes(lean_object*); +static lean_object* l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__3; lean_object* l_Lean_Elab_throwUnsupportedSyntax___at_Lean_Elab_Term_elabForall___spec__1___rarg(lean_object*); size_t l_USize_add(size_t, size_t); lean_object* l_List_forM___at___private_Lean_Elab_Term_0__Lean_Elab_Term_elabTermAux___spec__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_expandUnreachable___rarg___closed__2; +static lean_object* l_Lean_Elab_Term_elabIf___closed__8; static lean_object* l_Lean_Elab_Term_expandShow___closed__26; static lean_object* l_Lean_Elab_Term_expandCDot_x3f_go___closed__2; static lean_object* l_Lean_Elab_Term_mkPairs_loop___closed__5; @@ -37,24 +42,27 @@ LEAN_EXPORT lean_object* l_Lean_Elab_getRefPos___at_Lean_Elab_Term_elabPanic___s LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabAnonymousCtor___lambda__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_expandShow___closed__18; lean_object* l_Lean_mkSort(lean_object*); +static lean_object* l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__2; static lean_object* l_Lean_Elab_Term_elabCDotFunctionAlias_x3f___closed__1; lean_object* l_Lean_Syntax_getHeadInfo_x3f(lean_object*); static lean_object* l_Lean_Elab_Term_expandShow___closed__12; LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandSuffices___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_expandHave___closed__2; static lean_object* l_Lean_Elab_Term_expandDbgTrace___closed__4; +static lean_object* l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__1; extern lean_object* l_Lean_nullKind; -static lean_object* l_Lean_Elab_Term_expandAssert___closed__10; static lean_object* l_Lean_Elab_Term_elabCDotFunctionAlias_x3f___closed__2; static lean_object* l_Lean_Elab_Term_expandDbgTrace___closed__17; static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___closed__2; lean_object* lean_name_mk_string(lean_object*, lean_object*); uint8_t l_USize_decEq(size_t, size_t); lean_object* lean_array_uget(lean_object*, size_t); +static lean_object* l_Lean_Elab_Term_elabIf___closed__13; static lean_object* l_Lean_Elab_Term_expandHave___closed__1; static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__1; static lean_object* l___regBuiltin_Lean_Elab_Term_expandAssert___closed__1; lean_object* l_Array_append___rarg(lean_object*, lean_object*); +static lean_object* l_Lean_Elab_Term_elabIf___closed__23; lean_object* l_Lean_Elab_Term_getDeclName_x3f(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__2; static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___closed__1; @@ -64,15 +72,18 @@ LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabParen(lean_object*, lean_object*, static lean_object* l___regBuiltin_Lean_Elab_Term_elabAnonymousCtor___closed__6; static lean_object* l_Lean_Elab_Term_elabSorry___closed__11; lean_object* lean_array_uset(lean_object*, size_t, lean_object*); +static lean_object* l___regBuiltin_Lean_Elab_Term_elabIf___closed__3; static lean_object* l_Lean_Elab_Term_elabPanic___closed__3; static lean_object* l_Lean_Elab_Term_expandHave___closed__8; LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabSorry(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__5; static lean_object* l_Lean_Elab_Term_expandSuffices___closed__3; static lean_object* l_Lean_Elab_Term_expandHave___lambda__5___closed__1; static lean_object* l_Lean_Elab_Term_expandParen___closed__14; static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___closed__11; uint8_t l_Lean_Syntax_structEq(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandHave___lambda__5___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Elab_Term_elabIf___closed__21; static lean_object* l_Lean_Elab_Term_elabSorry___closed__10; static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__12; static lean_object* l___regBuiltin_Lean_Elab_Term_expandShow___closed__3; @@ -95,6 +106,7 @@ uint8_t lean_name_eq(lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_elabNoindex(lean_object*); static lean_object* l_Lean_Elab_Term_elabSorry___closed__7; static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__2; +static lean_object* l___regBuiltin_Lean_Elab_Term_elabIf___closed__1; LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandHave___lambda__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Elab_liftMacroM___at_Lean_Elab_Term_elabCDotFunctionAlias_x3f___spec__1___lambda__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_expandDbgTrace___closed__13; @@ -111,7 +123,6 @@ lean_object* l_Array_toSubarray___rarg(lean_object*, lean_object*, lean_object*) lean_object* lean_array_push(lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Elab_Term_elabAnonymousCtor___closed__3; lean_object* lean_array_get_size(lean_object*); -static lean_object* l_Lean_Elab_Term_expandDbgTrace___closed__23; static lean_object* l_Lean_Elab_Term_elabSubst___closed__5; static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__1; static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__11; @@ -124,17 +135,18 @@ static lean_object* l_Lean_Elab_Term_elabSubst___closed__7; static lean_object* l_Lean_Elab_Term_elabPanic___closed__6; LEAN_EXPORT uint8_t l_Array_isEqvAux___at_Lean_Elab_Term_elabCDotFunctionAlias_x3f___spec__5(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_elabParen(lean_object*); +static lean_object* l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__2; LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandDbgTrace___boxed(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Elab_Term_mkPairs_loop___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_elabSorry(lean_object*); static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabTParserMacroAux___closed__9; -static lean_object* l_Lean_Elab_Term_expandAssert___closed__11; LEAN_EXPORT lean_object* l_Array_isEqvAux___at_Lean_Elab_Term_elabCDotFunctionAlias_x3f___spec__6___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__17; static lean_object* l_Lean_Elab_Term_expandDbgTrace___closed__1; static lean_object* l_Lean_Elab_Term_elabTrailingParserMacro___closed__1; static lean_object* l___regBuiltin_Lean_Elab_Term_expandParen___closed__1; +static lean_object* l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__4; lean_object* lean_string_utf8_byte_size(lean_object*); +static lean_object* l_Lean_Elab_Term_elabIf___closed__17; static lean_object* l___regBuiltin_Lean_Elab_Term_expandHave___closed__3; static lean_object* l_Lean_Elab_Term_expandSuffices___closed__4; LEAN_EXPORT lean_object* l_Lean_throwError___at_Lean_Elab_Term_elabCDotFunctionAlias_x3f___spec__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -145,6 +157,7 @@ static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___closed__6; uint8_t l_USize_decLt(size_t, size_t); extern lean_object* l_Lean_nameLitKind; static lean_object* l_Lean_Elab_Term_expandDbgTrace___closed__2; +static lean_object* l_Lean_Elab_Term_elabIf___closed__4; static lean_object* l_Lean_Elab_Term_expandShow___closed__1; static lean_object* l_Lean_Elab_Term_expandParen___closed__7; LEAN_EXPORT lean_object* l_Lean_throwError___at_Lean_Elab_Term_elabCDotFunctionAlias_x3f___spec__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -174,17 +187,20 @@ LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandHave___lambda__3(lean_object*, l static lean_object* l_Lean_Elab_Term_expandShow___closed__2; static lean_object* l_Lean_Elab_Term_expandShow___closed__21; lean_object* l_Lean_throwError___at___private_Lean_Elab_Term_0__Lean_Elab_Term_applyAttributesCore___spec__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Elab_Term_elabIf___closed__24; static lean_object* l_Lean_Elab_Term_elabSorry___closed__13; +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_elabIfOld2(lean_object*); static lean_object* l___regBuiltin_Lean_Elab_Term_elabNoindex___closed__3; static lean_object* l_Lean_Elab_Term_expandShow___closed__24; static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__24; -static lean_object* l_Lean_Elab_Term_expandDbgTrace___closed__25; LEAN_EXPORT lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabTParserMacroAux(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_expandParen(lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_expandHave(lean_object*); static lean_object* l_Lean_Elab_Term_elabStateRefT___lambda__1___closed__5; +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_elabIfOld1(lean_object*); lean_object* l_Lean_Syntax_SepArray_getElems___rarg(lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_elabPanic(lean_object*); +static lean_object* l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__1; lean_object* l_Lean_Elab_Term_tryPostponeIfNoneOrMVar(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_ResolveName_resolveNamespace_x3f(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabAnonymousCtor___lambda__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -192,16 +208,19 @@ static lean_object* l_Lean_Elab_Term_elabSorry___closed__16; static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__20; static lean_object* l___regBuiltin_Lean_Elab_Term_elabStateRefT___closed__4; LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabNoindex___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__19; static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabTParserMacroAux___closed__3; lean_object* lean_array_fget(lean_object*, lean_object*); static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__10; lean_object* l___private_Lean_CoreM_0__Lean_Core_mkFreshNameImp(lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__5; +static lean_object* l_Lean_Elab_Term_elabIf___closed__3; LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabAnonymousCtor(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_elabStateRefT___lambda__1___closed__3; uint8_t lean_nat_dec_eq(lean_object*, lean_object*); +static lean_object* l_Lean_Elab_Term_elabIf___closed__15; LEAN_EXPORT lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_elabSubst___closed__10; +LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabIfOld1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__14; static lean_object* l_Lean_Elab_Term_expandShow___closed__7; static lean_object* l___regBuiltin_Lean_Elab_Term_expandShow___closed__2; @@ -215,17 +234,20 @@ static lean_object* l___regBuiltin_Lean_Elab_Term_expandHave___closed__1; static lean_object* l_Lean_Elab_Term_expandDbgTrace___closed__6; extern lean_object* l_Lean_numLitKind; static lean_object* l___regBuiltin_Lean_Elab_Term_elabBorrowed___closed__3; +static lean_object* l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__3; lean_object* lean_nat_sub(lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Elab_Term_expandParen___closed__2; static lean_object* l___regBuiltin_Lean_Elab_Term_expandSuffices___closed__3; LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandDbgTrace(lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Elab_Term_expandHave___closed__2; +static lean_object* l_Lean_Elab_Term_elabIf___closed__22; LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabTrailingParserMacro(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; static lean_object* l_Lean_Elab_Term_mkPairs_loop___closed__1; static lean_object* l___regBuiltin_Lean_Elab_Term_elabNoindex___closed__5; static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__5; +static lean_object* l_Lean_Elab_Term_elabIf___closed__18; lean_object* l___private_Lean_Meta_Basic_0__Lean_Meta_forallTelescopeReducingImp___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandCDot_x3f_go(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___closed__17; @@ -248,9 +270,11 @@ lean_object* l_Lean_Meta_mkLambdaFVars(lean_object*, lean_object*, uint8_t, uint static lean_object* l_Lean_Elab_Term_expandDbgTrace___closed__5; static lean_object* l_Lean_Elab_Term_expandHave___lambda__1___closed__1; LEAN_EXPORT lean_object* l_Lean_Elab_getRefPosition___at_Lean_Elab_Term_elabPanic___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Elab_Term_elabIf___closed__5; static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___closed__4; LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandHave___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_expandSuffices(lean_object*); +static lean_object* l_Lean_Elab_Term_elabIf___closed__14; static lean_object* l___regBuiltin_Lean_Elab_Term_elabParen___closed__2; static lean_object* l_Lean_Elab_Term_mkPairs_loop___closed__7; LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabNoindex(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -274,6 +298,7 @@ uint8_t l_Lean_LocalDecl_binderInfo(lean_object*); static lean_object* l___regBuiltin_Lean_Elab_Term_elabNoindex___closed__4; static lean_object* l___regBuiltin_Lean_Elab_Term_elabStateRefT___closed__2; LEAN_EXPORT lean_object* l_Lean_Elab_liftMacroM___at_Lean_Elab_Term_elabCDotFunctionAlias_x3f___spec__1___lambda__4___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Elab_Term_elabIf___closed__6; lean_object* l_Lean_Elab_addMacroStack___at_Lean_Elab_Term_instAddErrorMessageContextTermElabM___spec__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandHave___lambda__9(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Elab_Term_elabParen___closed__1; @@ -287,10 +312,10 @@ LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabParen___boxed(lean_object*, lean_o LEAN_EXPORT lean_object* l_Std_Range_forIn_loop___at_Lean_Elab_Term_elabAnonymousCtor___spec__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabSubst___lambda__4(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Meta_mkEqNDRec(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Elab_Term_expandDbgTrace___closed__22; static lean_object* l_Lean_Elab_Term_elabSorry___closed__2; static lean_object* l_Lean_Elab_Term_expandCDot_x3f_go___closed__4; lean_object* l_Lean_Elab_Term_getCurrMacroScope(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l___regBuiltin_Lean_Elab_Term_elabIf___closed__4; uint8_t l_Lean_Environment_contains(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Array_anyMUnsafe_any___at___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_hasCDot___spec__1___boxed(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___closed__9; @@ -308,12 +333,12 @@ static lean_object* l___regBuiltin_Lean_Elab_Term_elabLeadingParserMacro___close static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__12; static lean_object* l_Lean_Elab_Term_elabLeadingParserMacro___lambda__1___closed__1; extern lean_object* l_Lean_instInhabitedExpr; +static lean_object* l_Lean_Elab_Term_elabIf___closed__20; static lean_object* l_Lean_Elab_Term_expandDbgTrace___closed__16; -static lean_object* l_Lean_Elab_Term_expandShow___closed__29; static lean_object* l_Lean_Elab_Term_elabTrailingParserMacro___lambda__1___closed__1; static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___closed__15; static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___closed__18; -static lean_object* l_Lean_Elab_Term_expandDbgTrace___closed__24; +static lean_object* l_Lean_Elab_Term_elabIf___closed__10; static lean_object* l_Lean_Elab_Term_expandDbgTrace___closed__7; static lean_object* l___regBuiltin_Lean_Elab_Term_elabPanic___closed__4; lean_object* l_Lean_FileMap_toPosition(lean_object*, lean_object*); @@ -377,6 +402,7 @@ LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandHave(lean_object*, lean_object*, static lean_object* l_Lean_Elab_Term_expandShow___closed__23; LEAN_EXPORT lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_hasCDot___boxed(lean_object*); lean_object* l_Lean_Syntax_getPos_x3f(lean_object*, uint8_t); +LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabIfOld2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Elab_Term_elabTrailingParserMacro___closed__3; LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabPanic(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_String_intercalate(lean_object*, lean_object*); @@ -387,7 +413,6 @@ static lean_object* l_Lean_Elab_Term_expandParen___closed__3; LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandHave___lambda__10(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Elab_Term_elabSubst___closed__3; static lean_object* l_Lean_Elab_Term_elabSorry___closed__1; -static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__20; LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabTrailingParserMacro___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_expandShow___closed__13; LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandParen(lean_object*, lean_object*, lean_object*); @@ -408,7 +433,6 @@ uint8_t lean_nat_dec_le(lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_elabSorry___closed__8; static lean_object* l_Lean_getConstInfoCtor___at_Lean_Elab_Term_elabAnonymousCtor___spec__1___closed__3; LEAN_EXPORT lean_object* l_Lean_throwError___at_Lean_Elab_Term_elabAnonymousCtor___spec__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__16; static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabTParserMacroAux___closed__5; static lean_object* l___regBuiltin_Lean_Elab_Term_elabStateRefT___closed__5; lean_object* l_Lean_Syntax_getArgs(lean_object*); @@ -417,12 +441,15 @@ lean_object* l_Lean_Syntax_getKind(lean_object*); LEAN_EXPORT lean_object* l_Lean_Elab_getRefPos___at_Lean_Elab_Term_elabPanic___spec__2___rarg___boxed(lean_object*, lean_object*, lean_object*); static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__7; static lean_object* l_Lean_Elab_Term_elabLeadingParserMacro___lambda__1___closed__3; +static lean_object* l_Lean_Elab_Term_elabIf___closed__16; +static lean_object* l_Lean_Elab_Term_elabIf___closed__7; static lean_object* l_Lean_Elab_Term_elabSorry___closed__18; static lean_object* l_Lean_Elab_Term_expandShow___closed__20; lean_object* l_Lean_Elab_Term_elabTerm___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Elab_liftMacroM___at_Lean_Elab_Term_elabCDotFunctionAlias_x3f___spec__1___lambda__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Elab_log___at_Lean_Elab_Term_traceAtCmdPos___spec__2(lean_object*, uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Elab_Term_expandUnreachable___closed__3; +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_elabIf(lean_object*); LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabStateRefT___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_expandShow___closed__10; static lean_object* l_Lean_Elab_Term_expandParen___closed__5; @@ -473,10 +500,10 @@ lean_object* l_Lean_expandMacros(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_expandParen___closed__1; lean_object* l_Lean_Meta_isExprDefEq(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Lean_Meta_Basic_0__Lean_Meta_mkFreshExprMVarImpl(lean_object*, uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Elab_Term_elabIf___closed__9; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_elabLeadingParserMacro(lean_object*); static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__9; LEAN_EXPORT lean_object* l_Lean_Elab_getRefPos___at_Lean_Elab_Term_elabPanic___spec__2___rarg(lean_object*, lean_object*, lean_object*); -static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__18; static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; static lean_object* l_Lean_Elab_Term_elabSubst___closed__4; uint8_t l_Lean_Expr_hasLooseBVars(lean_object*); @@ -489,18 +516,19 @@ static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_hasC static lean_object* l_Lean_Elab_Term_elabPanic___closed__9; static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__3; static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; -static lean_object* l_Lean_Elab_Term_expandDbgTrace___closed__26; static lean_object* l_Lean_Elab_Term_elabPanic___closed__1; lean_object* l_Lean_Meta_instantiateMVars(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_expandShow___closed__4; LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabSubst___lambda__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_elabSubst___lambda__2___closed__1; +static lean_object* l___regBuiltin_Lean_Elab_Term_elabIf___closed__2; static lean_object* l_Lean_Elab_Term_elabSubst___lambda__2___closed__2; LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandUnreachable___boxed(lean_object*); uint8_t l_Lean_Syntax_isOfKind(lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_expandParen___closed__8; static lean_object* l___regBuiltin_Lean_Elab_Term_elabParen___closed__3; static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__2; +LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabIf(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_throwError___at_Lean_Elab_Term_quoteAutoTactic___spec__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_elabSorry___closed__9; static lean_object* l_Lean_Elab_Term_elabBorrowed___closed__1; @@ -512,6 +540,7 @@ static lean_object* l_Lean_Elab_Term_elabSubst___closed__2; extern lean_object* l_Lean_Elab_unsupportedSyntaxExceptionId; static lean_object* l___regBuiltin_Lean_Elab_Term_elabTrailingParserMacro___closed__1; static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__8; +static lean_object* l_Lean_Elab_Term_elabIf___closed__19; static lean_object* l_Lean_Elab_Term_expandParen___closed__9; LEAN_EXPORT lean_object* l_Lean_Elab_Term_mkPairs(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___closed__5; @@ -543,7 +572,6 @@ static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elab static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___closed__7; static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___closed__16; static lean_object* l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__7; -static lean_object* l_Lean_Elab_Term_expandAssert___closed__9; static lean_object* l___regBuiltin_Lean_Elab_Term_elabBorrowed___closed__2; static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__23; lean_object* l_unsafeCast(lean_object*, lean_object*, lean_object*); @@ -571,6 +599,7 @@ static lean_object* l_Lean_Elab_Term_expandSuffices___lambda__2___closed__1; LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabSubst___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_expandAssert(lean_object*); lean_object* l_Array_back___at_Lean_Syntax_Traverser_up___spec__2(lean_object*); +static lean_object* l_Lean_Elab_Term_elabIf___closed__11; lean_object* l_Lean_indentExpr(lean_object*); static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabTParserMacroAux___closed__2; LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabSubst(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -586,8 +615,8 @@ LEAN_EXPORT lean_object* l_Lean_Elab_throwUnsupportedSyntax___at_Lean_Elab_Term_ static lean_object* l_Lean_Elab_Term_expandUnreachable___rarg___closed__3; lean_object* l_Lean_Meta_kabstract(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_expandDbgTrace___closed__19; +static lean_object* l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__4; LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandHave___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Elab_Term_expandShow___closed__28; lean_object* l_Lean_mkConst(lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_elabStateRefT(lean_object*); static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabTParserMacroAux___closed__4; @@ -626,6 +655,7 @@ static lean_object* l_Lean_Elab_Term_elabSubst___closed__13; lean_object* l_Lean_Meta_getFVarLocalDecl(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Elab_Term_elabSorry___closed__3; static lean_object* l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__5; +static lean_object* l_Lean_Elab_Term_elabIf___closed__12; static lean_object* l_Lean_Elab_Term_expandAssert___closed__4; LEAN_EXPORT lean_object* l_Std_Range_forIn_loop___at_Lean_Elab_Term_elabAnonymousCtor___spec__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandHave___lambda__7___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -2191,6 +2221,810 @@ 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_Elab_Term_elabIf___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Elab_Term_elabAnonymousCtor___closed__6; +x_2 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__9; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__2() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("dite"); +return x_1; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Elab_Term_elabIf___closed__2; +x_2 = lean_string_utf8_byte_size(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Elab_Term_elabIf___closed__2; +x_2 = lean_unsigned_to_nat(0u); +x_3 = l_Lean_Elab_Term_elabIf___closed__3; +x_4 = lean_alloc_ctor(0, 3, 0); +lean_ctor_set(x_4, 0, x_1); +lean_ctor_set(x_4, 1, x_2); +lean_ctor_set(x_4, 2, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__5() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_box(0); +x_2 = l_Lean_Elab_Term_elabIf___closed__2; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__6() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_box(0); +x_2 = l_Lean_Elab_Term_elabIf___closed__5; +x_3 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_3, 0, x_2); +lean_ctor_set(x_3, 1, x_1); +return x_3; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__7() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_box(0); +x_2 = l_Lean_Elab_Term_elabIf___closed__6; +x_3 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_3, 0, x_2); +lean_ctor_set(x_3, 1, x_1); +return x_3; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__8() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("paren"); +return x_1; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__9() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Elab_Term_elabAnonymousCtor___closed__6; +x_2 = l_Lean_Elab_Term_elabIf___closed__8; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__10() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("("); +return x_1; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__11() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("fun"); +return x_1; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__12() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Elab_Term_elabAnonymousCtor___closed__6; +x_2 = l_Lean_Elab_Term_elabIf___closed__11; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__13() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("basicFun"); +return x_1; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__14() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Elab_Term_elabAnonymousCtor___closed__6; +x_2 = l_Lean_Elab_Term_elabIf___closed__13; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__15() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = lean_unsigned_to_nat(1u); +x_2 = lean_mk_empty_array_with_capacity(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__16() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("=>"); +return x_1; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__17() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; +x_2 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__4; +x_3 = lean_alloc_ctor(1, 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_Elab_Term_elabIf___closed__18() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string(")"); +return x_1; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__19() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("ite"); +return x_1; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__20() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Elab_Term_elabIf___closed__19; +x_2 = lean_string_utf8_byte_size(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__21() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Elab_Term_elabIf___closed__19; +x_2 = lean_unsigned_to_nat(0u); +x_3 = l_Lean_Elab_Term_elabIf___closed__20; +x_4 = lean_alloc_ctor(0, 3, 0); +lean_ctor_set(x_4, 0, x_1); +lean_ctor_set(x_4, 1, x_2); +lean_ctor_set(x_4, 2, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__22() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_box(0); +x_2 = l_Lean_Elab_Term_elabIf___closed__19; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__23() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_box(0); +x_2 = l_Lean_Elab_Term_elabIf___closed__22; +x_3 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_3, 0, x_2); +lean_ctor_set(x_3, 1, x_1); +return x_3; +} +} +static lean_object* _init_l_Lean_Elab_Term_elabIf___closed__24() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_box(0); +x_2 = l_Lean_Elab_Term_elabIf___closed__23; +x_3 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_3, 0, x_2); +lean_ctor_set(x_3, 1, x_1); +return x_3; +} +} +LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabIf(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8, lean_object* x_9) { +_start: +{ +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; uint8_t x_18; +x_10 = lean_unsigned_to_nat(2u); +x_11 = l_Lean_Syntax_getArg(x_1, x_10); +x_12 = lean_unsigned_to_nat(4u); +x_13 = l_Lean_Syntax_getArg(x_1, x_12); +x_14 = lean_unsigned_to_nat(6u); +x_15 = l_Lean_Syntax_getArg(x_1, x_14); +x_16 = lean_unsigned_to_nat(1u); +x_17 = l_Lean_Syntax_getArg(x_1, x_16); +x_18 = l_Lean_Syntax_isNone(x_17); +if (x_18 == 0) +{ +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; lean_object* x_35; lean_object* x_36; lean_object* x_37; lean_object* x_38; lean_object* x_39; lean_object* x_40; lean_object* x_41; lean_object* x_42; lean_object* x_43; lean_object* x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; lean_object* x_48; lean_object* x_49; lean_object* x_50; lean_object* x_51; lean_object* x_52; lean_object* x_53; lean_object* x_54; lean_object* x_55; lean_object* x_56; lean_object* x_57; lean_object* x_58; lean_object* x_59; lean_object* x_60; lean_object* x_61; lean_object* x_62; lean_object* x_63; lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; lean_object* x_68; lean_object* x_69; lean_object* x_70; lean_object* x_71; lean_object* x_72; lean_object* x_73; lean_object* x_74; lean_object* x_75; lean_object* x_76; lean_object* x_77; lean_object* x_78; lean_object* x_79; lean_object* x_80; lean_object* x_81; lean_object* x_82; lean_object* x_83; lean_object* x_84; lean_object* x_85; +x_19 = lean_unsigned_to_nat(0u); +x_20 = l_Lean_Syntax_getArg(x_17, x_19); +lean_dec(x_17); +lean_inc(x_7); +x_21 = l_Lean_MonadRef_mkInfoFromRefPos___at_Lean_Elab_Term_quoteAutoTactic___spec__2___rarg(x_7, x_8, x_9); +x_22 = lean_ctor_get(x_21, 0); +lean_inc(x_22); +x_23 = lean_ctor_get(x_21, 1); +lean_inc(x_23); +lean_dec(x_21); +x_24 = l_Lean_Elab_Term_getCurrMacroScope(x_3, x_4, x_5, x_6, x_7, x_8, x_23); +x_25 = lean_ctor_get(x_24, 0); +lean_inc(x_25); +x_26 = lean_ctor_get(x_24, 1); +lean_inc(x_26); +lean_dec(x_24); +x_27 = l_Lean_Elab_Term_getMainModule___rarg(x_8, x_26); +x_28 = lean_ctor_get(x_27, 0); +lean_inc(x_28); +x_29 = lean_ctor_get(x_27, 1); +lean_inc(x_29); +lean_dec(x_27); +x_30 = l_Lean_Elab_Term_elabIf___closed__5; +x_31 = l_Lean_addMacroScope(x_28, x_30, x_25); +x_32 = l_Lean_Elab_Term_elabIf___closed__4; +x_33 = l_Lean_Elab_Term_elabIf___closed__7; +lean_inc(x_22); +x_34 = lean_alloc_ctor(3, 4, 0); +lean_ctor_set(x_34, 0, x_22); +lean_ctor_set(x_34, 1, x_32); +lean_ctor_set(x_34, 2, x_31); +lean_ctor_set(x_34, 3, x_33); +x_35 = l_Lean_Elab_Term_elabIf___closed__10; +lean_inc(x_22); +x_36 = lean_alloc_ctor(2, 2, 0); +lean_ctor_set(x_36, 0, x_22); +lean_ctor_set(x_36, 1, x_35); +x_37 = l_Lean_Elab_Term_elabIf___closed__11; +lean_inc(x_22); +x_38 = lean_alloc_ctor(2, 2, 0); +lean_ctor_set(x_38, 0, x_22); +lean_ctor_set(x_38, 1, x_37); +x_39 = l_Lean_Elab_Term_elabIf___closed__15; +x_40 = lean_array_push(x_39, x_20); +x_41 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; +x_42 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_42, 0, x_41); +lean_ctor_set(x_42, 1, x_40); +x_43 = l_Lean_Elab_Term_elabIf___closed__16; +lean_inc(x_22); +x_44 = lean_alloc_ctor(2, 2, 0); +lean_ctor_set(x_44, 0, x_22); +lean_ctor_set(x_44, 1, x_43); +x_45 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; +x_46 = lean_array_push(x_45, x_42); +x_47 = lean_array_push(x_46, x_44); +lean_inc(x_47); +x_48 = lean_array_push(x_47, x_13); +x_49 = l_Lean_Elab_Term_elabIf___closed__14; +x_50 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_50, 0, x_49); +lean_ctor_set(x_50, 1, x_48); +x_51 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; +x_52 = lean_array_push(x_51, x_38); +lean_inc(x_52); +x_53 = lean_array_push(x_52, x_50); +x_54 = l_Lean_Elab_Term_elabIf___closed__12; +x_55 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_55, 0, x_54); +lean_ctor_set(x_55, 1, x_53); +x_56 = lean_array_push(x_51, x_55); +x_57 = l_Lean_Elab_Term_elabIf___closed__17; +x_58 = lean_array_push(x_56, x_57); +x_59 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_59, 0, x_41); +lean_ctor_set(x_59, 1, x_58); +x_60 = l_Lean_Elab_Term_elabIf___closed__18; +x_61 = lean_alloc_ctor(2, 2, 0); +lean_ctor_set(x_61, 0, x_22); +lean_ctor_set(x_61, 1, x_60); +x_62 = lean_array_push(x_45, x_36); +lean_inc(x_62); +x_63 = lean_array_push(x_62, x_59); +lean_inc(x_61); +x_64 = lean_array_push(x_63, x_61); +x_65 = l_Lean_Elab_Term_elabIf___closed__9; +x_66 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_66, 0, x_65); +lean_ctor_set(x_66, 1, x_64); +x_67 = lean_array_push(x_47, x_15); +x_68 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_68, 0, x_49); +lean_ctor_set(x_68, 1, x_67); +x_69 = lean_array_push(x_52, x_68); +x_70 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_70, 0, x_54); +lean_ctor_set(x_70, 1, x_69); +x_71 = lean_array_push(x_51, x_70); +x_72 = lean_array_push(x_71, x_57); +x_73 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_73, 0, x_41); +lean_ctor_set(x_73, 1, x_72); +x_74 = lean_array_push(x_62, x_73); +x_75 = lean_array_push(x_74, x_61); +x_76 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_76, 0, x_65); +lean_ctor_set(x_76, 1, x_75); +x_77 = lean_array_push(x_45, x_11); +x_78 = lean_array_push(x_77, x_66); +x_79 = lean_array_push(x_78, x_76); +x_80 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_80, 0, x_41); +lean_ctor_set(x_80, 1, x_79); +x_81 = lean_array_push(x_51, x_34); +x_82 = lean_array_push(x_81, x_80); +x_83 = l_Lean_Elab_Term_elabIf___closed__1; +x_84 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_84, 0, x_83); +lean_ctor_set(x_84, 1, x_82); +x_85 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__2(x_2, x_1, x_84, x_3, x_4, x_5, x_6, x_7, x_8, x_29); +return x_85; +} +else +{ +lean_object* x_86; lean_object* x_87; lean_object* x_88; lean_object* x_89; lean_object* x_90; lean_object* x_91; lean_object* x_92; lean_object* x_93; lean_object* x_94; lean_object* x_95; lean_object* x_96; lean_object* x_97; lean_object* x_98; lean_object* x_99; lean_object* x_100; lean_object* x_101; lean_object* x_102; lean_object* x_103; lean_object* x_104; lean_object* x_105; lean_object* x_106; lean_object* x_107; lean_object* x_108; lean_object* x_109; lean_object* x_110; lean_object* x_111; +lean_dec(x_17); +lean_inc(x_7); +x_86 = l_Lean_MonadRef_mkInfoFromRefPos___at_Lean_Elab_Term_quoteAutoTactic___spec__2___rarg(x_7, x_8, x_9); +x_87 = lean_ctor_get(x_86, 0); +lean_inc(x_87); +x_88 = lean_ctor_get(x_86, 1); +lean_inc(x_88); +lean_dec(x_86); +x_89 = l_Lean_Elab_Term_getCurrMacroScope(x_3, x_4, x_5, x_6, x_7, x_8, x_88); +x_90 = lean_ctor_get(x_89, 0); +lean_inc(x_90); +x_91 = lean_ctor_get(x_89, 1); +lean_inc(x_91); +lean_dec(x_89); +x_92 = l_Lean_Elab_Term_getMainModule___rarg(x_8, x_91); +x_93 = lean_ctor_get(x_92, 0); +lean_inc(x_93); +x_94 = lean_ctor_get(x_92, 1); +lean_inc(x_94); +lean_dec(x_92); +x_95 = l_Lean_Elab_Term_elabIf___closed__22; +x_96 = l_Lean_addMacroScope(x_93, x_95, x_90); +x_97 = l_Lean_Elab_Term_elabIf___closed__21; +x_98 = l_Lean_Elab_Term_elabIf___closed__24; +x_99 = lean_alloc_ctor(3, 4, 0); +lean_ctor_set(x_99, 0, x_87); +lean_ctor_set(x_99, 1, x_97); +lean_ctor_set(x_99, 2, x_96); +lean_ctor_set(x_99, 3, x_98); +x_100 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; +x_101 = lean_array_push(x_100, x_11); +x_102 = lean_array_push(x_101, x_13); +x_103 = lean_array_push(x_102, x_15); +x_104 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; +x_105 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_105, 0, x_104); +lean_ctor_set(x_105, 1, x_103); +x_106 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; +x_107 = lean_array_push(x_106, x_99); +x_108 = lean_array_push(x_107, x_105); +x_109 = l_Lean_Elab_Term_elabIf___closed__1; +x_110 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_110, 0, x_109); +lean_ctor_set(x_110, 1, x_108); +x_111 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__2(x_2, x_1, x_110, x_3, x_4, x_5, x_6, x_7, x_8, x_94); +return x_111; +} +} +} +static lean_object* _init_l___regBuiltin_Lean_Elab_Term_elabIf___closed__1() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("if"); +return x_1; +} +} +static lean_object* _init_l___regBuiltin_Lean_Elab_Term_elabIf___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Elab_Term_elabAnonymousCtor___closed__6; +x_2 = l___regBuiltin_Lean_Elab_Term_elabIf___closed__1; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Elab_Term_elabIf___closed__3() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("elabIf"); +return x_1; +} +} +static lean_object* _init_l___regBuiltin_Lean_Elab_Term_elabIf___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l___regBuiltin_Lean_Elab_Term_elabAnonymousCtor___closed__3; +x_2 = l___regBuiltin_Lean_Elab_Term_elabIf___closed__3; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Elab_Term_elabIf___closed__5() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Elab_Term_elabIf), 9, 0); +return x_1; +} +} +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_elabIf(lean_object* x_1) { +_start: +{ +lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; +x_2 = l_Lean_Elab_Term_termElabAttribute; +x_3 = l___regBuiltin_Lean_Elab_Term_elabIf___closed__2; +x_4 = l___regBuiltin_Lean_Elab_Term_elabIf___closed__4; +x_5 = l___regBuiltin_Lean_Elab_Term_elabIf___closed__5; +x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1); +return x_6; +} +} +LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabIfOld1(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8, lean_object* x_9) { +_start: +{ +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; lean_object* x_35; lean_object* x_36; lean_object* x_37; lean_object* x_38; lean_object* x_39; lean_object* x_40; lean_object* x_41; lean_object* x_42; lean_object* x_43; lean_object* x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; lean_object* x_48; lean_object* x_49; lean_object* x_50; lean_object* x_51; lean_object* x_52; lean_object* x_53; lean_object* x_54; lean_object* x_55; lean_object* x_56; lean_object* x_57; lean_object* x_58; lean_object* x_59; lean_object* x_60; lean_object* x_61; lean_object* x_62; lean_object* x_63; lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; lean_object* x_68; lean_object* x_69; lean_object* x_70; lean_object* x_71; lean_object* x_72; lean_object* x_73; lean_object* x_74; lean_object* x_75; lean_object* x_76; lean_object* x_77; lean_object* x_78; lean_object* x_79; lean_object* x_80; lean_object* x_81; uint8_t x_82; lean_object* x_83; lean_object* x_84; lean_object* x_85; lean_object* x_86; +x_10 = lean_unsigned_to_nat(1u); +x_11 = l_Lean_Syntax_getArg(x_1, x_10); +x_12 = lean_unsigned_to_nat(3u); +x_13 = l_Lean_Syntax_getArg(x_1, x_12); +x_14 = lean_unsigned_to_nat(5u); +x_15 = l_Lean_Syntax_getArg(x_1, x_14); +x_16 = lean_unsigned_to_nat(7u); +x_17 = l_Lean_Syntax_getArg(x_1, x_16); +lean_inc(x_7); +x_18 = l_Lean_MonadRef_mkInfoFromRefPos___at_Lean_Elab_Term_quoteAutoTactic___spec__2___rarg(x_7, x_8, x_9); +x_19 = lean_ctor_get(x_18, 0); +lean_inc(x_19); +x_20 = lean_ctor_get(x_18, 1); +lean_inc(x_20); +lean_dec(x_18); +x_21 = l_Lean_Elab_Term_getCurrMacroScope(x_3, x_4, x_5, x_6, x_7, x_8, x_20); +x_22 = lean_ctor_get(x_21, 0); +lean_inc(x_22); +x_23 = lean_ctor_get(x_21, 1); +lean_inc(x_23); +lean_dec(x_21); +x_24 = l_Lean_Elab_Term_getMainModule___rarg(x_8, x_23); +x_25 = lean_ctor_get(x_24, 0); +lean_inc(x_25); +x_26 = lean_ctor_get(x_24, 1); +lean_inc(x_26); +lean_dec(x_24); +x_27 = l_Lean_Elab_Term_elabIf___closed__5; +x_28 = l_Lean_addMacroScope(x_25, x_27, x_22); +x_29 = l_Lean_Elab_Term_elabIf___closed__4; +x_30 = l_Lean_Elab_Term_elabIf___closed__7; +lean_inc(x_19); +x_31 = lean_alloc_ctor(3, 4, 0); +lean_ctor_set(x_31, 0, x_19); +lean_ctor_set(x_31, 1, x_29); +lean_ctor_set(x_31, 2, x_28); +lean_ctor_set(x_31, 3, x_30); +x_32 = l_Lean_Elab_Term_elabIf___closed__10; +lean_inc(x_19); +x_33 = lean_alloc_ctor(2, 2, 0); +lean_ctor_set(x_33, 0, x_19); +lean_ctor_set(x_33, 1, x_32); +x_34 = l_Lean_Elab_Term_elabIf___closed__11; +lean_inc(x_19); +x_35 = lean_alloc_ctor(2, 2, 0); +lean_ctor_set(x_35, 0, x_19); +lean_ctor_set(x_35, 1, x_34); +x_36 = l_Lean_Elab_Term_elabIf___closed__15; +x_37 = lean_array_push(x_36, x_11); +x_38 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; +x_39 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_39, 0, x_38); +lean_ctor_set(x_39, 1, x_37); +x_40 = l_Lean_Elab_Term_elabIf___closed__16; +lean_inc(x_19); +x_41 = lean_alloc_ctor(2, 2, 0); +lean_ctor_set(x_41, 0, x_19); +lean_ctor_set(x_41, 1, x_40); +x_42 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; +x_43 = lean_array_push(x_42, x_39); +x_44 = lean_array_push(x_43, x_41); +lean_inc(x_44); +x_45 = lean_array_push(x_44, x_15); +x_46 = l_Lean_Elab_Term_elabIf___closed__14; +x_47 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_47, 0, x_46); +lean_ctor_set(x_47, 1, x_45); +x_48 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; +x_49 = lean_array_push(x_48, x_35); +lean_inc(x_49); +x_50 = lean_array_push(x_49, x_47); +x_51 = l_Lean_Elab_Term_elabIf___closed__12; +x_52 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_52, 0, x_51); +lean_ctor_set(x_52, 1, x_50); +x_53 = lean_array_push(x_48, x_52); +x_54 = l_Lean_Elab_Term_elabIf___closed__17; +x_55 = lean_array_push(x_53, x_54); +x_56 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_56, 0, x_38); +lean_ctor_set(x_56, 1, x_55); +x_57 = l_Lean_Elab_Term_elabIf___closed__18; +x_58 = lean_alloc_ctor(2, 2, 0); +lean_ctor_set(x_58, 0, x_19); +lean_ctor_set(x_58, 1, x_57); +x_59 = lean_array_push(x_42, x_33); +lean_inc(x_59); +x_60 = lean_array_push(x_59, x_56); +lean_inc(x_58); +x_61 = lean_array_push(x_60, x_58); +x_62 = l_Lean_Elab_Term_elabIf___closed__9; +x_63 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_63, 0, x_62); +lean_ctor_set(x_63, 1, x_61); +x_64 = lean_array_push(x_44, x_17); +x_65 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_65, 0, x_46); +lean_ctor_set(x_65, 1, x_64); +x_66 = lean_array_push(x_49, x_65); +x_67 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_67, 0, x_51); +lean_ctor_set(x_67, 1, x_66); +x_68 = lean_array_push(x_48, x_67); +x_69 = lean_array_push(x_68, x_54); +x_70 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_70, 0, x_38); +lean_ctor_set(x_70, 1, x_69); +x_71 = lean_array_push(x_59, x_70); +x_72 = lean_array_push(x_71, x_58); +x_73 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_73, 0, x_62); +lean_ctor_set(x_73, 1, x_72); +x_74 = lean_array_push(x_42, x_13); +x_75 = lean_array_push(x_74, x_63); +x_76 = lean_array_push(x_75, x_73); +x_77 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_77, 0, x_38); +lean_ctor_set(x_77, 1, x_76); +x_78 = lean_array_push(x_48, x_31); +x_79 = lean_array_push(x_78, x_77); +x_80 = l_Lean_Elab_Term_elabIf___closed__1; +x_81 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_81, 0, x_80); +lean_ctor_set(x_81, 1, x_79); +x_82 = 1; +x_83 = lean_box(x_82); +x_84 = lean_box(x_82); +lean_inc(x_81); +x_85 = lean_alloc_closure((void*)(l_Lean_Elab_Term_elabTerm___boxed), 11, 4); +lean_closure_set(x_85, 0, x_81); +lean_closure_set(x_85, 1, x_2); +lean_closure_set(x_85, 2, x_83); +lean_closure_set(x_85, 3, x_84); +x_86 = l_Lean_Elab_Term_withMacroExpansion___rarg(x_1, x_81, x_85, x_3, x_4, x_5, x_6, x_7, x_8, x_26); +return x_86; +} +} +static lean_object* _init_l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__1() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("termDepIfThenElse"); +return x_1; +} +} +static lean_object* _init_l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_box(0); +x_2 = l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__1; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__3() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("elabIfOld1"); +return x_1; +} +} +static lean_object* _init_l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l___regBuiltin_Lean_Elab_Term_elabAnonymousCtor___closed__3; +x_2 = l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__3; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__5() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Elab_Term_elabIfOld1), 9, 0); +return x_1; +} +} +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_elabIfOld1(lean_object* x_1) { +_start: +{ +lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; +x_2 = l_Lean_Elab_Term_termElabAttribute; +x_3 = l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__2; +x_4 = l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__4; +x_5 = l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__5; +x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1); +return x_6; +} +} +LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabIfOld2(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8, lean_object* x_9) { +_start: +{ +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; lean_object* x_35; lean_object* x_36; lean_object* x_37; lean_object* x_38; lean_object* x_39; lean_object* x_40; uint8_t x_41; lean_object* x_42; lean_object* x_43; lean_object* x_44; lean_object* x_45; +x_10 = lean_unsigned_to_nat(1u); +x_11 = l_Lean_Syntax_getArg(x_1, x_10); +x_12 = lean_unsigned_to_nat(3u); +x_13 = l_Lean_Syntax_getArg(x_1, x_12); +x_14 = lean_unsigned_to_nat(5u); +x_15 = l_Lean_Syntax_getArg(x_1, x_14); +lean_inc(x_7); +x_16 = l_Lean_MonadRef_mkInfoFromRefPos___at_Lean_Elab_Term_quoteAutoTactic___spec__2___rarg(x_7, x_8, x_9); +x_17 = lean_ctor_get(x_16, 0); +lean_inc(x_17); +x_18 = lean_ctor_get(x_16, 1); +lean_inc(x_18); +lean_dec(x_16); +x_19 = l_Lean_Elab_Term_getCurrMacroScope(x_3, x_4, x_5, x_6, x_7, x_8, x_18); +x_20 = lean_ctor_get(x_19, 0); +lean_inc(x_20); +x_21 = lean_ctor_get(x_19, 1); +lean_inc(x_21); +lean_dec(x_19); +x_22 = l_Lean_Elab_Term_getMainModule___rarg(x_8, x_21); +x_23 = lean_ctor_get(x_22, 0); +lean_inc(x_23); +x_24 = lean_ctor_get(x_22, 1); +lean_inc(x_24); +lean_dec(x_22); +x_25 = l_Lean_Elab_Term_elabIf___closed__22; +x_26 = l_Lean_addMacroScope(x_23, x_25, x_20); +x_27 = l_Lean_Elab_Term_elabIf___closed__21; +x_28 = l_Lean_Elab_Term_elabIf___closed__24; +x_29 = lean_alloc_ctor(3, 4, 0); +lean_ctor_set(x_29, 0, x_17); +lean_ctor_set(x_29, 1, x_27); +lean_ctor_set(x_29, 2, x_26); +lean_ctor_set(x_29, 3, x_28); +x_30 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; +x_31 = lean_array_push(x_30, x_11); +x_32 = lean_array_push(x_31, x_13); +x_33 = lean_array_push(x_32, x_15); +x_34 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; +x_35 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_35, 0, x_34); +lean_ctor_set(x_35, 1, x_33); +x_36 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; +x_37 = lean_array_push(x_36, x_29); +x_38 = lean_array_push(x_37, x_35); +x_39 = l_Lean_Elab_Term_elabIf___closed__1; +x_40 = lean_alloc_ctor(1, 2, 0); +lean_ctor_set(x_40, 0, x_39); +lean_ctor_set(x_40, 1, x_38); +x_41 = 1; +x_42 = lean_box(x_41); +x_43 = lean_box(x_41); +lean_inc(x_40); +x_44 = lean_alloc_closure((void*)(l_Lean_Elab_Term_elabTerm___boxed), 11, 4); +lean_closure_set(x_44, 0, x_40); +lean_closure_set(x_44, 1, x_2); +lean_closure_set(x_44, 2, x_42); +lean_closure_set(x_44, 3, x_43); +x_45 = l_Lean_Elab_Term_withMacroExpansion___rarg(x_1, x_40, x_44, x_3, x_4, x_5, x_6, x_7, x_8, x_24); +return x_45; +} +} +static lean_object* _init_l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__1() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("termIfThenElse"); +return x_1; +} +} +static lean_object* _init_l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_box(0); +x_2 = l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__1; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__3() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("elabIfOld2"); +return x_1; +} +} +static lean_object* _init_l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l___regBuiltin_Lean_Elab_Term_elabAnonymousCtor___closed__3; +x_2 = l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__3; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__5() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Elab_Term_elabIfOld2), 9, 0); +return x_1; +} +} +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Term_elabIfOld2(lean_object* x_1) { +_start: +{ +lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; +x_2 = l_Lean_Elab_Term_termElabAttribute; +x_3 = l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__2; +x_4 = l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__4; +x_5 = l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__5; +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_Elab_Term_elabBorrowed___closed__1() { _start: { @@ -2509,34 +3343,22 @@ return x_3; static lean_object* _init_l_Lean_Elab_Term_expandShow___closed__21() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; -x_2 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__4; -x_3 = lean_alloc_ctor(1, 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_Elab_Term_expandShow___closed__22() { -_start: -{ lean_object* x_1; x_1 = lean_mk_string("typeSpec"); return x_1; } } -static lean_object* _init_l_Lean_Elab_Term_expandShow___closed__23() { +static lean_object* _init_l_Lean_Elab_Term_expandShow___closed__22() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Elab_Term_elabAnonymousCtor___closed__6; -x_2 = l_Lean_Elab_Term_expandShow___closed__22; +x_2 = l_Lean_Elab_Term_expandShow___closed__21; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Elab_Term_expandShow___closed__24() { +static lean_object* _init_l_Lean_Elab_Term_expandShow___closed__23() { _start: { lean_object* x_1; @@ -2544,16 +3366,7 @@ x_1 = lean_mk_string(":"); return x_1; } } -static lean_object* _init_l_Lean_Elab_Term_expandShow___closed__25() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = lean_unsigned_to_nat(1u); -x_2 = lean_mk_empty_array_with_capacity(x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Elab_Term_expandShow___closed__26() { +static lean_object* _init_l_Lean_Elab_Term_expandShow___closed__24() { _start: { lean_object* x_1; @@ -2561,7 +3374,7 @@ x_1 = lean_mk_string(":="); return x_1; } } -static lean_object* _init_l_Lean_Elab_Term_expandShow___closed__27() { +static lean_object* _init_l_Lean_Elab_Term_expandShow___closed__25() { _start: { lean_object* x_1; lean_object* x_2; @@ -2570,7 +3383,7 @@ x_2 = lean_mk_empty_array_with_capacity(x_1); return x_2; } } -static lean_object* _init_l_Lean_Elab_Term_expandShow___closed__28() { +static lean_object* _init_l_Lean_Elab_Term_expandShow___closed__26() { _start: { lean_object* x_1; @@ -2578,7 +3391,7 @@ x_1 = lean_mk_string(";"); return x_1; } } -static lean_object* _init_l_Lean_Elab_Term_expandShow___closed__29() { +static lean_object* _init_l_Lean_Elab_Term_expandShow___closed__27() { _start: { lean_object* x_1; lean_object* x_2; @@ -2835,7 +3648,7 @@ lean_inc(x_95); x_97 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_97, 0, x_95); lean_ctor_set(x_97, 1, x_96); -x_98 = l_Lean_Elab_Term_expandShow___closed__24; +x_98 = l_Lean_Elab_Term_expandShow___closed__23; lean_inc(x_95); x_99 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_99, 0, x_95); @@ -2843,25 +3656,25 @@ lean_ctor_set(x_99, 1, x_98); x_100 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_101 = lean_array_push(x_100, x_99); x_102 = lean_array_push(x_101, x_9); -x_103 = l_Lean_Elab_Term_expandShow___closed__23; +x_103 = l_Lean_Elab_Term_expandShow___closed__22; x_104 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_104, 0, x_103); lean_ctor_set(x_104, 1, x_102); -x_105 = l_Lean_Elab_Term_expandShow___closed__25; +x_105 = l_Lean_Elab_Term_elabIf___closed__15; x_106 = lean_array_push(x_105, x_104); x_107 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_108 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_108, 0, x_107); lean_ctor_set(x_108, 1, x_106); -x_109 = l_Lean_Elab_Term_expandShow___closed__26; +x_109 = l_Lean_Elab_Term_expandShow___closed__24; lean_inc(x_95); x_110 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_110, 0, x_95); lean_ctor_set(x_110, 1, x_109); -x_111 = l_Lean_Elab_Term_expandShow___closed__27; +x_111 = l_Lean_Elab_Term_expandShow___closed__25; lean_inc(x_92); x_112 = lean_array_push(x_111, x_92); -x_113 = l_Lean_Elab_Term_expandShow___closed__21; +x_113 = l_Lean_Elab_Term_elabIf___closed__17; x_114 = lean_array_push(x_112, x_113); x_115 = lean_array_push(x_114, x_108); x_116 = lean_array_push(x_115, x_110); @@ -2875,7 +3688,7 @@ x_121 = l_Lean_Elab_Term_expandShow___closed__18; x_122 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_122, 0, x_121); lean_ctor_set(x_122, 1, x_120); -x_123 = l_Lean_Elab_Term_expandShow___closed__28; +x_123 = l_Lean_Elab_Term_expandShow___closed__26; x_124 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_124, 0, x_95); lean_ctor_set(x_124, 1, x_123); @@ -2883,7 +3696,7 @@ x_125 = lean_array_push(x_105, x_124); x_126 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_126, 0, x_107); lean_ctor_set(x_126, 1, x_125); -x_127 = l_Lean_Elab_Term_expandShow___closed__29; +x_127 = l_Lean_Elab_Term_expandShow___closed__27; x_128 = lean_array_push(x_127, x_97); x_129 = lean_array_push(x_128, x_122); x_130 = lean_array_push(x_129, x_126); @@ -2908,7 +3721,7 @@ lean_inc(x_134); x_137 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_137, 0, x_134); lean_ctor_set(x_137, 1, x_136); -x_138 = l_Lean_Elab_Term_expandShow___closed__24; +x_138 = l_Lean_Elab_Term_expandShow___closed__23; lean_inc(x_134); x_139 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_139, 0, x_134); @@ -2916,25 +3729,25 @@ lean_ctor_set(x_139, 1, x_138); x_140 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_141 = lean_array_push(x_140, x_139); x_142 = lean_array_push(x_141, x_9); -x_143 = l_Lean_Elab_Term_expandShow___closed__23; +x_143 = l_Lean_Elab_Term_expandShow___closed__22; x_144 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_144, 0, x_143); lean_ctor_set(x_144, 1, x_142); -x_145 = l_Lean_Elab_Term_expandShow___closed__25; +x_145 = l_Lean_Elab_Term_elabIf___closed__15; x_146 = lean_array_push(x_145, x_144); x_147 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_148 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_148, 0, x_147); lean_ctor_set(x_148, 1, x_146); -x_149 = l_Lean_Elab_Term_expandShow___closed__26; +x_149 = l_Lean_Elab_Term_expandShow___closed__24; lean_inc(x_134); x_150 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_150, 0, x_134); lean_ctor_set(x_150, 1, x_149); -x_151 = l_Lean_Elab_Term_expandShow___closed__27; +x_151 = l_Lean_Elab_Term_expandShow___closed__25; lean_inc(x_92); x_152 = lean_array_push(x_151, x_92); -x_153 = l_Lean_Elab_Term_expandShow___closed__21; +x_153 = l_Lean_Elab_Term_elabIf___closed__17; x_154 = lean_array_push(x_152, x_153); x_155 = lean_array_push(x_154, x_148); x_156 = lean_array_push(x_155, x_150); @@ -2948,7 +3761,7 @@ x_161 = l_Lean_Elab_Term_expandShow___closed__18; x_162 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_162, 0, x_161); lean_ctor_set(x_162, 1, x_160); -x_163 = l_Lean_Elab_Term_expandShow___closed__28; +x_163 = l_Lean_Elab_Term_expandShow___closed__26; x_164 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_164, 0, x_134); lean_ctor_set(x_164, 1, x_163); @@ -2956,7 +3769,7 @@ x_165 = lean_array_push(x_145, x_164); x_166 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_166, 0, x_147); lean_ctor_set(x_166, 1, x_165); -x_167 = l_Lean_Elab_Term_expandShow___closed__29; +x_167 = l_Lean_Elab_Term_expandShow___closed__27; x_168 = lean_array_push(x_167, x_137); x_169 = lean_array_push(x_168, x_162); x_170 = lean_array_push(x_169, x_166); @@ -3055,27 +3868,27 @@ lean_ctor_set(x_17, 1, x_15); x_18 = l_Lean_Elab_Term_expandShow___closed__17; lean_inc(x_2); x_19 = lean_name_mk_string(x_2, x_18); -x_20 = l_Lean_Elab_Term_expandShow___closed__26; +x_20 = l_Lean_Elab_Term_expandShow___closed__24; lean_inc(x_14); x_21 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_21, 0, x_14); lean_ctor_set(x_21, 1, x_20); -x_22 = l_Lean_Elab_Term_expandShow___closed__27; +x_22 = l_Lean_Elab_Term_expandShow___closed__25; x_23 = lean_array_push(x_22, x_3); -x_24 = l_Lean_Elab_Term_expandShow___closed__21; +x_24 = l_Lean_Elab_Term_elabIf___closed__17; x_25 = lean_array_push(x_23, x_24); -x_26 = l_Lean_Elab_Term_expandShow___closed__28; +x_26 = l_Lean_Elab_Term_expandShow___closed__26; lean_inc(x_14); x_27 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_27, 0, x_14); lean_ctor_set(x_27, 1, x_26); -x_28 = l_Lean_Elab_Term_expandShow___closed__25; +x_28 = l_Lean_Elab_Term_elabIf___closed__15; x_29 = lean_array_push(x_28, x_27); x_30 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_31 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_31, 0, x_30); lean_ctor_set(x_31, 1, x_29); -x_32 = l_Lean_Elab_Term_expandShow___closed__29; +x_32 = l_Lean_Elab_Term_expandShow___closed__27; x_33 = lean_array_push(x_32, x_17); if (lean_obj_tag(x_4) == 0) { @@ -3108,9 +3921,9 @@ lean_object* x_45; lean_object* x_46; lean_object* x_47; lean_object* x_48; lean x_45 = lean_ctor_get(x_4, 0); lean_inc(x_45); lean_dec(x_4); -x_46 = l_Lean_Elab_Term_expandShow___closed__22; +x_46 = l_Lean_Elab_Term_expandShow___closed__21; x_47 = lean_name_mk_string(x_2, x_46); -x_48 = l_Lean_Elab_Term_expandShow___closed__24; +x_48 = l_Lean_Elab_Term_expandShow___closed__23; x_49 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_49, 0, x_14); lean_ctor_set(x_49, 1, x_48); @@ -3164,27 +3977,27 @@ lean_ctor_set(x_72, 1, x_70); x_73 = l_Lean_Elab_Term_expandShow___closed__17; lean_inc(x_2); x_74 = lean_name_mk_string(x_2, x_73); -x_75 = l_Lean_Elab_Term_expandShow___closed__26; +x_75 = l_Lean_Elab_Term_expandShow___closed__24; lean_inc(x_68); x_76 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_76, 0, x_68); lean_ctor_set(x_76, 1, x_75); -x_77 = l_Lean_Elab_Term_expandShow___closed__27; +x_77 = l_Lean_Elab_Term_expandShow___closed__25; x_78 = lean_array_push(x_77, x_3); -x_79 = l_Lean_Elab_Term_expandShow___closed__21; +x_79 = l_Lean_Elab_Term_elabIf___closed__17; x_80 = lean_array_push(x_78, x_79); -x_81 = l_Lean_Elab_Term_expandShow___closed__28; +x_81 = l_Lean_Elab_Term_expandShow___closed__26; lean_inc(x_68); x_82 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_82, 0, x_68); lean_ctor_set(x_82, 1, x_81); -x_83 = l_Lean_Elab_Term_expandShow___closed__25; +x_83 = l_Lean_Elab_Term_elabIf___closed__15; x_84 = lean_array_push(x_83, x_82); x_85 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_86 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_86, 0, x_85); lean_ctor_set(x_86, 1, x_84); -x_87 = l_Lean_Elab_Term_expandShow___closed__29; +x_87 = l_Lean_Elab_Term_expandShow___closed__27; x_88 = lean_array_push(x_87, x_72); if (lean_obj_tag(x_4) == 0) { @@ -3219,9 +4032,9 @@ lean_object* x_101; lean_object* x_102; lean_object* x_103; lean_object* x_104; x_101 = lean_ctor_get(x_4, 0); lean_inc(x_101); lean_dec(x_4); -x_102 = l_Lean_Elab_Term_expandShow___closed__22; +x_102 = l_Lean_Elab_Term_expandShow___closed__21; x_103 = lean_name_mk_string(x_2, x_102); -x_104 = l_Lean_Elab_Term_expandShow___closed__24; +x_104 = l_Lean_Elab_Term_expandShow___closed__23; x_105 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_105, 0, x_68); lean_ctor_set(x_105, 1, x_104); @@ -3341,7 +4154,7 @@ lean_ctor_set(x_18, 0, x_16); lean_ctor_set(x_18, 1, x_17); x_19 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_20 = lean_array_push(x_19, x_2); -x_21 = l_Lean_Elab_Term_expandShow___closed__21; +x_21 = l_Lean_Elab_Term_elabIf___closed__17; x_22 = lean_array_push(x_20, x_21); x_23 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_24 = lean_alloc_ctor(1, 2, 0); @@ -3349,17 +4162,17 @@ lean_ctor_set(x_24, 0, x_23); lean_ctor_set(x_24, 1, x_22); x_25 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; x_26 = lean_array_push(x_25, x_24); -x_27 = l_Lean_Elab_Term_expandShow___closed__28; +x_27 = l_Lean_Elab_Term_expandShow___closed__26; lean_inc(x_16); x_28 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_28, 0, x_16); lean_ctor_set(x_28, 1, x_27); -x_29 = l_Lean_Elab_Term_expandShow___closed__25; +x_29 = l_Lean_Elab_Term_elabIf___closed__15; x_30 = lean_array_push(x_29, x_28); x_31 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_31, 0, x_23); lean_ctor_set(x_31, 1, x_30); -x_32 = l_Lean_Elab_Term_expandShow___closed__29; +x_32 = l_Lean_Elab_Term_expandShow___closed__27; x_33 = lean_array_push(x_32, x_18); if (lean_obj_tag(x_3) == 0) { @@ -3391,9 +4204,9 @@ lean_object* x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; lean x_44 = lean_ctor_get(x_3, 0); lean_inc(x_44); lean_dec(x_3); -x_45 = l_Lean_Elab_Term_expandShow___closed__22; +x_45 = l_Lean_Elab_Term_expandShow___closed__21; x_46 = lean_name_mk_string(x_8, x_45); -x_47 = l_Lean_Elab_Term_expandShow___closed__24; +x_47 = l_Lean_Elab_Term_expandShow___closed__23; x_48 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_48, 0, x_16); lean_ctor_set(x_48, 1, x_47); @@ -3442,7 +4255,7 @@ lean_ctor_set(x_68, 0, x_65); lean_ctor_set(x_68, 1, x_67); x_69 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_70 = lean_array_push(x_69, x_2); -x_71 = l_Lean_Elab_Term_expandShow___closed__21; +x_71 = l_Lean_Elab_Term_elabIf___closed__17; x_72 = lean_array_push(x_70, x_71); x_73 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_74 = lean_alloc_ctor(1, 2, 0); @@ -3450,17 +4263,17 @@ lean_ctor_set(x_74, 0, x_73); lean_ctor_set(x_74, 1, x_72); x_75 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; x_76 = lean_array_push(x_75, x_74); -x_77 = l_Lean_Elab_Term_expandShow___closed__28; +x_77 = l_Lean_Elab_Term_expandShow___closed__26; lean_inc(x_65); x_78 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_78, 0, x_65); lean_ctor_set(x_78, 1, x_77); -x_79 = l_Lean_Elab_Term_expandShow___closed__25; +x_79 = l_Lean_Elab_Term_elabIf___closed__15; x_80 = lean_array_push(x_79, x_78); x_81 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_81, 0, x_73); lean_ctor_set(x_81, 1, x_80); -x_82 = l_Lean_Elab_Term_expandShow___closed__29; +x_82 = l_Lean_Elab_Term_expandShow___closed__27; x_83 = lean_array_push(x_82, x_68); if (lean_obj_tag(x_3) == 0) { @@ -3494,9 +4307,9 @@ lean_object* x_95; lean_object* x_96; lean_object* x_97; lean_object* x_98; lean x_95 = lean_ctor_get(x_3, 0); lean_inc(x_95); lean_dec(x_3); -x_96 = l_Lean_Elab_Term_expandShow___closed__22; +x_96 = l_Lean_Elab_Term_expandShow___closed__21; x_97 = lean_name_mk_string(x_8, x_96); -x_98 = l_Lean_Elab_Term_expandShow___closed__24; +x_98 = l_Lean_Elab_Term_expandShow___closed__23; x_99 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_99, 0, x_65); lean_ctor_set(x_99, 1, x_98); @@ -3664,15 +4477,15 @@ x_25 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_26 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_26, 0, x_25); lean_ctor_set(x_26, 1, x_24); -x_27 = l_Lean_Elab_Term_expandShow___closed__29; +x_27 = l_Lean_Elab_Term_expandShow___closed__27; x_28 = lean_array_push(x_27, x_4); x_29 = lean_array_push(x_28, x_26); -x_30 = l_Lean_Elab_Term_expandShow___closed__28; +x_30 = l_Lean_Elab_Term_expandShow___closed__26; lean_inc(x_15); x_31 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_31, 0, x_15); lean_ctor_set(x_31, 1, x_30); -x_32 = l_Lean_Elab_Term_expandShow___closed__25; +x_32 = l_Lean_Elab_Term_elabIf___closed__15; x_33 = lean_array_push(x_32, x_31); x_34 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_34, 0, x_25); @@ -3708,9 +4521,9 @@ lean_object* x_46; lean_object* x_47; lean_object* x_48; lean_object* x_49; lean x_46 = lean_ctor_get(x_5, 0); lean_inc(x_46); lean_dec(x_5); -x_47 = l_Lean_Elab_Term_expandShow___closed__22; +x_47 = l_Lean_Elab_Term_expandShow___closed__21; x_48 = lean_name_mk_string(x_3, x_47); -x_49 = l_Lean_Elab_Term_expandShow___closed__24; +x_49 = l_Lean_Elab_Term_expandShow___closed__23; x_50 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_50, 0, x_15); lean_ctor_set(x_50, 1, x_49); @@ -3771,15 +4584,15 @@ x_78 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_79 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_79, 0, x_78); lean_ctor_set(x_79, 1, x_77); -x_80 = l_Lean_Elab_Term_expandShow___closed__29; +x_80 = l_Lean_Elab_Term_expandShow___closed__27; x_81 = lean_array_push(x_80, x_4); x_82 = lean_array_push(x_81, x_79); -x_83 = l_Lean_Elab_Term_expandShow___closed__28; +x_83 = l_Lean_Elab_Term_expandShow___closed__26; lean_inc(x_67); x_84 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_84, 0, x_67); lean_ctor_set(x_84, 1, x_83); -x_85 = l_Lean_Elab_Term_expandShow___closed__25; +x_85 = l_Lean_Elab_Term_elabIf___closed__15; x_86 = lean_array_push(x_85, x_84); x_87 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_87, 0, x_78); @@ -3817,9 +4630,9 @@ lean_object* x_100; lean_object* x_101; lean_object* x_102; lean_object* x_103; x_100 = lean_ctor_get(x_5, 0); lean_inc(x_100); lean_dec(x_5); -x_101 = l_Lean_Elab_Term_expandShow___closed__22; +x_101 = l_Lean_Elab_Term_expandShow___closed__21; x_102 = lean_name_mk_string(x_3, x_101); -x_103 = l_Lean_Elab_Term_expandShow___closed__24; +x_103 = l_Lean_Elab_Term_expandShow___closed__23; x_104 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_104, 0, x_67); lean_ctor_set(x_104, 1, x_103); @@ -3956,25 +4769,25 @@ lean_ctor_set(x_18, 0, x_16); lean_ctor_set(x_18, 1, x_17); x_19 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_20 = lean_array_push(x_19, x_2); -x_21 = l_Lean_Elab_Term_expandShow___closed__21; +x_21 = l_Lean_Elab_Term_elabIf___closed__17; x_22 = lean_array_push(x_20, x_21); x_23 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_24 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_24, 0, x_23); lean_ctor_set(x_24, 1, x_22); -x_25 = l_Lean_Elab_Term_expandShow___closed__26; +x_25 = l_Lean_Elab_Term_expandShow___closed__24; lean_inc(x_16); x_26 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_26, 0, x_16); lean_ctor_set(x_26, 1, x_25); -x_27 = l_Lean_Elab_Term_expandShow___closed__29; +x_27 = l_Lean_Elab_Term_expandShow___closed__27; x_28 = lean_array_push(x_27, x_24); -x_29 = l_Lean_Elab_Term_expandShow___closed__28; +x_29 = l_Lean_Elab_Term_expandShow___closed__26; lean_inc(x_16); x_30 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_30, 0, x_16); lean_ctor_set(x_30, 1, x_29); -x_31 = l_Lean_Elab_Term_expandShow___closed__25; +x_31 = l_Lean_Elab_Term_elabIf___closed__15; x_32 = lean_array_push(x_31, x_30); x_33 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_33, 0, x_23); @@ -4011,9 +4824,9 @@ lean_object* x_46; lean_object* x_47; lean_object* x_48; lean_object* x_49; lean x_46 = lean_ctor_get(x_3, 0); lean_inc(x_46); lean_dec(x_3); -x_47 = l_Lean_Elab_Term_expandShow___closed__22; +x_47 = l_Lean_Elab_Term_expandShow___closed__21; x_48 = lean_name_mk_string(x_8, x_47); -x_49 = l_Lean_Elab_Term_expandShow___closed__24; +x_49 = l_Lean_Elab_Term_expandShow___closed__23; x_50 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_50, 0, x_16); lean_ctor_set(x_50, 1, x_49); @@ -4063,25 +4876,25 @@ lean_ctor_set(x_71, 0, x_68); lean_ctor_set(x_71, 1, x_70); x_72 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_73 = lean_array_push(x_72, x_2); -x_74 = l_Lean_Elab_Term_expandShow___closed__21; +x_74 = l_Lean_Elab_Term_elabIf___closed__17; x_75 = lean_array_push(x_73, x_74); x_76 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_77 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_77, 0, x_76); lean_ctor_set(x_77, 1, x_75); -x_78 = l_Lean_Elab_Term_expandShow___closed__26; +x_78 = l_Lean_Elab_Term_expandShow___closed__24; lean_inc(x_68); x_79 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_79, 0, x_68); lean_ctor_set(x_79, 1, x_78); -x_80 = l_Lean_Elab_Term_expandShow___closed__29; +x_80 = l_Lean_Elab_Term_expandShow___closed__27; x_81 = lean_array_push(x_80, x_77); -x_82 = l_Lean_Elab_Term_expandShow___closed__28; +x_82 = l_Lean_Elab_Term_expandShow___closed__26; lean_inc(x_68); x_83 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_83, 0, x_68); lean_ctor_set(x_83, 1, x_82); -x_84 = l_Lean_Elab_Term_expandShow___closed__25; +x_84 = l_Lean_Elab_Term_elabIf___closed__15; x_85 = lean_array_push(x_84, x_83); x_86 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_86, 0, x_76); @@ -4120,9 +4933,9 @@ lean_object* x_100; lean_object* x_101; lean_object* x_102; lean_object* x_103; x_100 = lean_ctor_get(x_3, 0); lean_inc(x_100); lean_dec(x_3); -x_101 = l_Lean_Elab_Term_expandShow___closed__22; +x_101 = l_Lean_Elab_Term_expandShow___closed__21; x_102 = lean_name_mk_string(x_8, x_101); -x_103 = l_Lean_Elab_Term_expandShow___closed__24; +x_103 = l_Lean_Elab_Term_expandShow___closed__23; x_104 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_104, 0, x_68); lean_ctor_set(x_104, 1, x_103); @@ -4248,25 +5061,25 @@ x_25 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_26 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_26, 0, x_25); lean_ctor_set(x_26, 1, x_24); -x_27 = l_Lean_Elab_Term_expandShow___closed__26; +x_27 = l_Lean_Elab_Term_expandShow___closed__24; lean_inc(x_15); x_28 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_28, 0, x_15); lean_ctor_set(x_28, 1, x_27); -x_29 = l_Lean_Elab_Term_expandShow___closed__27; +x_29 = l_Lean_Elab_Term_expandShow___closed__25; x_30 = lean_array_push(x_29, x_4); x_31 = lean_array_push(x_30, x_26); -x_32 = l_Lean_Elab_Term_expandShow___closed__28; +x_32 = l_Lean_Elab_Term_expandShow___closed__26; lean_inc(x_15); x_33 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_33, 0, x_15); lean_ctor_set(x_33, 1, x_32); -x_34 = l_Lean_Elab_Term_expandShow___closed__25; +x_34 = l_Lean_Elab_Term_elabIf___closed__15; x_35 = lean_array_push(x_34, x_33); x_36 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_36, 0, x_25); lean_ctor_set(x_36, 1, x_35); -x_37 = l_Lean_Elab_Term_expandShow___closed__29; +x_37 = l_Lean_Elab_Term_expandShow___closed__27; x_38 = lean_array_push(x_37, x_18); if (lean_obj_tag(x_5) == 0) { @@ -4299,9 +5112,9 @@ lean_object* x_50; lean_object* x_51; lean_object* x_52; lean_object* x_53; lean x_50 = lean_ctor_get(x_5, 0); lean_inc(x_50); lean_dec(x_5); -x_51 = l_Lean_Elab_Term_expandShow___closed__22; +x_51 = l_Lean_Elab_Term_expandShow___closed__21; x_52 = lean_name_mk_string(x_3, x_51); -x_53 = l_Lean_Elab_Term_expandShow___closed__24; +x_53 = l_Lean_Elab_Term_expandShow___closed__23; x_54 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_54, 0, x_15); lean_ctor_set(x_54, 1, x_53); @@ -4363,25 +5176,25 @@ x_83 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_84 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_84, 0, x_83); lean_ctor_set(x_84, 1, x_82); -x_85 = l_Lean_Elab_Term_expandShow___closed__26; +x_85 = l_Lean_Elab_Term_expandShow___closed__24; lean_inc(x_72); x_86 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_86, 0, x_72); lean_ctor_set(x_86, 1, x_85); -x_87 = l_Lean_Elab_Term_expandShow___closed__27; +x_87 = l_Lean_Elab_Term_expandShow___closed__25; x_88 = lean_array_push(x_87, x_4); x_89 = lean_array_push(x_88, x_84); -x_90 = l_Lean_Elab_Term_expandShow___closed__28; +x_90 = l_Lean_Elab_Term_expandShow___closed__26; lean_inc(x_72); x_91 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_91, 0, x_72); lean_ctor_set(x_91, 1, x_90); -x_92 = l_Lean_Elab_Term_expandShow___closed__25; +x_92 = l_Lean_Elab_Term_elabIf___closed__15; x_93 = lean_array_push(x_92, x_91); x_94 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_94, 0, x_83); lean_ctor_set(x_94, 1, x_93); -x_95 = l_Lean_Elab_Term_expandShow___closed__29; +x_95 = l_Lean_Elab_Term_expandShow___closed__27; x_96 = lean_array_push(x_95, x_76); if (lean_obj_tag(x_5) == 0) { @@ -4416,9 +5229,9 @@ lean_object* x_109; lean_object* x_110; lean_object* x_111; lean_object* x_112; x_109 = lean_ctor_get(x_5, 0); lean_inc(x_109); lean_dec(x_5); -x_110 = l_Lean_Elab_Term_expandShow___closed__22; +x_110 = l_Lean_Elab_Term_expandShow___closed__21; x_111 = lean_name_mk_string(x_3, x_110); -x_112 = l_Lean_Elab_Term_expandShow___closed__24; +x_112 = l_Lean_Elab_Term_expandShow___closed__23; x_113 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_113, 0, x_72); lean_ctor_set(x_113, 1, x_112); @@ -4721,7 +5534,7 @@ else lean_object* x_38; lean_object* x_39; uint8_t x_40; x_38 = l_Lean_Syntax_getArg(x_33, x_16); lean_dec(x_33); -x_39 = l_Lean_Elab_Term_expandShow___closed__23; +x_39 = l_Lean_Elab_Term_expandShow___closed__22; lean_inc(x_38); x_40 = l_Lean_Syntax_isOfKind(x_38, x_39); if (x_40 == 0) @@ -4819,7 +5632,7 @@ else lean_object* x_64; lean_object* x_65; uint8_t x_66; x_64 = l_Lean_Syntax_getArg(x_59, x_16); lean_dec(x_59); -x_65 = l_Lean_Elab_Term_expandShow___closed__23; +x_65 = l_Lean_Elab_Term_expandShow___closed__22; lean_inc(x_64); x_66 = l_Lean_Syntax_isOfKind(x_64, x_65); if (x_66 == 0) @@ -4896,7 +5709,7 @@ else lean_object* x_85; lean_object* x_86; uint8_t x_87; x_85 = l_Lean_Syntax_getArg(x_80, x_16); lean_dec(x_80); -x_86 = l_Lean_Elab_Term_expandShow___closed__23; +x_86 = l_Lean_Elab_Term_expandShow___closed__22; lean_inc(x_85); x_87 = l_Lean_Syntax_isOfKind(x_85, x_86); if (x_87 == 0) @@ -4995,7 +5808,7 @@ else lean_object* x_111; lean_object* x_112; uint8_t x_113; x_111 = l_Lean_Syntax_getArg(x_106, x_16); lean_dec(x_106); -x_112 = l_Lean_Elab_Term_expandShow___closed__23; +x_112 = l_Lean_Elab_Term_expandShow___closed__22; lean_inc(x_111); x_113 = l_Lean_Syntax_isOfKind(x_111, x_112); if (x_113 == 0) @@ -5072,7 +5885,7 @@ else lean_object* x_132; lean_object* x_133; uint8_t x_134; x_132 = l_Lean_Syntax_getArg(x_127, x_16); lean_dec(x_127); -x_133 = l_Lean_Elab_Term_expandShow___closed__23; +x_133 = l_Lean_Elab_Term_expandShow___closed__22; lean_inc(x_132); x_134 = l_Lean_Syntax_isOfKind(x_132, x_133); if (x_134 == 0) @@ -5242,9 +6055,9 @@ x_21 = lean_name_mk_string(x_2, x_20); x_22 = l_Lean_Elab_Term_expandHave___closed__4; lean_inc(x_2); x_23 = lean_name_mk_string(x_2, x_22); -x_24 = l_Lean_Elab_Term_expandShow___closed__22; +x_24 = l_Lean_Elab_Term_expandShow___closed__21; x_25 = lean_name_mk_string(x_2, x_24); -x_26 = l_Lean_Elab_Term_expandShow___closed__24; +x_26 = l_Lean_Elab_Term_expandShow___closed__23; lean_inc(x_14); x_27 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_27, 0, x_14); @@ -5255,18 +6068,18 @@ x_30 = lean_array_push(x_29, x_3); x_31 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_31, 0, x_25); lean_ctor_set(x_31, 1, x_30); -x_32 = l_Lean_Elab_Term_expandShow___closed__25; +x_32 = l_Lean_Elab_Term_elabIf___closed__15; x_33 = lean_array_push(x_32, x_31); x_34 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_35 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_35, 0, x_34); lean_ctor_set(x_35, 1, x_33); -x_36 = l_Lean_Elab_Term_expandShow___closed__26; +x_36 = l_Lean_Elab_Term_expandShow___closed__24; lean_inc(x_14); x_37 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_37, 0, x_14); lean_ctor_set(x_37, 1, x_36); -x_38 = l_Lean_Elab_Term_expandShow___closed__28; +x_38 = l_Lean_Elab_Term_expandShow___closed__26; lean_inc(x_14); x_39 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_39, 0, x_14); @@ -5276,7 +6089,7 @@ x_41 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_41, 0, x_34); lean_ctor_set(x_41, 1, x_40); x_42 = l_Lean_Syntax_getHeadInfo_x3f(x_4); -x_43 = l_Lean_Elab_Term_expandShow___closed__29; +x_43 = l_Lean_Elab_Term_expandShow___closed__27; x_44 = lean_array_push(x_43, x_19); if (lean_obj_tag(x_7) == 0) { @@ -5292,7 +6105,7 @@ x_77 = lean_ctor_get(x_7, 0); lean_inc(x_77); lean_dec(x_7); x_78 = lean_array_push(x_28, x_77); -x_79 = l_Lean_Elab_Term_expandShow___closed__21; +x_79 = l_Lean_Elab_Term_elabIf___closed__17; x_80 = lean_array_push(x_78, x_79); x_45 = x_80; goto block_75; @@ -5379,7 +6192,7 @@ static lean_object* _init_l_Lean_Elab_Term_expandSuffices___lambda__2___closed__ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Elab_Term_expandShow___closed__29; +x_1 = l_Lean_Elab_Term_expandShow___closed__27; x_2 = l_Lean_Elab_Term_expandHave___lambda__1___closed__2; x_3 = lean_array_push(x_1, x_2); return x_3; @@ -5410,9 +6223,9 @@ x_18 = lean_name_mk_string(x_2, x_17); x_19 = l_Lean_Elab_Term_expandHave___closed__4; lean_inc(x_2); x_20 = lean_name_mk_string(x_2, x_19); -x_21 = l_Lean_Elab_Term_expandShow___closed__22; +x_21 = l_Lean_Elab_Term_expandShow___closed__21; x_22 = lean_name_mk_string(x_2, x_21); -x_23 = l_Lean_Elab_Term_expandShow___closed__24; +x_23 = l_Lean_Elab_Term_expandShow___closed__23; lean_inc(x_13); x_24 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_24, 0, x_13); @@ -5423,18 +6236,18 @@ x_27 = lean_array_push(x_26, x_3); x_28 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_28, 0, x_22); lean_ctor_set(x_28, 1, x_27); -x_29 = l_Lean_Elab_Term_expandShow___closed__25; +x_29 = l_Lean_Elab_Term_elabIf___closed__15; x_30 = lean_array_push(x_29, x_28); x_31 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_32 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_32, 0, x_31); lean_ctor_set(x_32, 1, x_30); -x_33 = l_Lean_Elab_Term_expandShow___closed__26; +x_33 = l_Lean_Elab_Term_expandShow___closed__24; lean_inc(x_13); x_34 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_34, 0, x_13); lean_ctor_set(x_34, 1, x_33); -x_35 = l_Lean_Elab_Term_expandShow___closed__28; +x_35 = l_Lean_Elab_Term_expandShow___closed__26; x_36 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_36, 0, x_13); lean_ctor_set(x_36, 1, x_35); @@ -5442,7 +6255,7 @@ x_37 = lean_array_push(x_29, x_36); x_38 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_38, 0, x_31); lean_ctor_set(x_38, 1, x_37); -x_39 = l_Lean_Elab_Term_expandShow___closed__29; +x_39 = l_Lean_Elab_Term_expandShow___closed__27; x_40 = lean_array_push(x_39, x_16); if (lean_obj_tag(x_4) == 0) { @@ -5474,7 +6287,7 @@ x_52 = lean_ctor_get(x_4, 0); lean_inc(x_52); lean_dec(x_4); x_53 = lean_array_push(x_25, x_52); -x_54 = l_Lean_Elab_Term_expandShow___closed__21; +x_54 = l_Lean_Elab_Term_elabIf___closed__17; x_55 = lean_array_push(x_53, x_54); x_56 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__4; x_57 = l_Array_append___rarg(x_56, x_55); @@ -5523,9 +6336,9 @@ x_76 = lean_name_mk_string(x_2, x_75); x_77 = l_Lean_Elab_Term_expandHave___closed__4; lean_inc(x_2); x_78 = lean_name_mk_string(x_2, x_77); -x_79 = l_Lean_Elab_Term_expandShow___closed__22; +x_79 = l_Lean_Elab_Term_expandShow___closed__21; x_80 = lean_name_mk_string(x_2, x_79); -x_81 = l_Lean_Elab_Term_expandShow___closed__24; +x_81 = l_Lean_Elab_Term_expandShow___closed__23; lean_inc(x_70); x_82 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_82, 0, x_70); @@ -5536,18 +6349,18 @@ x_85 = lean_array_push(x_84, x_3); x_86 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_86, 0, x_80); lean_ctor_set(x_86, 1, x_85); -x_87 = l_Lean_Elab_Term_expandShow___closed__25; +x_87 = l_Lean_Elab_Term_elabIf___closed__15; x_88 = lean_array_push(x_87, x_86); x_89 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_90 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_90, 0, x_89); lean_ctor_set(x_90, 1, x_88); -x_91 = l_Lean_Elab_Term_expandShow___closed__26; +x_91 = l_Lean_Elab_Term_expandShow___closed__24; lean_inc(x_70); x_92 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_92, 0, x_70); lean_ctor_set(x_92, 1, x_91); -x_93 = l_Lean_Elab_Term_expandShow___closed__28; +x_93 = l_Lean_Elab_Term_expandShow___closed__26; x_94 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_94, 0, x_70); lean_ctor_set(x_94, 1, x_93); @@ -5555,7 +6368,7 @@ x_95 = lean_array_push(x_87, x_94); x_96 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_96, 0, x_89); lean_ctor_set(x_96, 1, x_95); -x_97 = l_Lean_Elab_Term_expandShow___closed__29; +x_97 = l_Lean_Elab_Term_expandShow___closed__27; x_98 = lean_array_push(x_97, x_74); if (lean_obj_tag(x_4) == 0) { @@ -5589,7 +6402,7 @@ x_111 = lean_ctor_get(x_4, 0); lean_inc(x_111); lean_dec(x_4); x_112 = lean_array_push(x_83, x_111); -x_113 = l_Lean_Elab_Term_expandShow___closed__21; +x_113 = l_Lean_Elab_Term_elabIf___closed__17; x_114 = lean_array_push(x_112, x_113); x_115 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__4; x_116 = l_Array_append___rarg(x_115, x_114); @@ -6033,37 +6846,27 @@ goto _start; static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Elab_Term_elabAnonymousCtor___closed__6; -x_2 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__9; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__2() { -_start: -{ lean_object* x_1; x_1 = lean_mk_string("withAntiquot"); return x_1; } } -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__3() { +static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__2() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__2; +x_1 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; x_2 = lean_string_utf8_byte_size(x_1); return x_2; } } -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__4() { +static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__3() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__2; +x_1 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; x_2 = lean_unsigned_to_nat(0u); -x_3 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__3; +x_3 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__2; x_4 = lean_alloc_ctor(0, 3, 0); lean_ctor_set(x_4, 0, x_1); lean_ctor_set(x_4, 1, x_2); @@ -6071,12 +6874,22 @@ lean_ctor_set(x_4, 2, x_3); return x_4; } } -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__5() { +static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__4() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__2; +x_2 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__5() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Elab_Term_elabAnonymousCtor___closed__4; +x_2 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } @@ -6084,63 +6897,27 @@ return x_3; static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__6() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Elab_Term_elabAnonymousCtor___closed__4; -x_2 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__2; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__7() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("paren"); -return x_1; -} -} -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Elab_Term_elabAnonymousCtor___closed__6; -x_2 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__7; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("("); -return x_1; -} -} -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__10() { -_start: -{ lean_object* x_1; x_1 = lean_mk_string("mkAntiquot"); return x_1; } } -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__11() { +static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__7() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__10; +x_1 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__6; x_2 = lean_string_utf8_byte_size(x_1); return x_2; } } -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__12() { +static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__10; +x_1 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__6; x_2 = lean_unsigned_to_nat(0u); -x_3 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__11; +x_3 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__7; x_4 = lean_alloc_ctor(0, 3, 0); lean_ctor_set(x_4, 0, x_1); lean_ctor_set(x_4, 1, x_2); @@ -6148,35 +6925,27 @@ lean_ctor_set(x_4, 2, x_3); return x_4; } } -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__13() { +static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__10; +x_2 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__6; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__14() { +static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__10() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Elab_Term_elabAnonymousCtor___closed__4; -x_2 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__10; +x_2 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__6; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string(")"); -return x_1; -} -} -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__16() { +static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__11() { _start: { lean_object* x_1; @@ -6184,22 +6953,22 @@ x_1 = lean_mk_string("leadingNode"); return x_1; } } -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__17() { +static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__12() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__16; +x_1 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__11; x_2 = lean_string_utf8_byte_size(x_1); return x_2; } } -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__18() { +static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__13() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__16; +x_1 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__11; x_2 = lean_unsigned_to_nat(0u); -x_3 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__17; +x_3 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__12; x_4 = lean_alloc_ctor(0, 3, 0); lean_ctor_set(x_4, 0, x_1); lean_ctor_set(x_4, 1, x_2); @@ -6207,22 +6976,22 @@ lean_ctor_set(x_4, 2, x_3); return x_4; } } -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__19() { +static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__14() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__16; +x_2 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__11; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__20() { +static lean_object* _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Elab_Term_elabAnonymousCtor___closed__4; -x_2 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__16; +x_2 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__11; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } @@ -6251,11 +7020,11 @@ if (x_21 == 0) { 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; lean_object* x_35; lean_object* x_36; lean_object* x_37; lean_object* x_38; lean_object* x_39; lean_object* x_40; lean_object* x_41; lean_object* x_42; lean_object* x_43; lean_object* x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; lean_object* x_48; lean_object* x_49; lean_object* x_50; lean_object* x_51; lean_object* x_52; lean_object* x_53; lean_object* x_54; lean_object* x_55; lean_object* x_56; lean_object* x_57; lean_object* x_58; lean_object* x_59; lean_object* x_60; lean_object* x_61; lean_object* x_62; lean_object* x_63; lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; lean_object* x_68; lean_object* x_69; lean_object* x_70; lean_object* x_71; lean_object* x_72; lean_object* x_73; lean_object* x_74; lean_object* x_75; lean_object* x_76; lean_object* x_77; lean_object* x_78; lean_object* x_79; lean_object* x_80; lean_object* x_81; lean_object* x_82; lean_object* x_83; lean_object* x_84; lean_object* x_85; x_22 = lean_ctor_get(x_20, 0); -x_23 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__5; +x_23 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__4; lean_inc(x_18); lean_inc(x_22); x_24 = l_Lean_addMacroScope(x_22, x_23, x_18); -x_25 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__6; +x_25 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__5; lean_inc(x_1); x_26 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_26, 0, x_25); @@ -6264,23 +7033,23 @@ lean_inc(x_1); x_27 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_27, 0, x_26); lean_ctor_set(x_27, 1, x_1); -x_28 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__4; +x_28 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__3; lean_inc(x_15); x_29 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_29, 0, x_15); lean_ctor_set(x_29, 1, x_28); lean_ctor_set(x_29, 2, x_24); lean_ctor_set(x_29, 3, x_27); -x_30 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_30 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_15); x_31 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_31, 0, x_15); lean_ctor_set(x_31, 1, x_30); -x_32 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__13; +x_32 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; lean_inc(x_18); lean_inc(x_22); x_33 = l_Lean_addMacroScope(x_22, x_32, x_18); -x_34 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__14; +x_34 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__10; lean_inc(x_1); x_35 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_35, 0, x_34); @@ -6289,7 +7058,7 @@ lean_inc(x_1); x_36 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_36, 0, x_35); lean_ctor_set(x_36, 1, x_1); -x_37 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__12; +x_37 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; lean_inc(x_15); x_38 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_38, 0, x_15); @@ -6305,17 +7074,17 @@ lean_ctor_set(x_43, 0, x_42); lean_ctor_set(x_43, 1, x_41); x_44 = lean_array_push(x_39, x_38); x_45 = lean_array_push(x_44, x_43); -x_46 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; +x_46 = l_Lean_Elab_Term_elabIf___closed__1; x_47 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_47, 0, x_46); lean_ctor_set(x_47, 1, x_45); x_48 = lean_array_push(x_39, x_47); -x_49 = l_Lean_Elab_Term_expandShow___closed__21; +x_49 = l_Lean_Elab_Term_elabIf___closed__17; x_50 = lean_array_push(x_48, x_49); x_51 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_51, 0, x_42); lean_ctor_set(x_51, 1, x_50); -x_52 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_52 = l_Lean_Elab_Term_elabIf___closed__18; lean_inc(x_15); x_53 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_53, 0, x_15); @@ -6326,13 +7095,13 @@ lean_inc(x_55); x_56 = lean_array_push(x_55, x_51); lean_inc(x_53); x_57 = lean_array_push(x_56, x_53); -x_58 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_58 = l_Lean_Elab_Term_elabIf___closed__9; x_59 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_59, 0, x_58); lean_ctor_set(x_59, 1, x_57); -x_60 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__19; +x_60 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__14; x_61 = l_Lean_addMacroScope(x_22, x_60, x_18); -x_62 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__20; +x_62 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; lean_inc(x_1); x_63 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_63, 0, x_62); @@ -6340,7 +7109,7 @@ lean_ctor_set(x_63, 1, x_1); x_64 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_64, 0, x_63); lean_ctor_set(x_64, 1, x_1); -x_65 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__18; +x_65 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__13; x_66 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_66, 0, x_15); lean_ctor_set(x_66, 1, x_65); @@ -6388,11 +7157,11 @@ x_87 = lean_ctor_get(x_20, 1); lean_inc(x_87); lean_inc(x_86); lean_dec(x_20); -x_88 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__5; +x_88 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__4; lean_inc(x_18); lean_inc(x_86); x_89 = l_Lean_addMacroScope(x_86, x_88, x_18); -x_90 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__6; +x_90 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__5; lean_inc(x_1); x_91 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_91, 0, x_90); @@ -6401,23 +7170,23 @@ lean_inc(x_1); x_92 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_92, 0, x_91); lean_ctor_set(x_92, 1, x_1); -x_93 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__4; +x_93 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__3; lean_inc(x_15); x_94 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_94, 0, x_15); lean_ctor_set(x_94, 1, x_93); lean_ctor_set(x_94, 2, x_89); lean_ctor_set(x_94, 3, x_92); -x_95 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_95 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_15); x_96 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_96, 0, x_15); lean_ctor_set(x_96, 1, x_95); -x_97 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__13; +x_97 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; lean_inc(x_18); lean_inc(x_86); x_98 = l_Lean_addMacroScope(x_86, x_97, x_18); -x_99 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__14; +x_99 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__10; lean_inc(x_1); x_100 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_100, 0, x_99); @@ -6426,7 +7195,7 @@ lean_inc(x_1); x_101 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_101, 0, x_100); lean_ctor_set(x_101, 1, x_1); -x_102 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__12; +x_102 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; lean_inc(x_15); x_103 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_103, 0, x_15); @@ -6442,17 +7211,17 @@ lean_ctor_set(x_108, 0, x_107); lean_ctor_set(x_108, 1, x_106); x_109 = lean_array_push(x_104, x_103); x_110 = lean_array_push(x_109, x_108); -x_111 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; +x_111 = l_Lean_Elab_Term_elabIf___closed__1; x_112 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_112, 0, x_111); lean_ctor_set(x_112, 1, x_110); x_113 = lean_array_push(x_104, x_112); -x_114 = l_Lean_Elab_Term_expandShow___closed__21; +x_114 = l_Lean_Elab_Term_elabIf___closed__17; x_115 = lean_array_push(x_113, x_114); x_116 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_116, 0, x_107); lean_ctor_set(x_116, 1, x_115); -x_117 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_117 = l_Lean_Elab_Term_elabIf___closed__18; lean_inc(x_15); x_118 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_118, 0, x_15); @@ -6463,13 +7232,13 @@ lean_inc(x_120); x_121 = lean_array_push(x_120, x_116); lean_inc(x_118); x_122 = lean_array_push(x_121, x_118); -x_123 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_123 = l_Lean_Elab_Term_elabIf___closed__9; x_124 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_124, 0, x_123); lean_ctor_set(x_124, 1, x_122); -x_125 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__19; +x_125 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__14; x_126 = l_Lean_addMacroScope(x_86, x_125, x_18); -x_127 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__20; +x_127 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; lean_inc(x_1); x_128 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_128, 0, x_127); @@ -6477,7 +7246,7 @@ lean_ctor_set(x_128, 1, x_1); x_129 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_129, 0, x_128); lean_ctor_set(x_129, 1, x_1); -x_130 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__18; +x_130 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__13; x_131 = lean_alloc_ctor(3, 4, 0); lean_ctor_set(x_131, 0, x_15); lean_ctor_set(x_131, 1, x_130); @@ -6832,7 +7601,7 @@ x_72 = lean_string_append(x_71, x_70); lean_dec(x_70); x_73 = l_Lean_nameLitKind; x_74 = l_Lean_Syntax_mkLit(x_73, x_72, x_23); -x_75 = l_Lean_Elab_Term_expandShow___closed__25; +x_75 = l_Lean_Elab_Term_elabIf___closed__15; x_76 = lean_array_push(x_75, x_74); x_77 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__22; x_78 = lean_alloc_ctor(1, 2, 0); @@ -6913,7 +7682,7 @@ lean_ctor_set(x_55, 0, x_43); lean_ctor_set(x_55, 1, x_53); lean_ctor_set(x_55, 2, x_52); lean_ctor_set(x_55, 3, x_54); -x_56 = l_Lean_Elab_Term_expandShow___closed__25; +x_56 = l_Lean_Elab_Term_elabIf___closed__15; lean_inc(x_26); x_57 = lean_array_push(x_56, x_26); x_58 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; @@ -6923,7 +7692,7 @@ lean_ctor_set(x_59, 1, x_57); x_60 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_61 = lean_array_push(x_60, x_55); x_62 = lean_array_push(x_61, x_59); -x_63 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; +x_63 = l_Lean_Elab_Term_elabIf___closed__1; x_64 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_64, 0, x_63); lean_ctor_set(x_64, 1, x_62); @@ -7293,7 +8062,7 @@ lean_dec(x_71); x_74 = l_Lean_nameLitKind; x_75 = lean_box(2); x_76 = l_Lean_Syntax_mkLit(x_74, x_73, x_75); -x_77 = l_Lean_Elab_Term_expandShow___closed__25; +x_77 = l_Lean_Elab_Term_elabIf___closed__15; x_78 = lean_array_push(x_77, x_76); x_79 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__22; x_80 = lean_alloc_ctor(1, 2, 0); @@ -7335,7 +8104,7 @@ lean_ctor_set(x_34, 0, x_22); lean_ctor_set(x_34, 1, x_32); lean_ctor_set(x_34, 2, x_31); lean_ctor_set(x_34, 3, x_33); -x_35 = l_Lean_Elab_Term_expandShow___closed__29; +x_35 = l_Lean_Elab_Term_expandShow___closed__27; x_36 = lean_array_push(x_35, x_20); x_37 = lean_array_push(x_36, x_1); x_38 = lean_array_push(x_37, x_2); @@ -7347,7 +8116,7 @@ lean_ctor_set(x_41, 1, x_39); x_42 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_43 = lean_array_push(x_42, x_34); x_44 = lean_array_push(x_43, x_41); -x_45 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; +x_45 = l_Lean_Elab_Term_elabIf___closed__1; x_46 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_46, 0, x_45); lean_ctor_set(x_46, 1, x_44); @@ -7371,7 +8140,7 @@ lean_ctor_set(x_53, 0, x_22); lean_ctor_set(x_53, 1, x_51); lean_ctor_set(x_53, 2, x_50); lean_ctor_set(x_53, 3, x_52); -x_54 = l_Lean_Elab_Term_expandShow___closed__29; +x_54 = l_Lean_Elab_Term_expandShow___closed__27; x_55 = lean_array_push(x_54, x_20); x_56 = lean_array_push(x_55, x_1); x_57 = lean_array_push(x_56, x_2); @@ -7383,7 +8152,7 @@ lean_ctor_set(x_60, 1, x_58); x_61 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_62 = lean_array_push(x_61, x_53); x_63 = lean_array_push(x_62, x_60); -x_64 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; +x_64 = l_Lean_Elab_Term_elabIf___closed__1; x_65 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_65, 0, x_64); lean_ctor_set(x_65, 1, x_63); @@ -7985,7 +8754,7 @@ lean_inc(x_45); lean_dec(x_13); x_46 = l_Nat_repr(x_45); x_47 = l_Lean_Syntax_mkLit(x_43, x_46, x_39); -x_48 = l_Lean_Elab_Term_expandShow___closed__29; +x_48 = l_Lean_Elab_Term_expandShow___closed__27; x_49 = lean_array_push(x_48, x_40); x_50 = lean_array_push(x_49, x_44); x_51 = lean_array_push(x_50, x_47); @@ -7997,7 +8766,7 @@ lean_ctor_set(x_54, 1, x_52); x_55 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_56 = lean_array_push(x_55, x_35); x_57 = lean_array_push(x_56, x_54); -x_58 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; +x_58 = l_Lean_Elab_Term_elabIf___closed__1; x_59 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_59, 0, x_58); lean_ctor_set(x_59, 1, x_57); @@ -8060,7 +8829,7 @@ lean_inc(x_88); lean_dec(x_13); x_89 = l_Nat_repr(x_88); x_90 = l_Lean_Syntax_mkLit(x_86, x_89, x_80); -x_91 = l_Lean_Elab_Term_expandShow___closed__27; +x_91 = l_Lean_Elab_Term_expandShow___closed__25; x_92 = lean_array_push(x_91, x_81); x_93 = lean_array_push(x_92, x_83); x_94 = lean_array_push(x_93, x_87); @@ -8073,7 +8842,7 @@ lean_ctor_set(x_98, 1, x_96); x_99 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_100 = lean_array_push(x_99, x_76); x_101 = lean_array_push(x_100, x_98); -x_102 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; +x_102 = l_Lean_Elab_Term_elabIf___closed__1; x_103 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_103, 0, x_102); lean_ctor_set(x_103, 1, x_101); @@ -8227,7 +8996,7 @@ x_8 = l_Lean_Elab_Term_expandUnreachable___rarg___closed__4; x_9 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_9, 0, x_5); lean_ctor_set(x_9, 1, x_8); -x_10 = l_Lean_Elab_Term_expandShow___closed__25; +x_10 = l_Lean_Elab_Term_elabIf___closed__15; x_11 = lean_array_push(x_10, x_9); x_12 = l_Lean_Elab_Term_expandUnreachable___rarg___closed__3; x_13 = lean_alloc_ctor(1, 2, 0); @@ -8260,7 +9029,7 @@ x_23 = l_Lean_Elab_Term_expandUnreachable___rarg___closed__4; x_24 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_24, 0, x_19); lean_ctor_set(x_24, 1, x_23); -x_25 = l_Lean_Elab_Term_expandShow___closed__25; +x_25 = l_Lean_Elab_Term_elabIf___closed__15; x_26 = lean_array_push(x_25, x_24); x_27 = l_Lean_Elab_Term_expandUnreachable___rarg___closed__3; x_28 = lean_alloc_ctor(1, 2, 0); @@ -8357,37 +9126,11 @@ static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__1() { _start: { lean_object* x_1; -x_1 = lean_mk_string("termIfThenElse"); -return x_1; -} -} -static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__2() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_Lean_Elab_Term_expandAssert___closed__1; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__3() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("if"); -return x_1; -} -} -static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__4() { -_start: -{ -lean_object* x_1; x_1 = lean_mk_string("then"); return x_1; } } -static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__5() { +static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__2() { _start: { lean_object* x_1; @@ -8395,7 +9138,7 @@ x_1 = lean_mk_string("else"); return x_1; } } -static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__6() { +static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__3() { _start: { lean_object* x_1; @@ -8403,7 +9146,7 @@ x_1 = lean_mk_string("\"assertion violation\""); return x_1; } } -static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__7() { +static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__4() { _start: { lean_object* x_1; lean_object* x_2; @@ -8412,7 +9155,7 @@ x_2 = lean_mk_empty_array_with_capacity(x_1); return x_2; } } -static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__8() { +static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__5() { _start: { lean_object* x_1; @@ -8420,17 +9163,17 @@ x_1 = lean_mk_string("term_++_"); return x_1; } } -static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__9() { +static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__6() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l_Lean_Elab_Term_expandAssert___closed__8; +x_2 = l_Lean_Elab_Term_expandAssert___closed__5; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__10() { +static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__7() { _start: { lean_object* x_1; @@ -8438,7 +9181,7 @@ x_1 = lean_mk_string("\"assertion violation: \""); return x_1; } } -static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__11() { +static lean_object* _init_l_Lean_Elab_Term_expandAssert___closed__8() { _start: { lean_object* x_1; @@ -8465,17 +9208,17 @@ if (x_10 == 0) { 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; lean_object* x_35; lean_object* x_36; lean_object* x_37; lean_object* x_38; lean_object* x_39; lean_object* x_40; lean_object* x_41; lean_object* x_42; lean_object* x_43; lean_object* x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; lean_object* x_48; lean_object* x_49; lean_object* x_50; lean_object* x_51; lean_object* x_52; lean_object* x_53; lean_object* x_54; x_11 = lean_ctor_get(x_9, 0); -x_12 = l_Lean_Elab_Term_expandAssert___closed__3; +x_12 = l___regBuiltin_Lean_Elab_Term_elabIf___closed__1; lean_inc(x_11); x_13 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_13, 0, x_11); lean_ctor_set(x_13, 1, x_12); -x_14 = l_Lean_Elab_Term_expandAssert___closed__4; +x_14 = l_Lean_Elab_Term_expandAssert___closed__1; lean_inc(x_11); x_15 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_15, 0, x_11); lean_ctor_set(x_15, 1, x_14); -x_16 = l_Lean_Elab_Term_expandAssert___closed__5; +x_16 = l_Lean_Elab_Term_expandAssert___closed__2; lean_inc(x_11); x_17 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_17, 0, x_11); @@ -8485,17 +9228,17 @@ lean_inc(x_11); x_19 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_19, 0, x_11); lean_ctor_set(x_19, 1, x_18); -x_20 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_20 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_11); x_21 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_21, 0, x_11); lean_ctor_set(x_21, 1, x_20); -x_22 = l_Lean_Elab_Term_expandAssert___closed__6; +x_22 = l_Lean_Elab_Term_expandAssert___closed__3; lean_inc(x_11); x_23 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_23, 0, x_11); lean_ctor_set(x_23, 1, x_22); -x_24 = l_Lean_Elab_Term_expandShow___closed__25; +x_24 = l_Lean_Elab_Term_elabIf___closed__15; x_25 = lean_array_push(x_24, x_23); x_26 = l_Lean_Elab_Term_expandUnreachable___rarg___closed__3; x_27 = lean_alloc_ctor(1, 2, 0); @@ -8503,13 +9246,13 @@ lean_ctor_set(x_27, 0, x_26); lean_ctor_set(x_27, 1, x_25); x_28 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_29 = lean_array_push(x_28, x_27); -x_30 = l_Lean_Elab_Term_expandShow___closed__21; +x_30 = l_Lean_Elab_Term_elabIf___closed__17; x_31 = lean_array_push(x_29, x_30); x_32 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_33 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_33, 0, x_32); lean_ctor_set(x_33, 1, x_31); -x_34 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_34 = l_Lean_Elab_Term_elabIf___closed__18; x_35 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_35, 0, x_11); lean_ctor_set(x_35, 1, x_34); @@ -8517,7 +9260,7 @@ x_36 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; x_37 = lean_array_push(x_36, x_21); x_38 = lean_array_push(x_37, x_33); x_39 = lean_array_push(x_38, x_35); -x_40 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_40 = l_Lean_Elab_Term_elabIf___closed__9; x_41 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_41, 0, x_40); lean_ctor_set(x_41, 1, x_39); @@ -8527,14 +9270,14 @@ x_44 = l___regBuiltin_Lean_Elab_Term_elabPanic___closed__2; x_45 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_45, 0, x_44); lean_ctor_set(x_45, 1, x_43); -x_46 = l_Lean_Elab_Term_expandAssert___closed__7; +x_46 = l_Lean_Elab_Term_expandAssert___closed__4; x_47 = lean_array_push(x_46, x_13); x_48 = lean_array_push(x_47, x_5); x_49 = lean_array_push(x_48, x_15); x_50 = lean_array_push(x_49, x_7); x_51 = lean_array_push(x_50, x_17); x_52 = lean_array_push(x_51, x_45); -x_53 = l_Lean_Elab_Term_expandAssert___closed__2; +x_53 = l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__2; x_54 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_54, 0, x_53); lean_ctor_set(x_54, 1, x_52); @@ -8549,17 +9292,17 @@ x_56 = lean_ctor_get(x_9, 1); lean_inc(x_56); lean_inc(x_55); lean_dec(x_9); -x_57 = l_Lean_Elab_Term_expandAssert___closed__3; +x_57 = l___regBuiltin_Lean_Elab_Term_elabIf___closed__1; lean_inc(x_55); x_58 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_58, 0, x_55); lean_ctor_set(x_58, 1, x_57); -x_59 = l_Lean_Elab_Term_expandAssert___closed__4; +x_59 = l_Lean_Elab_Term_expandAssert___closed__1; lean_inc(x_55); x_60 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_60, 0, x_55); lean_ctor_set(x_60, 1, x_59); -x_61 = l_Lean_Elab_Term_expandAssert___closed__5; +x_61 = l_Lean_Elab_Term_expandAssert___closed__2; lean_inc(x_55); x_62 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_62, 0, x_55); @@ -8569,17 +9312,17 @@ lean_inc(x_55); x_64 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_64, 0, x_55); lean_ctor_set(x_64, 1, x_63); -x_65 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_65 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_55); x_66 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_66, 0, x_55); lean_ctor_set(x_66, 1, x_65); -x_67 = l_Lean_Elab_Term_expandAssert___closed__6; +x_67 = l_Lean_Elab_Term_expandAssert___closed__3; lean_inc(x_55); x_68 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_68, 0, x_55); lean_ctor_set(x_68, 1, x_67); -x_69 = l_Lean_Elab_Term_expandShow___closed__25; +x_69 = l_Lean_Elab_Term_elabIf___closed__15; x_70 = lean_array_push(x_69, x_68); x_71 = l_Lean_Elab_Term_expandUnreachable___rarg___closed__3; x_72 = lean_alloc_ctor(1, 2, 0); @@ -8587,13 +9330,13 @@ lean_ctor_set(x_72, 0, x_71); lean_ctor_set(x_72, 1, x_70); x_73 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_74 = lean_array_push(x_73, x_72); -x_75 = l_Lean_Elab_Term_expandShow___closed__21; +x_75 = l_Lean_Elab_Term_elabIf___closed__17; x_76 = lean_array_push(x_74, x_75); x_77 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_78 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_78, 0, x_77); lean_ctor_set(x_78, 1, x_76); -x_79 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_79 = l_Lean_Elab_Term_elabIf___closed__18; x_80 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_80, 0, x_55); lean_ctor_set(x_80, 1, x_79); @@ -8601,7 +9344,7 @@ x_81 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; x_82 = lean_array_push(x_81, x_66); x_83 = lean_array_push(x_82, x_78); x_84 = lean_array_push(x_83, x_80); -x_85 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_85 = l_Lean_Elab_Term_elabIf___closed__9; x_86 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_86, 0, x_85); lean_ctor_set(x_86, 1, x_84); @@ -8611,14 +9354,14 @@ x_89 = l___regBuiltin_Lean_Elab_Term_elabPanic___closed__2; x_90 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_90, 0, x_89); lean_ctor_set(x_90, 1, x_88); -x_91 = l_Lean_Elab_Term_expandAssert___closed__7; +x_91 = l_Lean_Elab_Term_expandAssert___closed__4; x_92 = lean_array_push(x_91, x_58); x_93 = lean_array_push(x_92, x_5); x_94 = lean_array_push(x_93, x_60); x_95 = lean_array_push(x_94, x_7); x_96 = lean_array_push(x_95, x_62); x_97 = lean_array_push(x_96, x_90); -x_98 = l_Lean_Elab_Term_expandAssert___closed__2; +x_98 = l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__2; x_99 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_99, 0, x_98); lean_ctor_set(x_99, 1, x_97); @@ -8640,17 +9383,17 @@ if (x_103 == 0) { lean_object* x_104; lean_object* x_105; lean_object* x_106; lean_object* x_107; lean_object* x_108; lean_object* x_109; lean_object* x_110; lean_object* x_111; lean_object* x_112; lean_object* x_113; lean_object* x_114; lean_object* x_115; lean_object* x_116; lean_object* x_117; lean_object* x_118; lean_object* x_119; lean_object* x_120; lean_object* x_121; lean_object* x_122; lean_object* x_123; lean_object* x_124; lean_object* x_125; lean_object* x_126; lean_object* x_127; lean_object* x_128; lean_object* x_129; lean_object* x_130; lean_object* x_131; lean_object* x_132; lean_object* x_133; lean_object* x_134; lean_object* x_135; lean_object* x_136; lean_object* x_137; lean_object* x_138; lean_object* x_139; lean_object* x_140; lean_object* x_141; lean_object* x_142; lean_object* x_143; lean_object* x_144; lean_object* x_145; lean_object* x_146; lean_object* x_147; lean_object* x_148; lean_object* x_149; lean_object* x_150; lean_object* x_151; lean_object* x_152; lean_object* x_153; lean_object* x_154; lean_object* x_155; lean_object* x_156; x_104 = lean_ctor_get(x_102, 0); -x_105 = l_Lean_Elab_Term_expandAssert___closed__3; +x_105 = l___regBuiltin_Lean_Elab_Term_elabIf___closed__1; lean_inc(x_104); x_106 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_106, 0, x_104); lean_ctor_set(x_106, 1, x_105); -x_107 = l_Lean_Elab_Term_expandAssert___closed__4; +x_107 = l_Lean_Elab_Term_expandAssert___closed__1; lean_inc(x_104); x_108 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_108, 0, x_104); lean_ctor_set(x_108, 1, x_107); -x_109 = l_Lean_Elab_Term_expandAssert___closed__5; +x_109 = l_Lean_Elab_Term_expandAssert___closed__2; lean_inc(x_104); x_110 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_110, 0, x_104); @@ -8660,23 +9403,23 @@ lean_inc(x_104); x_112 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_112, 0, x_104); lean_ctor_set(x_112, 1, x_111); -x_113 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_113 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_104); x_114 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_114, 0, x_104); lean_ctor_set(x_114, 1, x_113); -x_115 = l_Lean_Elab_Term_expandAssert___closed__10; +x_115 = l_Lean_Elab_Term_expandAssert___closed__7; lean_inc(x_104); x_116 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_116, 0, x_104); lean_ctor_set(x_116, 1, x_115); -x_117 = l_Lean_Elab_Term_expandShow___closed__25; +x_117 = l_Lean_Elab_Term_elabIf___closed__15; x_118 = lean_array_push(x_117, x_116); x_119 = l_Lean_Elab_Term_expandUnreachable___rarg___closed__3; x_120 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_120, 0, x_119); lean_ctor_set(x_120, 1, x_118); -x_121 = l_Lean_Elab_Term_expandAssert___closed__11; +x_121 = l_Lean_Elab_Term_expandAssert___closed__8; lean_inc(x_104); x_122 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_122, 0, x_104); @@ -8688,26 +9431,26 @@ x_125 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; x_126 = lean_array_push(x_125, x_120); x_127 = lean_array_push(x_126, x_122); x_128 = lean_array_push(x_127, x_124); -x_129 = l_Lean_Elab_Term_expandAssert___closed__9; +x_129 = l_Lean_Elab_Term_expandAssert___closed__6; x_130 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_130, 0, x_129); lean_ctor_set(x_130, 1, x_128); x_131 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_132 = lean_array_push(x_131, x_130); -x_133 = l_Lean_Elab_Term_expandShow___closed__21; +x_133 = l_Lean_Elab_Term_elabIf___closed__17; x_134 = lean_array_push(x_132, x_133); x_135 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_136 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_136, 0, x_135); lean_ctor_set(x_136, 1, x_134); -x_137 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_137 = l_Lean_Elab_Term_elabIf___closed__18; x_138 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_138, 0, x_104); lean_ctor_set(x_138, 1, x_137); x_139 = lean_array_push(x_125, x_114); x_140 = lean_array_push(x_139, x_136); x_141 = lean_array_push(x_140, x_138); -x_142 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_142 = l_Lean_Elab_Term_elabIf___closed__9; x_143 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_143, 0, x_142); lean_ctor_set(x_143, 1, x_141); @@ -8717,14 +9460,14 @@ x_146 = l___regBuiltin_Lean_Elab_Term_elabPanic___closed__2; x_147 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_147, 0, x_146); lean_ctor_set(x_147, 1, x_145); -x_148 = l_Lean_Elab_Term_expandAssert___closed__7; +x_148 = l_Lean_Elab_Term_expandAssert___closed__4; x_149 = lean_array_push(x_148, x_106); x_150 = lean_array_push(x_149, x_5); x_151 = lean_array_push(x_150, x_108); x_152 = lean_array_push(x_151, x_7); x_153 = lean_array_push(x_152, x_110); x_154 = lean_array_push(x_153, x_147); -x_155 = l_Lean_Elab_Term_expandAssert___closed__2; +x_155 = l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__2; x_156 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_156, 0, x_155); lean_ctor_set(x_156, 1, x_154); @@ -8739,17 +9482,17 @@ x_158 = lean_ctor_get(x_102, 1); lean_inc(x_158); lean_inc(x_157); lean_dec(x_102); -x_159 = l_Lean_Elab_Term_expandAssert___closed__3; +x_159 = l___regBuiltin_Lean_Elab_Term_elabIf___closed__1; lean_inc(x_157); x_160 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_160, 0, x_157); lean_ctor_set(x_160, 1, x_159); -x_161 = l_Lean_Elab_Term_expandAssert___closed__4; +x_161 = l_Lean_Elab_Term_expandAssert___closed__1; lean_inc(x_157); x_162 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_162, 0, x_157); lean_ctor_set(x_162, 1, x_161); -x_163 = l_Lean_Elab_Term_expandAssert___closed__5; +x_163 = l_Lean_Elab_Term_expandAssert___closed__2; lean_inc(x_157); x_164 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_164, 0, x_157); @@ -8759,23 +9502,23 @@ lean_inc(x_157); x_166 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_166, 0, x_157); lean_ctor_set(x_166, 1, x_165); -x_167 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_167 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_157); x_168 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_168, 0, x_157); lean_ctor_set(x_168, 1, x_167); -x_169 = l_Lean_Elab_Term_expandAssert___closed__10; +x_169 = l_Lean_Elab_Term_expandAssert___closed__7; lean_inc(x_157); x_170 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_170, 0, x_157); lean_ctor_set(x_170, 1, x_169); -x_171 = l_Lean_Elab_Term_expandShow___closed__25; +x_171 = l_Lean_Elab_Term_elabIf___closed__15; x_172 = lean_array_push(x_171, x_170); x_173 = l_Lean_Elab_Term_expandUnreachable___rarg___closed__3; x_174 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_174, 0, x_173); lean_ctor_set(x_174, 1, x_172); -x_175 = l_Lean_Elab_Term_expandAssert___closed__11; +x_175 = l_Lean_Elab_Term_expandAssert___closed__8; lean_inc(x_157); x_176 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_176, 0, x_157); @@ -8787,26 +9530,26 @@ x_179 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; x_180 = lean_array_push(x_179, x_174); x_181 = lean_array_push(x_180, x_176); x_182 = lean_array_push(x_181, x_178); -x_183 = l_Lean_Elab_Term_expandAssert___closed__9; +x_183 = l_Lean_Elab_Term_expandAssert___closed__6; x_184 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_184, 0, x_183); lean_ctor_set(x_184, 1, x_182); x_185 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_186 = lean_array_push(x_185, x_184); -x_187 = l_Lean_Elab_Term_expandShow___closed__21; +x_187 = l_Lean_Elab_Term_elabIf___closed__17; x_188 = lean_array_push(x_186, x_187); x_189 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_190 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_190, 0, x_189); lean_ctor_set(x_190, 1, x_188); -x_191 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_191 = l_Lean_Elab_Term_elabIf___closed__18; x_192 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_192, 0, x_157); lean_ctor_set(x_192, 1, x_191); x_193 = lean_array_push(x_179, x_168); x_194 = lean_array_push(x_193, x_190); x_195 = lean_array_push(x_194, x_192); -x_196 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_196 = l_Lean_Elab_Term_elabIf___closed__9; x_197 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_197, 0, x_196); lean_ctor_set(x_197, 1, x_195); @@ -8816,14 +9559,14 @@ x_200 = l___regBuiltin_Lean_Elab_Term_elabPanic___closed__2; x_201 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_201, 0, x_200); lean_ctor_set(x_201, 1, x_199); -x_202 = l_Lean_Elab_Term_expandAssert___closed__7; +x_202 = l_Lean_Elab_Term_expandAssert___closed__4; x_203 = lean_array_push(x_202, x_160); x_204 = lean_array_push(x_203, x_5); x_205 = lean_array_push(x_204, x_162); x_206 = lean_array_push(x_205, x_7); x_207 = lean_array_push(x_206, x_164); x_208 = lean_array_push(x_207, x_201); -x_209 = l_Lean_Elab_Term_expandAssert___closed__2; +x_209 = l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__2; x_210 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_210, 0, x_209); lean_ctor_set(x_210, 1, x_208); @@ -9062,7 +9805,7 @@ static lean_object* _init_l_Lean_Elab_Term_expandDbgTrace___closed__16() { _start: { lean_object* x_1; -x_1 = lean_mk_string("fun"); +x_1 = lean_mk_string("hole"); return x_1; } } @@ -9080,55 +9823,11 @@ static lean_object* _init_l_Lean_Elab_Term_expandDbgTrace___closed__18() { _start: { lean_object* x_1; -x_1 = lean_mk_string("basicFun"); -return x_1; -} -} -static lean_object* _init_l_Lean_Elab_Term_expandDbgTrace___closed__19() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Elab_Term_elabAnonymousCtor___closed__6; -x_2 = l_Lean_Elab_Term_expandDbgTrace___closed__18; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Elab_Term_expandDbgTrace___closed__20() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("hole"); -return x_1; -} -} -static lean_object* _init_l_Lean_Elab_Term_expandDbgTrace___closed__21() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Elab_Term_elabAnonymousCtor___closed__6; -x_2 = l_Lean_Elab_Term_expandDbgTrace___closed__20; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Elab_Term_expandDbgTrace___closed__22() { -_start: -{ -lean_object* x_1; x_1 = lean_mk_string("_"); return x_1; } } -static lean_object* _init_l_Lean_Elab_Term_expandDbgTrace___closed__23() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("=>"); -return x_1; -} -} -static lean_object* _init_l_Lean_Elab_Term_expandDbgTrace___closed__24() { +static lean_object* _init_l_Lean_Elab_Term_expandDbgTrace___closed__19() { _start: { lean_object* x_1; @@ -9136,17 +9835,17 @@ x_1 = lean_mk_string("termS!_"); return x_1; } } -static lean_object* _init_l_Lean_Elab_Term_expandDbgTrace___closed__25() { +static lean_object* _init_l_Lean_Elab_Term_expandDbgTrace___closed__20() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l_Lean_Elab_Term_expandDbgTrace___closed__24; +x_2 = l_Lean_Elab_Term_expandDbgTrace___closed__19; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Elab_Term_expandDbgTrace___closed__26() { +static lean_object* _init_l_Lean_Elab_Term_expandDbgTrace___closed__21() { _start: { lean_object* x_1; @@ -9194,7 +9893,7 @@ lean_ctor_set(x_20, 0, x_13); lean_ctor_set(x_20, 1, x_18); lean_ctor_set(x_20, 2, x_17); lean_ctor_set(x_20, 3, x_19); -x_21 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_21 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_13); x_22 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_22, 0, x_13); @@ -9209,7 +9908,7 @@ lean_ctor_set(x_27, 0, x_13); lean_ctor_set(x_27, 1, x_25); lean_ctor_set(x_27, 2, x_24); lean_ctor_set(x_27, 3, x_26); -x_28 = l_Lean_Elab_Term_expandShow___closed__25; +x_28 = l_Lean_Elab_Term_elabIf___closed__15; x_29 = lean_array_push(x_28, x_5); x_30 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_31 = lean_alloc_ctor(1, 2, 0); @@ -9218,17 +9917,17 @@ lean_ctor_set(x_31, 1, x_29); x_32 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_33 = lean_array_push(x_32, x_27); x_34 = lean_array_push(x_33, x_31); -x_35 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; +x_35 = l_Lean_Elab_Term_elabIf___closed__1; x_36 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_36, 0, x_35); lean_ctor_set(x_36, 1, x_34); x_37 = lean_array_push(x_32, x_36); -x_38 = l_Lean_Elab_Term_expandShow___closed__21; +x_38 = l_Lean_Elab_Term_elabIf___closed__17; x_39 = lean_array_push(x_37, x_38); x_40 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_40, 0, x_30); lean_ctor_set(x_40, 1, x_39); -x_41 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_41 = l_Lean_Elab_Term_elabIf___closed__18; lean_inc(x_13); x_42 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_42, 0, x_13); @@ -9237,22 +9936,22 @@ x_43 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; x_44 = lean_array_push(x_43, x_22); x_45 = lean_array_push(x_44, x_40); x_46 = lean_array_push(x_45, x_42); -x_47 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_47 = l_Lean_Elab_Term_elabIf___closed__9; x_48 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_48, 0, x_47); lean_ctor_set(x_48, 1, x_46); -x_49 = l_Lean_Elab_Term_expandDbgTrace___closed__16; +x_49 = l_Lean_Elab_Term_elabIf___closed__11; lean_inc(x_13); x_50 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_50, 0, x_13); lean_ctor_set(x_50, 1, x_49); -x_51 = l_Lean_Elab_Term_expandDbgTrace___closed__22; +x_51 = l_Lean_Elab_Term_expandDbgTrace___closed__18; lean_inc(x_13); x_52 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_52, 0, x_13); lean_ctor_set(x_52, 1, x_51); x_53 = lean_array_push(x_28, x_52); -x_54 = l_Lean_Elab_Term_expandDbgTrace___closed__21; +x_54 = l_Lean_Elab_Term_expandDbgTrace___closed__17; x_55 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_55, 0, x_54); lean_ctor_set(x_55, 1, x_53); @@ -9260,20 +9959,20 @@ x_56 = lean_array_push(x_28, x_55); x_57 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_57, 0, x_30); lean_ctor_set(x_57, 1, x_56); -x_58 = l_Lean_Elab_Term_expandDbgTrace___closed__23; +x_58 = l_Lean_Elab_Term_elabIf___closed__16; x_59 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_59, 0, x_13); lean_ctor_set(x_59, 1, x_58); x_60 = lean_array_push(x_43, x_57); x_61 = lean_array_push(x_60, x_59); x_62 = lean_array_push(x_61, x_7); -x_63 = l_Lean_Elab_Term_expandDbgTrace___closed__19; +x_63 = l_Lean_Elab_Term_elabIf___closed__14; x_64 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_64, 0, x_63); lean_ctor_set(x_64, 1, x_62); x_65 = lean_array_push(x_32, x_50); x_66 = lean_array_push(x_65, x_64); -x_67 = l_Lean_Elab_Term_expandDbgTrace___closed__17; +x_67 = l_Lean_Elab_Term_elabIf___closed__12; x_68 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_68, 0, x_67); lean_ctor_set(x_68, 1, x_66); @@ -9315,7 +10014,7 @@ lean_ctor_set(x_83, 0, x_75); lean_ctor_set(x_83, 1, x_81); lean_ctor_set(x_83, 2, x_80); lean_ctor_set(x_83, 3, x_82); -x_84 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_84 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_75); x_85 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_85, 0, x_75); @@ -9330,7 +10029,7 @@ lean_ctor_set(x_90, 0, x_75); lean_ctor_set(x_90, 1, x_88); lean_ctor_set(x_90, 2, x_87); lean_ctor_set(x_90, 3, x_89); -x_91 = l_Lean_Elab_Term_expandShow___closed__25; +x_91 = l_Lean_Elab_Term_elabIf___closed__15; x_92 = lean_array_push(x_91, x_5); x_93 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_94 = lean_alloc_ctor(1, 2, 0); @@ -9339,17 +10038,17 @@ lean_ctor_set(x_94, 1, x_92); x_95 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_96 = lean_array_push(x_95, x_90); x_97 = lean_array_push(x_96, x_94); -x_98 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; +x_98 = l_Lean_Elab_Term_elabIf___closed__1; x_99 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_99, 0, x_98); lean_ctor_set(x_99, 1, x_97); x_100 = lean_array_push(x_95, x_99); -x_101 = l_Lean_Elab_Term_expandShow___closed__21; +x_101 = l_Lean_Elab_Term_elabIf___closed__17; x_102 = lean_array_push(x_100, x_101); x_103 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_103, 0, x_93); lean_ctor_set(x_103, 1, x_102); -x_104 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_104 = l_Lean_Elab_Term_elabIf___closed__18; lean_inc(x_75); x_105 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_105, 0, x_75); @@ -9358,22 +10057,22 @@ x_106 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; x_107 = lean_array_push(x_106, x_85); x_108 = lean_array_push(x_107, x_103); x_109 = lean_array_push(x_108, x_105); -x_110 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_110 = l_Lean_Elab_Term_elabIf___closed__9; x_111 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_111, 0, x_110); lean_ctor_set(x_111, 1, x_109); -x_112 = l_Lean_Elab_Term_expandDbgTrace___closed__16; +x_112 = l_Lean_Elab_Term_elabIf___closed__11; lean_inc(x_75); x_113 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_113, 0, x_75); lean_ctor_set(x_113, 1, x_112); -x_114 = l_Lean_Elab_Term_expandDbgTrace___closed__22; +x_114 = l_Lean_Elab_Term_expandDbgTrace___closed__18; lean_inc(x_75); x_115 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_115, 0, x_75); lean_ctor_set(x_115, 1, x_114); x_116 = lean_array_push(x_91, x_115); -x_117 = l_Lean_Elab_Term_expandDbgTrace___closed__21; +x_117 = l_Lean_Elab_Term_expandDbgTrace___closed__17; x_118 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_118, 0, x_117); lean_ctor_set(x_118, 1, x_116); @@ -9381,20 +10080,20 @@ x_119 = lean_array_push(x_91, x_118); x_120 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_120, 0, x_93); lean_ctor_set(x_120, 1, x_119); -x_121 = l_Lean_Elab_Term_expandDbgTrace___closed__23; +x_121 = l_Lean_Elab_Term_elabIf___closed__16; x_122 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_122, 0, x_75); lean_ctor_set(x_122, 1, x_121); x_123 = lean_array_push(x_106, x_120); x_124 = lean_array_push(x_123, x_122); x_125 = lean_array_push(x_124, x_7); -x_126 = l_Lean_Elab_Term_expandDbgTrace___closed__19; +x_126 = l_Lean_Elab_Term_elabIf___closed__14; x_127 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_127, 0, x_126); lean_ctor_set(x_127, 1, x_125); x_128 = lean_array_push(x_95, x_113); x_129 = lean_array_push(x_128, x_127); -x_130 = l_Lean_Elab_Term_expandDbgTrace___closed__17; +x_130 = l_Lean_Elab_Term_elabIf___closed__12; x_131 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_131, 0, x_130); lean_ctor_set(x_131, 1, x_129); @@ -9439,12 +10138,12 @@ lean_ctor_set(x_148, 0, x_141); lean_ctor_set(x_148, 1, x_146); lean_ctor_set(x_148, 2, x_145); lean_ctor_set(x_148, 3, x_147); -x_149 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_149 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_141); x_150 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_150, 0, x_141); lean_ctor_set(x_150, 1, x_149); -x_151 = l_Lean_Elab_Term_expandDbgTrace___closed__26; +x_151 = l_Lean_Elab_Term_expandDbgTrace___closed__21; lean_inc(x_141); x_152 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_152, 0, x_141); @@ -9452,18 +10151,18 @@ lean_ctor_set(x_152, 1, x_151); x_153 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_154 = lean_array_push(x_153, x_152); x_155 = lean_array_push(x_154, x_5); -x_156 = l_Lean_Elab_Term_expandDbgTrace___closed__25; +x_156 = l_Lean_Elab_Term_expandDbgTrace___closed__20; x_157 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_157, 0, x_156); lean_ctor_set(x_157, 1, x_155); x_158 = lean_array_push(x_153, x_157); -x_159 = l_Lean_Elab_Term_expandShow___closed__21; +x_159 = l_Lean_Elab_Term_elabIf___closed__17; x_160 = lean_array_push(x_158, x_159); x_161 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_162 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_162, 0, x_161); lean_ctor_set(x_162, 1, x_160); -x_163 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_163 = l_Lean_Elab_Term_elabIf___closed__18; lean_inc(x_141); x_164 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_164, 0, x_141); @@ -9472,23 +10171,23 @@ x_165 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; x_166 = lean_array_push(x_165, x_150); x_167 = lean_array_push(x_166, x_162); x_168 = lean_array_push(x_167, x_164); -x_169 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_169 = l_Lean_Elab_Term_elabIf___closed__9; x_170 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_170, 0, x_169); lean_ctor_set(x_170, 1, x_168); -x_171 = l_Lean_Elab_Term_expandDbgTrace___closed__16; +x_171 = l_Lean_Elab_Term_elabIf___closed__11; lean_inc(x_141); x_172 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_172, 0, x_141); lean_ctor_set(x_172, 1, x_171); -x_173 = l_Lean_Elab_Term_expandDbgTrace___closed__22; +x_173 = l_Lean_Elab_Term_expandDbgTrace___closed__18; lean_inc(x_141); x_174 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_174, 0, x_141); lean_ctor_set(x_174, 1, x_173); -x_175 = l_Lean_Elab_Term_expandShow___closed__25; +x_175 = l_Lean_Elab_Term_elabIf___closed__15; x_176 = lean_array_push(x_175, x_174); -x_177 = l_Lean_Elab_Term_expandDbgTrace___closed__21; +x_177 = l_Lean_Elab_Term_expandDbgTrace___closed__17; x_178 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_178, 0, x_177); lean_ctor_set(x_178, 1, x_176); @@ -9496,20 +10195,20 @@ x_179 = lean_array_push(x_175, x_178); x_180 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_180, 0, x_161); lean_ctor_set(x_180, 1, x_179); -x_181 = l_Lean_Elab_Term_expandDbgTrace___closed__23; +x_181 = l_Lean_Elab_Term_elabIf___closed__16; x_182 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_182, 0, x_141); lean_ctor_set(x_182, 1, x_181); x_183 = lean_array_push(x_165, x_180); x_184 = lean_array_push(x_183, x_182); x_185 = lean_array_push(x_184, x_7); -x_186 = l_Lean_Elab_Term_expandDbgTrace___closed__19; +x_186 = l_Lean_Elab_Term_elabIf___closed__14; x_187 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_187, 0, x_186); lean_ctor_set(x_187, 1, x_185); x_188 = lean_array_push(x_153, x_172); x_189 = lean_array_push(x_188, x_187); -x_190 = l_Lean_Elab_Term_expandDbgTrace___closed__17; +x_190 = l_Lean_Elab_Term_elabIf___closed__12; x_191 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_191, 0, x_190); lean_ctor_set(x_191, 1, x_189); @@ -9520,7 +10219,7 @@ lean_ctor_set(x_194, 0, x_161); lean_ctor_set(x_194, 1, x_193); x_195 = lean_array_push(x_153, x_148); x_196 = lean_array_push(x_195, x_194); -x_197 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; +x_197 = l_Lean_Elab_Term_elabIf___closed__1; x_198 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_198, 0, x_197); lean_ctor_set(x_198, 1, x_196); @@ -9550,12 +10249,12 @@ lean_ctor_set(x_207, 0, x_199); lean_ctor_set(x_207, 1, x_205); lean_ctor_set(x_207, 2, x_204); lean_ctor_set(x_207, 3, x_206); -x_208 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_208 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_199); x_209 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_209, 0, x_199); lean_ctor_set(x_209, 1, x_208); -x_210 = l_Lean_Elab_Term_expandDbgTrace___closed__26; +x_210 = l_Lean_Elab_Term_expandDbgTrace___closed__21; lean_inc(x_199); x_211 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_211, 0, x_199); @@ -9563,18 +10262,18 @@ lean_ctor_set(x_211, 1, x_210); x_212 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_213 = lean_array_push(x_212, x_211); x_214 = lean_array_push(x_213, x_5); -x_215 = l_Lean_Elab_Term_expandDbgTrace___closed__25; +x_215 = l_Lean_Elab_Term_expandDbgTrace___closed__20; x_216 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_216, 0, x_215); lean_ctor_set(x_216, 1, x_214); x_217 = lean_array_push(x_212, x_216); -x_218 = l_Lean_Elab_Term_expandShow___closed__21; +x_218 = l_Lean_Elab_Term_elabIf___closed__17; x_219 = lean_array_push(x_217, x_218); x_220 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_221 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_221, 0, x_220); lean_ctor_set(x_221, 1, x_219); -x_222 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_222 = l_Lean_Elab_Term_elabIf___closed__18; lean_inc(x_199); x_223 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_223, 0, x_199); @@ -9583,23 +10282,23 @@ x_224 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; x_225 = lean_array_push(x_224, x_209); x_226 = lean_array_push(x_225, x_221); x_227 = lean_array_push(x_226, x_223); -x_228 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_228 = l_Lean_Elab_Term_elabIf___closed__9; x_229 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_229, 0, x_228); lean_ctor_set(x_229, 1, x_227); -x_230 = l_Lean_Elab_Term_expandDbgTrace___closed__16; +x_230 = l_Lean_Elab_Term_elabIf___closed__11; lean_inc(x_199); x_231 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_231, 0, x_199); lean_ctor_set(x_231, 1, x_230); -x_232 = l_Lean_Elab_Term_expandDbgTrace___closed__22; +x_232 = l_Lean_Elab_Term_expandDbgTrace___closed__18; lean_inc(x_199); x_233 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_233, 0, x_199); lean_ctor_set(x_233, 1, x_232); -x_234 = l_Lean_Elab_Term_expandShow___closed__25; +x_234 = l_Lean_Elab_Term_elabIf___closed__15; x_235 = lean_array_push(x_234, x_233); -x_236 = l_Lean_Elab_Term_expandDbgTrace___closed__21; +x_236 = l_Lean_Elab_Term_expandDbgTrace___closed__17; x_237 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_237, 0, x_236); lean_ctor_set(x_237, 1, x_235); @@ -9607,20 +10306,20 @@ x_238 = lean_array_push(x_234, x_237); x_239 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_239, 0, x_220); lean_ctor_set(x_239, 1, x_238); -x_240 = l_Lean_Elab_Term_expandDbgTrace___closed__23; +x_240 = l_Lean_Elab_Term_elabIf___closed__16; x_241 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_241, 0, x_199); lean_ctor_set(x_241, 1, x_240); x_242 = lean_array_push(x_224, x_239); x_243 = lean_array_push(x_242, x_241); x_244 = lean_array_push(x_243, x_7); -x_245 = l_Lean_Elab_Term_expandDbgTrace___closed__19; +x_245 = l_Lean_Elab_Term_elabIf___closed__14; x_246 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_246, 0, x_245); lean_ctor_set(x_246, 1, x_244); x_247 = lean_array_push(x_212, x_231); x_248 = lean_array_push(x_247, x_246); -x_249 = l_Lean_Elab_Term_expandDbgTrace___closed__17; +x_249 = l_Lean_Elab_Term_elabIf___closed__12; x_250 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_250, 0, x_249); lean_ctor_set(x_250, 1, x_248); @@ -9631,7 +10330,7 @@ lean_ctor_set(x_253, 0, x_220); lean_ctor_set(x_253, 1, x_252); x_254 = lean_array_push(x_212, x_207); x_255 = lean_array_push(x_254, x_253); -x_256 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; +x_256 = l_Lean_Elab_Term_elabIf___closed__1; x_257 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_257, 0, x_256); lean_ctor_set(x_257, 1, x_255); @@ -9933,14 +10632,14 @@ lean_ctor_set(x_27, 0, x_15); lean_ctor_set(x_27, 1, x_25); lean_ctor_set(x_27, 2, x_24); lean_ctor_set(x_27, 3, x_26); -x_28 = l_Lean_Elab_Term_expandDbgTrace___closed__22; +x_28 = l_Lean_Elab_Term_expandDbgTrace___closed__18; lean_inc(x_15); x_29 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_29, 0, x_15); lean_ctor_set(x_29, 1, x_28); -x_30 = l_Lean_Elab_Term_expandShow___closed__25; +x_30 = l_Lean_Elab_Term_elabIf___closed__15; x_31 = lean_array_push(x_30, x_29); -x_32 = l_Lean_Elab_Term_expandDbgTrace___closed__21; +x_32 = l_Lean_Elab_Term_expandDbgTrace___closed__17; x_33 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_33, 0, x_32); lean_ctor_set(x_33, 1, x_31); @@ -9962,7 +10661,7 @@ lean_ctor_set(x_43, 0, x_42); lean_ctor_set(x_43, 1, x_41); x_44 = lean_array_push(x_39, x_27); x_45 = lean_array_push(x_44, x_43); -x_46 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; +x_46 = l_Lean_Elab_Term_elabIf___closed__1; x_47 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_47, 0, x_46); lean_ctor_set(x_47, 1, x_45); @@ -10179,7 +10878,7 @@ lean_ctor_set(x_27, 0, x_26); lean_ctor_set(x_27, 1, x_25); x_28 = lean_array_push(x_23, x_22); x_29 = lean_array_push(x_28, x_27); -x_30 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; +x_30 = l_Lean_Elab_Term_elabIf___closed__1; x_31 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_31, 0, x_30); lean_ctor_set(x_31, 1, x_29); @@ -10283,7 +10982,7 @@ lean_inc(x_2); x_3 = lean_ctor_get(x_1, 1); lean_inc(x_3); lean_dec(x_1); -x_4 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_4 = l_Lean_Elab_Term_elabIf___closed__9; x_5 = lean_name_eq(x_2, x_4); if (x_5 == 0) { @@ -10532,7 +11231,7 @@ x_5 = lean_ctor_get(x_1, 0); lean_inc(x_5); x_6 = lean_ctor_get(x_1, 1); lean_inc(x_6); -x_7 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_7 = l_Lean_Elab_Term_elabIf___closed__9; x_8 = lean_name_eq(x_5, x_7); if (x_8 == 0) { @@ -11244,7 +11943,7 @@ if (x_14 == 0) { 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_15 = lean_ctor_get(x_13, 0); -x_16 = l_Lean_Elab_Term_expandDbgTrace___closed__16; +x_16 = l_Lean_Elab_Term_elabIf___closed__11; lean_inc(x_15); x_17 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_17, 0, x_15); @@ -11254,7 +11953,7 @@ x_19 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_20 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_20, 0, x_19); lean_ctor_set(x_20, 1, x_18); -x_21 = l_Lean_Elab_Term_expandDbgTrace___closed__23; +x_21 = l_Lean_Elab_Term_elabIf___closed__16; x_22 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_22, 0, x_15); lean_ctor_set(x_22, 1, x_21); @@ -11262,14 +11961,14 @@ x_23 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; x_24 = lean_array_push(x_23, x_20); x_25 = lean_array_push(x_24, x_22); x_26 = lean_array_push(x_25, x_11); -x_27 = l_Lean_Elab_Term_expandDbgTrace___closed__19; +x_27 = l_Lean_Elab_Term_elabIf___closed__14; x_28 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_28, 0, x_27); lean_ctor_set(x_28, 1, x_26); x_29 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_30 = lean_array_push(x_29, x_17); x_31 = lean_array_push(x_30, x_28); -x_32 = l_Lean_Elab_Term_expandDbgTrace___closed__17; +x_32 = l_Lean_Elab_Term_elabIf___closed__12; x_33 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_33, 0, x_32); lean_ctor_set(x_33, 1, x_31); @@ -11286,7 +11985,7 @@ x_36 = lean_ctor_get(x_13, 1); lean_inc(x_36); lean_inc(x_35); lean_dec(x_13); -x_37 = l_Lean_Elab_Term_expandDbgTrace___closed__16; +x_37 = l_Lean_Elab_Term_elabIf___closed__11; lean_inc(x_35); x_38 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_38, 0, x_35); @@ -11296,7 +11995,7 @@ x_40 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_41 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_41, 0, x_40); lean_ctor_set(x_41, 1, x_39); -x_42 = l_Lean_Elab_Term_expandDbgTrace___closed__23; +x_42 = l_Lean_Elab_Term_elabIf___closed__16; x_43 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_43, 0, x_35); lean_ctor_set(x_43, 1, x_42); @@ -11304,14 +12003,14 @@ x_44 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__8; x_45 = lean_array_push(x_44, x_41); x_46 = lean_array_push(x_45, x_43); x_47 = lean_array_push(x_46, x_11); -x_48 = l_Lean_Elab_Term_expandDbgTrace___closed__19; +x_48 = l_Lean_Elab_Term_elabIf___closed__14; x_49 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_49, 0, x_48); lean_ctor_set(x_49, 1, x_47); x_50 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_51 = lean_array_push(x_50, x_38); x_52 = lean_array_push(x_51, x_49); -x_53 = l_Lean_Elab_Term_expandDbgTrace___closed__17; +x_53 = l_Lean_Elab_Term_elabIf___closed__12; x_54 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_54, 0, x_53); lean_ctor_set(x_54, 1, x_52); @@ -11353,7 +12052,7 @@ LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabCDotFunctionAlias_x3f_expandCDotAr _start: { lean_object* x_4; uint8_t x_5; -x_4 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_4 = l_Lean_Elab_Term_elabIf___closed__9; lean_inc(x_1); x_5 = l_Lean_Syntax_isOfKind(x_1, x_4); if (x_5 == 0) @@ -12136,7 +12835,7 @@ if (x_22 == 0) lean_object* x_23; lean_object* x_24; lean_object* x_25; uint8_t x_26; x_23 = lean_ctor_get(x_21, 0); x_24 = lean_ctor_get(x_21, 1); -x_25 = l_Lean_Elab_Term_expandDbgTrace___closed__17; +x_25 = l_Lean_Elab_Term_elabIf___closed__12; lean_inc(x_23); x_26 = l_Lean_Syntax_isOfKind(x_23, x_25); if (x_26 == 0) @@ -12158,7 +12857,7 @@ else lean_object* x_28; lean_object* x_29; lean_object* x_30; uint8_t x_31; x_28 = lean_unsigned_to_nat(1u); x_29 = l_Lean_Syntax_getArg(x_23, x_28); -x_30 = l_Lean_Elab_Term_expandDbgTrace___closed__19; +x_30 = l_Lean_Elab_Term_elabIf___closed__14; lean_inc(x_29); x_31 = l_Lean_Syntax_isOfKind(x_29, x_30); if (x_31 == 0) @@ -12184,7 +12883,7 @@ x_34 = l_Lean_Syntax_getArg(x_29, x_33); x_35 = lean_unsigned_to_nat(2u); x_36 = l_Lean_Syntax_getArg(x_29, x_35); lean_dec(x_29); -x_37 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; +x_37 = l_Lean_Elab_Term_elabIf___closed__1; lean_inc(x_36); x_38 = l_Lean_Syntax_isOfKind(x_36, x_37); if (x_38 == 0) @@ -12496,7 +13195,7 @@ x_99 = lean_ctor_get(x_21, 1); lean_inc(x_99); lean_inc(x_98); lean_dec(x_21); -x_100 = l_Lean_Elab_Term_expandDbgTrace___closed__17; +x_100 = l_Lean_Elab_Term_elabIf___closed__12; lean_inc(x_98); x_101 = l_Lean_Syntax_isOfKind(x_98, x_100); if (x_101 == 0) @@ -12520,7 +13219,7 @@ else lean_object* x_104; lean_object* x_105; lean_object* x_106; uint8_t x_107; x_104 = lean_unsigned_to_nat(1u); x_105 = l_Lean_Syntax_getArg(x_98, x_104); -x_106 = l_Lean_Elab_Term_expandDbgTrace___closed__19; +x_106 = l_Lean_Elab_Term_elabIf___closed__14; lean_inc(x_105); x_107 = l_Lean_Syntax_isOfKind(x_105, x_106); if (x_107 == 0) @@ -12548,7 +13247,7 @@ x_111 = l_Lean_Syntax_getArg(x_105, x_110); x_112 = lean_unsigned_to_nat(2u); x_113 = l_Lean_Syntax_getArg(x_105, x_112); lean_dec(x_105); -x_114 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__1; +x_114 = l_Lean_Elab_Term_elabIf___closed__1; lean_inc(x_113); x_115 = l_Lean_Syntax_isOfKind(x_113, x_114); if (x_115 == 0) @@ -13142,7 +13841,7 @@ LEAN_EXPORT lean_object* l_Lean_Elab_Term_expandParen(lean_object* x_1, lean_obj _start: { lean_object* x_4; uint8_t x_5; -x_4 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_4 = l_Lean_Elab_Term_elabIf___closed__9; lean_inc(x_1); x_5 = l_Lean_Syntax_isOfKind(x_1, x_4); if (x_5 == 0) @@ -13184,20 +13883,20 @@ if (x_17 == 0) { 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; x_18 = lean_ctor_get(x_16, 0); -x_19 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_19 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_18); x_20 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_20, 0, x_18); lean_ctor_set(x_20, 1, x_19); x_21 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_22 = lean_array_push(x_21, x_9); -x_23 = l_Lean_Elab_Term_expandShow___closed__21; +x_23 = l_Lean_Elab_Term_elabIf___closed__17; x_24 = lean_array_push(x_22, x_23); x_25 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_26 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_26, 0, x_25); lean_ctor_set(x_26, 1, x_24); -x_27 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_27 = l_Lean_Elab_Term_elabIf___closed__18; x_28 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_28, 0, x_18); lean_ctor_set(x_28, 1, x_27); @@ -13219,20 +13918,20 @@ x_35 = lean_ctor_get(x_16, 1); lean_inc(x_35); lean_inc(x_34); lean_dec(x_16); -x_36 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_36 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_34); x_37 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_37, 0, x_34); lean_ctor_set(x_37, 1, x_36); x_38 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_39 = lean_array_push(x_38, x_9); -x_40 = l_Lean_Elab_Term_expandShow___closed__21; +x_40 = l_Lean_Elab_Term_elabIf___closed__17; x_41 = lean_array_push(x_39, x_40); x_42 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_43 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_43, 0, x_42); lean_ctor_set(x_43, 1, x_41); -x_44 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_44 = l_Lean_Elab_Term_elabIf___closed__18; x_45 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_45, 0, x_34); lean_ctor_set(x_45, 1, x_44); @@ -13317,20 +14016,20 @@ if (x_70 == 0) { lean_object* x_71; lean_object* x_72; lean_object* x_73; lean_object* x_74; lean_object* x_75; lean_object* x_76; lean_object* x_77; lean_object* x_78; lean_object* x_79; lean_object* x_80; lean_object* x_81; lean_object* x_82; lean_object* x_83; lean_object* x_84; lean_object* x_85; lean_object* x_86; x_71 = lean_ctor_get(x_69, 0); -x_72 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_72 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_71); x_73 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_73, 0, x_71); lean_ctor_set(x_73, 1, x_72); x_74 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_75 = lean_array_push(x_74, x_62); -x_76 = l_Lean_Elab_Term_expandShow___closed__21; +x_76 = l_Lean_Elab_Term_elabIf___closed__17; x_77 = lean_array_push(x_75, x_76); x_78 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_79 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_79, 0, x_78); lean_ctor_set(x_79, 1, x_77); -x_80 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_80 = l_Lean_Elab_Term_elabIf___closed__18; x_81 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_81, 0, x_71); lean_ctor_set(x_81, 1, x_80); @@ -13352,20 +14051,20 @@ x_88 = lean_ctor_get(x_69, 1); lean_inc(x_88); lean_inc(x_87); lean_dec(x_69); -x_89 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_89 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_87); x_90 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_90, 0, x_87); lean_ctor_set(x_90, 1, x_89); x_91 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_92 = lean_array_push(x_91, x_62); -x_93 = l_Lean_Elab_Term_expandShow___closed__21; +x_93 = l_Lean_Elab_Term_elabIf___closed__17; x_94 = lean_array_push(x_92, x_93); x_95 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_96 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_96, 0, x_95); lean_ctor_set(x_96, 1, x_94); -x_97 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_97 = l_Lean_Elab_Term_elabIf___closed__18; x_98 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_98, 0, x_87); lean_ctor_set(x_98, 1, x_97); @@ -13447,20 +14146,20 @@ if (x_120 == 0) { lean_object* x_121; lean_object* x_122; lean_object* x_123; lean_object* x_124; lean_object* x_125; lean_object* x_126; lean_object* x_127; lean_object* x_128; lean_object* x_129; lean_object* x_130; lean_object* x_131; lean_object* x_132; lean_object* x_133; lean_object* x_134; lean_object* x_135; lean_object* x_136; x_121 = lean_ctor_get(x_119, 0); -x_122 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_122 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_121); x_123 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_123, 0, x_121); lean_ctor_set(x_123, 1, x_122); x_124 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_125 = lean_array_push(x_124, x_112); -x_126 = l_Lean_Elab_Term_expandShow___closed__21; +x_126 = l_Lean_Elab_Term_elabIf___closed__17; x_127 = lean_array_push(x_125, x_126); x_128 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_129 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_129, 0, x_128); lean_ctor_set(x_129, 1, x_127); -x_130 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_130 = l_Lean_Elab_Term_elabIf___closed__18; x_131 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_131, 0, x_121); lean_ctor_set(x_131, 1, x_130); @@ -13482,20 +14181,20 @@ x_138 = lean_ctor_get(x_119, 1); lean_inc(x_138); lean_inc(x_137); lean_dec(x_119); -x_139 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_139 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_137); x_140 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_140, 0, x_137); lean_ctor_set(x_140, 1, x_139); x_141 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_142 = lean_array_push(x_141, x_112); -x_143 = l_Lean_Elab_Term_expandShow___closed__21; +x_143 = l_Lean_Elab_Term_elabIf___closed__17; x_144 = lean_array_push(x_142, x_143); x_145 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_146 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_146, 0, x_145); lean_ctor_set(x_146, 1, x_144); -x_147 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_147 = l_Lean_Elab_Term_elabIf___closed__18; x_148 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_148, 0, x_137); lean_ctor_set(x_148, 1, x_147); @@ -13674,20 +14373,20 @@ if (x_187 == 0) { lean_object* x_188; lean_object* x_189; lean_object* x_190; lean_object* x_191; lean_object* x_192; lean_object* x_193; lean_object* x_194; lean_object* x_195; lean_object* x_196; lean_object* x_197; lean_object* x_198; lean_object* x_199; lean_object* x_200; lean_object* x_201; lean_object* x_202; lean_object* x_203; x_188 = lean_ctor_get(x_186, 0); -x_189 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_189 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_188); x_190 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_190, 0, x_188); lean_ctor_set(x_190, 1, x_189); x_191 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_192 = lean_array_push(x_191, x_179); -x_193 = l_Lean_Elab_Term_expandShow___closed__21; +x_193 = l_Lean_Elab_Term_elabIf___closed__17; x_194 = lean_array_push(x_192, x_193); x_195 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_196 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_196, 0, x_195); lean_ctor_set(x_196, 1, x_194); -x_197 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_197 = l_Lean_Elab_Term_elabIf___closed__18; x_198 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_198, 0, x_188); lean_ctor_set(x_198, 1, x_197); @@ -13709,20 +14408,20 @@ x_205 = lean_ctor_get(x_186, 1); lean_inc(x_205); lean_inc(x_204); lean_dec(x_186); -x_206 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_206 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_204); x_207 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_207, 0, x_204); lean_ctor_set(x_207, 1, x_206); x_208 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__10; x_209 = lean_array_push(x_208, x_179); -x_210 = l_Lean_Elab_Term_expandShow___closed__21; +x_210 = l_Lean_Elab_Term_elabIf___closed__17; x_211 = lean_array_push(x_209, x_210); x_212 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_213 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_213, 0, x_212); lean_ctor_set(x_213, 1, x_211); -x_214 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_214 = l_Lean_Elab_Term_elabIf___closed__18; x_215 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_215, 0, x_204); lean_ctor_set(x_215, 1, x_214); @@ -13765,7 +14464,7 @@ x_225 = l_Lean_Syntax_getArg(x_174, x_55); lean_dec(x_174); x_226 = l_Lean_Syntax_getArgs(x_225); lean_dec(x_225); -x_227 = l_Lean_Elab_Term_expandShow___closed__25; +x_227 = l_Lean_Elab_Term_elabIf___closed__15; x_228 = lean_array_push(x_227, x_108); x_229 = l_Lean_Syntax_SepArray_getElems___rarg(x_226); lean_dec(x_226); @@ -13924,12 +14623,12 @@ if (x_262 == 0) { lean_object* x_263; lean_object* x_264; lean_object* x_265; lean_object* x_266; lean_object* x_267; lean_object* x_268; lean_object* x_269; lean_object* x_270; lean_object* x_271; lean_object* x_272; lean_object* x_273; lean_object* x_274; lean_object* x_275; lean_object* x_276; lean_object* x_277; lean_object* x_278; lean_object* x_279; lean_object* x_280; lean_object* x_281; lean_object* x_282; lean_object* x_283; lean_object* x_284; lean_object* x_285; x_263 = lean_ctor_get(x_261, 0); -x_264 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_264 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_263); x_265 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_265, 0, x_263); lean_ctor_set(x_265, 1, x_264); -x_266 = l_Lean_Elab_Term_expandShow___closed__24; +x_266 = l_Lean_Elab_Term_expandShow___closed__23; lean_inc(x_263); x_267 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_267, 0, x_263); @@ -13940,7 +14639,7 @@ x_270 = lean_array_push(x_269, x_250); x_271 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_271, 0, x_175); lean_ctor_set(x_271, 1, x_270); -x_272 = l_Lean_Elab_Term_expandShow___closed__25; +x_272 = l_Lean_Elab_Term_elabIf___closed__15; x_273 = lean_array_push(x_272, x_271); x_274 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_275 = lean_alloc_ctor(1, 2, 0); @@ -13951,7 +14650,7 @@ x_277 = lean_array_push(x_276, x_275); x_278 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_278, 0, x_274); lean_ctor_set(x_278, 1, x_277); -x_279 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_279 = l_Lean_Elab_Term_elabIf___closed__18; x_280 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_280, 0, x_263); lean_ctor_set(x_280, 1, x_279); @@ -13973,12 +14672,12 @@ x_287 = lean_ctor_get(x_261, 1); lean_inc(x_287); lean_inc(x_286); lean_dec(x_261); -x_288 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__9; +x_288 = l_Lean_Elab_Term_elabIf___closed__10; lean_inc(x_286); x_289 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_289, 0, x_286); lean_ctor_set(x_289, 1, x_288); -x_290 = l_Lean_Elab_Term_expandShow___closed__24; +x_290 = l_Lean_Elab_Term_expandShow___closed__23; lean_inc(x_286); x_291 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_291, 0, x_286); @@ -13989,7 +14688,7 @@ x_294 = lean_array_push(x_293, x_250); x_295 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_295, 0, x_175); lean_ctor_set(x_295, 1, x_294); -x_296 = l_Lean_Elab_Term_expandShow___closed__25; +x_296 = l_Lean_Elab_Term_elabIf___closed__15; x_297 = lean_array_push(x_296, x_295); x_298 = l_Lean_Elab_Term_elabAnonymousCtor___lambda__3___closed__3; x_299 = lean_alloc_ctor(1, 2, 0); @@ -14000,7 +14699,7 @@ x_301 = lean_array_push(x_300, x_299); x_302 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_302, 0, x_298); lean_ctor_set(x_302, 1, x_301); -x_303 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15; +x_303 = l_Lean_Elab_Term_elabIf___closed__18; x_304 = lean_alloc_ctor(2, 2, 0); lean_ctor_set(x_304, 0, x_286); lean_ctor_set(x_304, 1, x_303); @@ -14137,7 +14836,7 @@ _start: { lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; x_2 = l_Lean_Elab_macroAttribute; -x_3 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_3 = l_Lean_Elab_Term_elabIf___closed__9; x_4 = l___regBuiltin_Lean_Elab_Term_expandParen___closed__2; x_5 = l___regBuiltin_Lean_Elab_Term_expandParen___closed__3; x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1); @@ -14148,7 +14847,7 @@ LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabParen(lean_object* x_1, lean_objec _start: { lean_object* x_10; uint8_t x_11; -x_10 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_10 = l_Lean_Elab_Term_elabIf___closed__9; lean_inc(x_1); x_11 = l_Lean_Syntax_isOfKind(x_1, x_10); if (x_11 == 0) @@ -14382,7 +15081,7 @@ _start: { lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; x_2 = l_Lean_Elab_Term_termElabAttribute; -x_3 = l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__8; +x_3 = l_Lean_Elab_Term_elabIf___closed__9; x_4 = l___regBuiltin_Lean_Elab_Term_elabParen___closed__2; x_5 = l___regBuiltin_Lean_Elab_Term_elabParen___closed__3; x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1); @@ -14393,7 +15092,7 @@ LEAN_EXPORT lean_object* l_Lean_Elab_Term_elabSubst___lambda__1(lean_object* x_1 _start: { lean_object* x_10; lean_object* x_11; lean_object* x_12; uint8_t x_13; uint8_t x_14; lean_object* x_15; -x_10 = l_Lean_Elab_Term_expandShow___closed__25; +x_10 = l_Lean_Elab_Term_elabIf___closed__15; lean_inc(x_2); x_11 = lean_array_push(x_10, x_2); x_12 = lean_expr_instantiate1(x_1, x_2); @@ -16489,6 +17188,93 @@ lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_elabAnonymousCtor___closed__6 res = l___regBuiltin_Lean_Elab_Term_elabAnonymousCtor(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); +l_Lean_Elab_Term_elabIf___closed__1 = _init_l_Lean_Elab_Term_elabIf___closed__1(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__1); +l_Lean_Elab_Term_elabIf___closed__2 = _init_l_Lean_Elab_Term_elabIf___closed__2(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__2); +l_Lean_Elab_Term_elabIf___closed__3 = _init_l_Lean_Elab_Term_elabIf___closed__3(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__3); +l_Lean_Elab_Term_elabIf___closed__4 = _init_l_Lean_Elab_Term_elabIf___closed__4(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__4); +l_Lean_Elab_Term_elabIf___closed__5 = _init_l_Lean_Elab_Term_elabIf___closed__5(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__5); +l_Lean_Elab_Term_elabIf___closed__6 = _init_l_Lean_Elab_Term_elabIf___closed__6(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__6); +l_Lean_Elab_Term_elabIf___closed__7 = _init_l_Lean_Elab_Term_elabIf___closed__7(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__7); +l_Lean_Elab_Term_elabIf___closed__8 = _init_l_Lean_Elab_Term_elabIf___closed__8(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__8); +l_Lean_Elab_Term_elabIf___closed__9 = _init_l_Lean_Elab_Term_elabIf___closed__9(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__9); +l_Lean_Elab_Term_elabIf___closed__10 = _init_l_Lean_Elab_Term_elabIf___closed__10(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__10); +l_Lean_Elab_Term_elabIf___closed__11 = _init_l_Lean_Elab_Term_elabIf___closed__11(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__11); +l_Lean_Elab_Term_elabIf___closed__12 = _init_l_Lean_Elab_Term_elabIf___closed__12(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__12); +l_Lean_Elab_Term_elabIf___closed__13 = _init_l_Lean_Elab_Term_elabIf___closed__13(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__13); +l_Lean_Elab_Term_elabIf___closed__14 = _init_l_Lean_Elab_Term_elabIf___closed__14(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__14); +l_Lean_Elab_Term_elabIf___closed__15 = _init_l_Lean_Elab_Term_elabIf___closed__15(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__15); +l_Lean_Elab_Term_elabIf___closed__16 = _init_l_Lean_Elab_Term_elabIf___closed__16(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__16); +l_Lean_Elab_Term_elabIf___closed__17 = _init_l_Lean_Elab_Term_elabIf___closed__17(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__17); +l_Lean_Elab_Term_elabIf___closed__18 = _init_l_Lean_Elab_Term_elabIf___closed__18(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__18); +l_Lean_Elab_Term_elabIf___closed__19 = _init_l_Lean_Elab_Term_elabIf___closed__19(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__19); +l_Lean_Elab_Term_elabIf___closed__20 = _init_l_Lean_Elab_Term_elabIf___closed__20(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__20); +l_Lean_Elab_Term_elabIf___closed__21 = _init_l_Lean_Elab_Term_elabIf___closed__21(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__21); +l_Lean_Elab_Term_elabIf___closed__22 = _init_l_Lean_Elab_Term_elabIf___closed__22(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__22); +l_Lean_Elab_Term_elabIf___closed__23 = _init_l_Lean_Elab_Term_elabIf___closed__23(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__23); +l_Lean_Elab_Term_elabIf___closed__24 = _init_l_Lean_Elab_Term_elabIf___closed__24(); +lean_mark_persistent(l_Lean_Elab_Term_elabIf___closed__24); +l___regBuiltin_Lean_Elab_Term_elabIf___closed__1 = _init_l___regBuiltin_Lean_Elab_Term_elabIf___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_elabIf___closed__1); +l___regBuiltin_Lean_Elab_Term_elabIf___closed__2 = _init_l___regBuiltin_Lean_Elab_Term_elabIf___closed__2(); +lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_elabIf___closed__2); +l___regBuiltin_Lean_Elab_Term_elabIf___closed__3 = _init_l___regBuiltin_Lean_Elab_Term_elabIf___closed__3(); +lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_elabIf___closed__3); +l___regBuiltin_Lean_Elab_Term_elabIf___closed__4 = _init_l___regBuiltin_Lean_Elab_Term_elabIf___closed__4(); +lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_elabIf___closed__4); +l___regBuiltin_Lean_Elab_Term_elabIf___closed__5 = _init_l___regBuiltin_Lean_Elab_Term_elabIf___closed__5(); +lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_elabIf___closed__5); +res = l___regBuiltin_Lean_Elab_Term_elabIf(lean_io_mk_world()); +if (lean_io_result_is_error(res)) return res; +lean_dec_ref(res); +l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__1 = _init_l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__1); +l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__2 = _init_l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__2(); +lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__2); +l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__3 = _init_l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__3(); +lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__3); +l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__4 = _init_l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__4(); +lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__4); +l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__5 = _init_l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__5(); +lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_elabIfOld1___closed__5); +res = l___regBuiltin_Lean_Elab_Term_elabIfOld1(lean_io_mk_world()); +if (lean_io_result_is_error(res)) return res; +lean_dec_ref(res); +l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__1 = _init_l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__1); +l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__2 = _init_l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__2(); +lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__2); +l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__3 = _init_l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__3(); +lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__3); +l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__4 = _init_l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__4(); +lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__4); +l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__5 = _init_l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__5(); +lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_elabIfOld2___closed__5); +res = l___regBuiltin_Lean_Elab_Term_elabIfOld2(lean_io_mk_world()); +if (lean_io_result_is_error(res)) return res; +lean_dec_ref(res); l_Lean_Elab_Term_elabBorrowed___closed__1 = _init_l_Lean_Elab_Term_elabBorrowed___closed__1(); lean_mark_persistent(l_Lean_Elab_Term_elabBorrowed___closed__1); l_Lean_Elab_Term_elabBorrowed___closed__2 = _init_l_Lean_Elab_Term_elabBorrowed___closed__2(); @@ -16556,10 +17342,6 @@ l_Lean_Elab_Term_expandShow___closed__26 = _init_l_Lean_Elab_Term_expandShow___c lean_mark_persistent(l_Lean_Elab_Term_expandShow___closed__26); l_Lean_Elab_Term_expandShow___closed__27 = _init_l_Lean_Elab_Term_expandShow___closed__27(); lean_mark_persistent(l_Lean_Elab_Term_expandShow___closed__27); -l_Lean_Elab_Term_expandShow___closed__28 = _init_l_Lean_Elab_Term_expandShow___closed__28(); -lean_mark_persistent(l_Lean_Elab_Term_expandShow___closed__28); -l_Lean_Elab_Term_expandShow___closed__29 = _init_l_Lean_Elab_Term_expandShow___closed__29(); -lean_mark_persistent(l_Lean_Elab_Term_expandShow___closed__29); l___regBuiltin_Lean_Elab_Term_expandShow___closed__1 = _init_l___regBuiltin_Lean_Elab_Term_expandShow___closed__1(); lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_expandShow___closed__1); l___regBuiltin_Lean_Elab_Term_expandShow___closed__2 = _init_l___regBuiltin_Lean_Elab_Term_expandShow___closed__2(); @@ -16655,16 +17437,6 @@ l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lam lean_mark_persistent(l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__14); l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15 = _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15(); lean_mark_persistent(l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__15); -l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__16 = _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__16(); -lean_mark_persistent(l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__16); -l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__17 = _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__17(); -lean_mark_persistent(l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__17); -l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__18 = _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__18(); -lean_mark_persistent(l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__18); -l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__19 = _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__19(); -lean_mark_persistent(l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__19); -l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__20 = _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__20(); -lean_mark_persistent(l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___lambda__1___closed__20); l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__1 = _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__1(); lean_mark_persistent(l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__1); l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__2 = _init_l___private_Lean_Elab_BuiltinNotation_0__Lean_Elab_Term_elabParserMacroAux___closed__2(); @@ -16843,12 +17615,6 @@ l_Lean_Elab_Term_expandAssert___closed__7 = _init_l_Lean_Elab_Term_expandAssert_ lean_mark_persistent(l_Lean_Elab_Term_expandAssert___closed__7); l_Lean_Elab_Term_expandAssert___closed__8 = _init_l_Lean_Elab_Term_expandAssert___closed__8(); lean_mark_persistent(l_Lean_Elab_Term_expandAssert___closed__8); -l_Lean_Elab_Term_expandAssert___closed__9 = _init_l_Lean_Elab_Term_expandAssert___closed__9(); -lean_mark_persistent(l_Lean_Elab_Term_expandAssert___closed__9); -l_Lean_Elab_Term_expandAssert___closed__10 = _init_l_Lean_Elab_Term_expandAssert___closed__10(); -lean_mark_persistent(l_Lean_Elab_Term_expandAssert___closed__10); -l_Lean_Elab_Term_expandAssert___closed__11 = _init_l_Lean_Elab_Term_expandAssert___closed__11(); -lean_mark_persistent(l_Lean_Elab_Term_expandAssert___closed__11); l___regBuiltin_Lean_Elab_Term_expandAssert___closed__1 = _init_l___regBuiltin_Lean_Elab_Term_expandAssert___closed__1(); lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_expandAssert___closed__1); l___regBuiltin_Lean_Elab_Term_expandAssert___closed__2 = _init_l___regBuiltin_Lean_Elab_Term_expandAssert___closed__2(); @@ -16904,16 +17670,6 @@ l_Lean_Elab_Term_expandDbgTrace___closed__20 = _init_l_Lean_Elab_Term_expandDbgT lean_mark_persistent(l_Lean_Elab_Term_expandDbgTrace___closed__20); l_Lean_Elab_Term_expandDbgTrace___closed__21 = _init_l_Lean_Elab_Term_expandDbgTrace___closed__21(); lean_mark_persistent(l_Lean_Elab_Term_expandDbgTrace___closed__21); -l_Lean_Elab_Term_expandDbgTrace___closed__22 = _init_l_Lean_Elab_Term_expandDbgTrace___closed__22(); -lean_mark_persistent(l_Lean_Elab_Term_expandDbgTrace___closed__22); -l_Lean_Elab_Term_expandDbgTrace___closed__23 = _init_l_Lean_Elab_Term_expandDbgTrace___closed__23(); -lean_mark_persistent(l_Lean_Elab_Term_expandDbgTrace___closed__23); -l_Lean_Elab_Term_expandDbgTrace___closed__24 = _init_l_Lean_Elab_Term_expandDbgTrace___closed__24(); -lean_mark_persistent(l_Lean_Elab_Term_expandDbgTrace___closed__24); -l_Lean_Elab_Term_expandDbgTrace___closed__25 = _init_l_Lean_Elab_Term_expandDbgTrace___closed__25(); -lean_mark_persistent(l_Lean_Elab_Term_expandDbgTrace___closed__25); -l_Lean_Elab_Term_expandDbgTrace___closed__26 = _init_l_Lean_Elab_Term_expandDbgTrace___closed__26(); -lean_mark_persistent(l_Lean_Elab_Term_expandDbgTrace___closed__26); l___regBuiltin_Lean_Elab_Term_expandDbgTrace___closed__1 = _init_l___regBuiltin_Lean_Elab_Term_expandDbgTrace___closed__1(); lean_mark_persistent(l___regBuiltin_Lean_Elab_Term_expandDbgTrace___closed__1); l___regBuiltin_Lean_Elab_Term_expandDbgTrace___closed__2 = _init_l___regBuiltin_Lean_Elab_Term_expandDbgTrace___closed__2();