chore: update stage0
This commit is contained in:
Leonardo de Moura
parent
dfc88ef99f
commit
0b1fde64ee
11 changed files with 26195 additions and 5204 deletions
7
stage0/src/Lean/Meta/ExprDefEq.lean
generated
7
stage0/src/Lean/Meta/ExprDefEq.lean
generated
|
|
@ -166,7 +166,7 @@ private partial def isDefEqArgsFirstPass
|
|||
(paramInfo : Array ParamInfo) (args₁ args₂ : Array Expr) : MetaM (Option (Array Nat)) := do
|
||||
let rec loop (i : Nat) (postponed : Array Nat) := do
|
||||
if h : i < paramInfo.size then
|
||||
let info := paramInfo.get ⟨i, h⟩
|
||||
let info := paramInfo[i]
|
||||
let a₁ := args₁[i]!
|
||||
let a₂ := args₂[i]!
|
||||
if !info.isExplicit then
|
||||
|
|
@ -197,8 +197,9 @@ private partial def isDefEqArgs (f : Expr) (args₁ args₂ : Array Expr) : Meta
|
|||
let (some postponed) ← isDefEqArgsFirstPass finfo.paramInfo args₁ args₂ | pure false
|
||||
let rec processOtherArgs (i : Nat) : MetaM Bool := do
|
||||
if h₁ : i < args₁.size then
|
||||
let a₁ := args₁.get ⟨i, h₁⟩
|
||||
let a₂ := args₂.get ⟨i, Eq.subst h h₁⟩
|
||||
let a₁ := args₁[i]
|
||||
have : i < args₂.size := h ▸ h₁
|
||||
let a₂ := args₂[i]
|
||||
if (← Meta.isExprDefEqAux a₁ a₂) then
|
||||
processOtherArgs (i+1)
|
||||
else
|
||||
|
|
|
|||
58
stage0/stdlib/Lean/Meta/ExprDefEq.c
generated
58
stage0/stdlib/Lean/Meta/ExprDefEq.c
generated
|
|
@ -21,6 +21,7 @@ LEAN_EXPORT lean_object* l___private_Lean_MetavarContext_0__Lean_DependsOn_dep_v
|
|||
static lean_object* l___private_Lean_Meta_ExprDefEq_0__Lean_Meta_unstuckMVar___closed__11;
|
||||
LEAN_EXPORT lean_object* l_Lean_LocalContext_foldlM___at_Lean_Meta_CheckAssignment_checkMVar___spec__51(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_Std_PersistentArray_anyMAux___at_Lean_Meta_CheckAssignment_checkMVar___spec__47___boxed(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4280____closed__2;
|
||||
lean_object* l_Lean_Meta_getResetPostponed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* lean_expr_update_forall(lean_object*, uint8_t, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Meta_mkAuxMVar___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -33,6 +34,7 @@ LEAN_EXPORT lean_object* l_Std_PersistentHashMap_findAux___at___private_Lean_Met
|
|||
LEAN_EXPORT lean_object* l_List_elem___at___private_Lean_Meta_ExprDefEq_0__Lean_Meta_mkLambdaFVarsWithLetDeps_collectLetDeclsFrom_visit___spec__2___boxed(lean_object*, lean_object*);
|
||||
static lean_object* l___private_Lean_Meta_ExprDefEq_0__Lean_Meta_processAssignmentFOApprox_loop___closed__2;
|
||||
LEAN_EXPORT uint8_t l_Array_anyMUnsafe_any___at_Lean_Meta_CheckAssignment_checkApp___spec__4(lean_object*, size_t, size_t);
|
||||
static lean_object* l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4280____closed__1;
|
||||
static lean_object* l_Lean_addTrace___at_Lean_Meta_CheckAssignment_checkFVar___spec__2___closed__5;
|
||||
static lean_object* l_Std_Range_forIn_loop___at___private_Lean_Meta_ExprDefEq_0__Lean_Meta_isDefEqEtaStruct_go___spec__1___lambda__2___closed__1;
|
||||
size_t lean_usize_add(size_t, size_t);
|
||||
|
|
@ -80,8 +82,8 @@ static lean_object* l_Std_Range_forIn_loop___at___private_Lean_Meta_ExprDefEq_0_
|
|||
static lean_object* l_Std_Range_forIn_loop___at___private_Lean_Meta_ExprDefEq_0__Lean_Meta_isDefEqEtaStruct_go___spec__1___closed__13;
|
||||
LEAN_EXPORT uint8_t l_Std_PersistentArray_anyMAux___at_Lean_Meta_CheckAssignment_checkMVar___spec__31(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Lean_Meta_ExprDefEq_0__Lean_Meta_unfoldBothDefEq(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4148_(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4165_(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4297_(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4280_(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Std_Range_forIn_loop___at___private_Lean_Meta_ExprDefEq_0__Lean_Meta_isDefEqEtaStruct_go___spec__1___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
uint8_t lean_usize_dec_eq(size_t, size_t);
|
||||
lean_object* lean_array_uget(lean_object*, size_t);
|
||||
|
|
@ -315,6 +317,7 @@ LEAN_EXPORT lean_object* l_Array_anyMUnsafe_any___at_Lean_Meta_CheckAssignment_c
|
|||
LEAN_EXPORT lean_object* l_Lean_Meta_checkpointDefEq___at___private_Lean_Meta_ExprDefEq_0__Lean_Meta_isDefEqQuickMVarMVar___spec__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Lean_Meta_ExprDefEq_0__Lean_Meta_expandDelayedAssigned_x3f___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Meta_CheckAssignment_check___closed__14;
|
||||
static lean_object* l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4297____closed__1;
|
||||
LEAN_EXPORT lean_object* l_Std_HashSetImp_expand___at___private_Lean_Meta_ExprDefEq_0__Lean_Meta_mkLambdaFVarsWithLetDeps_collectLetDeclsFrom_visit___spec__3(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Lean_Meta_ExprDefEq_0__Lean_Meta_expandDelayedAssigned_x3f___lambda__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Meta_isDefEqBindingDomain_loop(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -338,8 +341,8 @@ LEAN_EXPORT lean_object* l___private_Lean_Meta_ExprDefEq_0__Lean_Meta_processAss
|
|||
lean_object* l_StateRefT_x27_lift(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* l_Lean_Expr_mvar___override(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Meta_CheckAssignment_checkMVar___spec__60(lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4148____closed__2;
|
||||
static lean_object* l_Lean_Meta_isExprDefEqAuxImpl___lambda__2___closed__21;
|
||||
static lean_object* l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4297____closed__2;
|
||||
LEAN_EXPORT lean_object* l_Std_Range_forIn_loop___at___private_Lean_Meta_ExprDefEq_0__Lean_Meta_mkLambdaFVarsWithLetDeps_addLetDeps___spec__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*);
|
||||
LEAN_EXPORT lean_object* l___private_Lean_Meta_ExprDefEq_0__Lean_Meta_isDefEqProj_isDefEqSingleton___lambda__2(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_st_ref_take(lean_object*, lean_object*);
|
||||
|
|
@ -452,7 +455,6 @@ uint64_t l_Lean_Expr_hash(lean_object*);
|
|||
LEAN_EXPORT lean_object* l_Lean_Meta_checkpointDefEq___at___private_Lean_Meta_ExprDefEq_0__Lean_Meta_isDefEqEtaStruct_go___spec__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*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Lean_MetavarContext_0__Lean_DependsOn_dep_visitApp___at_Lean_Meta_CheckAssignment_checkMVar___spec__5___boxed(lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l___private_Lean_Meta_ExprDefEq_0__Lean_Meta_unstuckMVar___closed__3;
|
||||
static lean_object* l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4148____closed__1;
|
||||
LEAN_EXPORT lean_object* l___private_Std_Data_PersistentArray_0__Std_PersistentArray_foldlMAux___at_Lean_Meta_CheckAssignment_checkMVar___spec__54(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_Meta_CheckAssignment_checkMVar___closed__3;
|
||||
lean_object* l_Std_HashMapImp_find_x3f___at_Lean_instantiateExprMVars___spec__1(lean_object*, lean_object*);
|
||||
|
|
@ -736,7 +738,7 @@ lean_object* l_Lean_addMessageContextFull___at_Lean_Meta_instAddMessageContextMe
|
|||
LEAN_EXPORT lean_object* l___private_Std_Data_PersistentArray_0__Std_PersistentArray_foldlFromMAux___at_Lean_Meta_CheckAssignment_checkMVar___spec__53(lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Std_PersistentArray_anyM___at_Lean_Meta_CheckAssignment_checkMVar___spec__46___boxed(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Lean_MetavarContext_0__Lean_DependsOn_dep_visitMain___at_Lean_Meta_CheckAssignment_checkMVar___spec__4(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Meta_initFn____x40_Lean_Meta_ExprDefEq___hyg_15529_(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Meta_initFn____x40_Lean_Meta_ExprDefEq___hyg_15661_(lean_object*);
|
||||
lean_object* l_Lean_Expr_app___override(lean_object*, lean_object*);
|
||||
lean_object* lean_expr_update_lambda(lean_object*, uint8_t, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Meta_CheckAssignment_throwCheckAssignmentFailure___rarg___closed__1;
|
||||
|
|
@ -808,7 +810,6 @@ lean_object* l_ReaderT_instMonadReaderT___rarg(lean_object*);
|
|||
LEAN_EXPORT lean_object* l_Lean_isMVarDelayedAssigned___at_Lean_Meta_CheckAssignment_checkApp___spec__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* l_Lean_Meta_reduceNative_x3f(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Lean_Meta_ExprDefEq_0__Lean_Meta_isDefEqQuickOther___lambda__2(uint8_t, uint8_t, lean_object*, lean_object*, lean_object*, uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4165____closed__1;
|
||||
lean_object* l_Lean_Meta_whnfD(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___private_Lean_Meta_ExprDefEq_0__Lean_Meta_expandDelayedAssigned_x3f___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___private_Lean_Meta_ExprDefEq_0__Lean_Meta_isDefEqArgsFirstPass___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -910,7 +911,6 @@ lean_object* l_Std_PersistentHashMap_mkCollisionNode___rarg(lean_object*, lean_o
|
|||
LEAN_EXPORT lean_object* l___private_Lean_MetavarContext_0__Lean_DependsOn_dep_visitMain___at_Lean_Meta_CheckAssignment_checkMVar___spec__44(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Array_anyMUnsafe_any___at_Lean_Meta_CheckAssignment_checkMVar___spec__34___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
uint8_t l_Lean_LocalDecl_isLet(lean_object*);
|
||||
static lean_object* l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4165____closed__2;
|
||||
LEAN_EXPORT lean_object* l___private_Lean_Meta_ExprDefEq_0__Lean_Meta_isAssigned(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_getExprMVarAssignment_x3f___at_Lean_Meta_checkAssignment___spec__4___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
uint8_t lean_nat_dec_lt(lean_object*, lean_object*);
|
||||
|
|
@ -14816,7 +14816,7 @@ lean_dec(x_5);
|
|||
return x_10;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4148____closed__1() {
|
||||
static lean_object* _init_l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4280____closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
|
|
@ -14824,26 +14824,26 @@ x_1 = lean_mk_string_from_bytes("checkAssignment", 15);
|
|||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4148____closed__2() {
|
||||
static lean_object* _init_l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4280____closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = lean_box(0);
|
||||
x_2 = l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4148____closed__1;
|
||||
x_2 = l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4280____closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4148_(lean_object* x_1) {
|
||||
LEAN_EXPORT lean_object* l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4280_(lean_object* x_1) {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_2; lean_object* x_3;
|
||||
x_2 = l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4148____closed__2;
|
||||
x_2 = l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4280____closed__2;
|
||||
x_3 = l_Lean_registerInternalExceptionId(x_2, x_1);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4165____closed__1() {
|
||||
static lean_object* _init_l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4297____closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
|
|
@ -14851,21 +14851,21 @@ x_1 = lean_mk_string_from_bytes("outOfScope", 10);
|
|||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4165____closed__2() {
|
||||
static lean_object* _init_l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4297____closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = lean_box(0);
|
||||
x_2 = l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4165____closed__1;
|
||||
x_2 = l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4297____closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4165_(lean_object* x_1) {
|
||||
LEAN_EXPORT lean_object* l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4297_(lean_object* x_1) {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_2; lean_object* x_3;
|
||||
x_2 = l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4165____closed__2;
|
||||
x_2 = l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4297____closed__2;
|
||||
x_3 = l_Lean_registerInternalExceptionId(x_2, x_1);
|
||||
return x_3;
|
||||
}
|
||||
|
|
@ -83666,7 +83666,7 @@ lean_dec(x_4);
|
|||
return x_10;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l_Lean_Meta_initFn____x40_Lean_Meta_ExprDefEq___hyg_15529_(lean_object* x_1) {
|
||||
LEAN_EXPORT lean_object* l_Lean_Meta_initFn____x40_Lean_Meta_ExprDefEq___hyg_15661_(lean_object* x_1) {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_2; lean_object* x_3;
|
||||
|
|
@ -84032,20 +84032,20 @@ l___private_Lean_Meta_ExprDefEq_0__Lean_Meta_mkLambdaFVarsWithLetDeps_hasLetDecl
|
|||
lean_mark_persistent(l___private_Lean_Meta_ExprDefEq_0__Lean_Meta_mkLambdaFVarsWithLetDeps_hasLetDeclsInBetween___closed__2);
|
||||
l___private_Lean_Meta_ExprDefEq_0__Lean_Meta_mkLambdaFVarsWithLetDeps_collectLetDeclsFrom___closed__1 = _init_l___private_Lean_Meta_ExprDefEq_0__Lean_Meta_mkLambdaFVarsWithLetDeps_collectLetDeclsFrom___closed__1();
|
||||
lean_mark_persistent(l___private_Lean_Meta_ExprDefEq_0__Lean_Meta_mkLambdaFVarsWithLetDeps_collectLetDeclsFrom___closed__1);
|
||||
l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4148____closed__1 = _init_l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4148____closed__1();
|
||||
lean_mark_persistent(l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4148____closed__1);
|
||||
l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4148____closed__2 = _init_l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4148____closed__2();
|
||||
lean_mark_persistent(l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4148____closed__2);
|
||||
if (builtin) {res = l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4148_(lean_io_mk_world());
|
||||
l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4280____closed__1 = _init_l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4280____closed__1();
|
||||
lean_mark_persistent(l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4280____closed__1);
|
||||
l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4280____closed__2 = _init_l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4280____closed__2();
|
||||
lean_mark_persistent(l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4280____closed__2);
|
||||
if (builtin) {res = l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4280_(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
l_Lean_Meta_CheckAssignment_checkAssignmentExceptionId = lean_io_result_get_value(res);
|
||||
lean_mark_persistent(l_Lean_Meta_CheckAssignment_checkAssignmentExceptionId);
|
||||
lean_dec_ref(res);
|
||||
}l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4165____closed__1 = _init_l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4165____closed__1();
|
||||
lean_mark_persistent(l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4165____closed__1);
|
||||
l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4165____closed__2 = _init_l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4165____closed__2();
|
||||
lean_mark_persistent(l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4165____closed__2);
|
||||
if (builtin) {res = l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4165_(lean_io_mk_world());
|
||||
}l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4297____closed__1 = _init_l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4297____closed__1();
|
||||
lean_mark_persistent(l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4297____closed__1);
|
||||
l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4297____closed__2 = _init_l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4297____closed__2();
|
||||
lean_mark_persistent(l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4297____closed__2);
|
||||
if (builtin) {res = l_Lean_Meta_CheckAssignment_initFn____x40_Lean_Meta_ExprDefEq___hyg_4297_(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
l_Lean_Meta_CheckAssignment_outOfScopeExceptionId = lean_io_result_get_value(res);
|
||||
lean_mark_persistent(l_Lean_Meta_CheckAssignment_outOfScopeExceptionId);
|
||||
|
|
@ -84306,7 +84306,7 @@ l_Lean_Meta_isExprDefEqAuxImpl___closed__1 = _init_l_Lean_Meta_isExprDefEqAuxImp
|
|||
lean_mark_persistent(l_Lean_Meta_isExprDefEqAuxImpl___closed__1);
|
||||
l_Lean_Meta_isExprDefEqAuxImpl___closed__2 = _init_l_Lean_Meta_isExprDefEqAuxImpl___closed__2();
|
||||
lean_mark_persistent(l_Lean_Meta_isExprDefEqAuxImpl___closed__2);
|
||||
res = l_Lean_Meta_initFn____x40_Lean_Meta_ExprDefEq___hyg_15529_(lean_io_mk_world());
|
||||
res = l_Lean_Meta_initFn____x40_Lean_Meta_ExprDefEq___hyg_15661_(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
return lean_io_result_mk_ok(lean_box(0));
|
||||
|
|
|
|||
849
stage0/stdlib/Lean/Parser/Attr.c
generated
849
stage0/stdlib/Lean/Parser/Attr.c
generated
File diff suppressed because it is too large
Load diff
9529
stage0/stdlib/Lean/Parser/Command.c
generated
9529
stage0/stdlib/Lean/Parser/Command.c
generated
File diff suppressed because it is too large
Load diff
4039
stage0/stdlib/Lean/Parser/Do.c
generated
4039
stage0/stdlib/Lean/Parser/Do.c
generated
File diff suppressed because it is too large
Load diff
726
stage0/stdlib/Lean/Parser/Extra.c
generated
726
stage0/stdlib/Lean/Parser/Extra.c
generated
File diff suppressed because it is too large
Load diff
447
stage0/stdlib/Lean/Parser/Level.c
generated
447
stage0/stdlib/Lean/Parser/Level.c
generated
|
|
@ -44,6 +44,7 @@ static lean_object* l_Lean_Parser_Level_max___elambda__1___closed__6;
|
|||
static lean_object* l_Lean_Parser_Level_addLit_parenthesizer___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_hole_declRange___closed__5;
|
||||
static lean_object* l_Lean_Parser_Level_max_parenthesizer___closed__2;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_max_parenthesizer___closed__2;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_imax_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Level_imax___elambda__1___closed__11;
|
||||
lean_object* l_Lean_Parser_symbol_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -59,11 +60,14 @@ static lean_object* l_Lean_Parser_Level_imax_formatter___closed__1;
|
|||
static lean_object* l___regBuiltin_Lean_Parser_Level_imax_declRange___closed__7;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_ident;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_max_declRange___closed__7;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_addLit_formatter___closed__2;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_imax_formatter(lean_object*);
|
||||
static lean_object* l_Lean_Parser_Level_hole_formatter___closed__2;
|
||||
lean_object* l_Lean_PrettyPrinter_Formatter_orelse_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Level_max_formatter___closed__4;
|
||||
extern lean_object* l_Lean_Parser_ident;
|
||||
static lean_object* l_Lean_Parser_Level_paren___elambda__1___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_addLit_parenthesizer___closed__2;
|
||||
static lean_object* l_Lean_Parser_Level_paren_formatter___closed__6;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_imax_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Level_imax___closed__7;
|
||||
|
|
@ -92,7 +96,10 @@ static lean_object* l_Lean_Parser_Level_max___elambda__1___closed__13;
|
|||
static lean_object* l___regBuiltin_Lean_Parser_Level_max_declRange___closed__3;
|
||||
static lean_object* l_Lean_Parser_Level_max_parenthesizer___closed__6;
|
||||
static lean_object* l_Lean_Parser_Level_paren___closed__5;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_paren_formatter(lean_object*);
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_hole_parenthesizer(lean_object*);
|
||||
static lean_object* l_Lean_Parser_Level_hole___elambda__1___closed__8;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_addLit_parenthesizer___closed__1;
|
||||
static lean_object* l_Lean_Parser_Level_paren___closed__3;
|
||||
lean_object* l_Lean_Parser_checkPrecFn___boxed(lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Level_paren___elambda__1___closed__12;
|
||||
|
|
@ -100,9 +107,14 @@ static lean_object* l_Lean_Parser_Level_max___elambda__1___closed__9;
|
|||
static lean_object* l_Lean_Parser_Level_paren___elambda__1___closed__2;
|
||||
static lean_object* l_Lean_Parser_Level_num___closed__1;
|
||||
static lean_object* l_Lean_Parser_Level_paren_formatter___closed__3;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__4;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_max_formatter(lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_imax_formatter___closed__1;
|
||||
lean_object* l_Lean_Parser_mkAntiquot_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* l_Lean_Parser_leadingNode_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Level_imax___closed__3;
|
||||
lean_object* l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__3;
|
||||
static lean_object* l_Lean_Parser_Level_addLit___elambda__1___closed__6;
|
||||
lean_object* l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* l_Lean_PrettyPrinter_Parenthesizer_checkPrec_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -111,6 +123,7 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_paren_declRange(lean_o
|
|||
static lean_object* l___regBuiltin_Lean_Parser_Level_ident_declRange___closed__3;
|
||||
lean_object* l_Lean_Parser_checkPrecFn(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_ident_declRange(lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__2;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_max___elambda__1___lambda__2(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_addLit_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Level_num_parenthesizer___closed__2;
|
||||
|
|
@ -118,7 +131,9 @@ static lean_object* l_Lean_Parser_Level_max___closed__3;
|
|||
lean_object* l_Lean_PrettyPrinter_Formatter_trailingNode_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_hole_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Level_max___elambda__1___closed__4;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_addLit_parenthesizer(lean_object*);
|
||||
uint8_t l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_803____at_Lean_Parser_ParserState_hasError___spec__1(lean_object*, lean_object*);
|
||||
extern lean_object* l_Lean_PrettyPrinter_parenthesizerAttribute;
|
||||
static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Level___hyg_5____closed__3;
|
||||
static lean_object* l_Lean_Parser_Level_imax___elambda__1___closed__4;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_paren___elambda__1(lean_object*, lean_object*);
|
||||
|
|
@ -127,11 +142,13 @@ static lean_object* l_Lean_Parser_Level_max___elambda__1___closed__8;
|
|||
static lean_object* l_Lean_Parser_Level_addLit_formatter___closed__1;
|
||||
static lean_object* l_Lean_Parser_Level_paren___elambda__1___lambda__1___closed__1;
|
||||
static lean_object* l_Lean_Parser_Level_imax___elambda__1___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__3;
|
||||
static lean_object* l_Lean_Parser_Level_ident___closed__3;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_addLit_declRange(lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_num_declRange___closed__1;
|
||||
lean_object* l_Lean_Parser_nonReservedSymbolFnAux(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_imax_declRange(lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__1;
|
||||
lean_object* l_Lean_Parser_nodeInfo(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_addLit___elambda__1(lean_object*, lean_object*);
|
||||
lean_object* l_Lean_Parser_checkLhsPrecFn(lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -140,15 +157,18 @@ static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Level___hyg_5____clo
|
|||
static lean_object* l_Lean_Parser_Level_max_formatter___closed__6;
|
||||
static lean_object* l_Lean_Parser_Level_paren___elambda__1___closed__7;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_ident_declRange___closed__6;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__4;
|
||||
static lean_object* l_Lean_Parser_Level_imax___elambda__1___closed__8;
|
||||
lean_object* l_Lean_Parser_nonReservedSymbolInfo(lean_object*, uint8_t);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_paren;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_imax(lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_addLit_formatter___closed__1;
|
||||
lean_object* l_Lean_PrettyPrinter_Formatter_checkPrec_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Level_addLit___elambda__1___closed__2;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_num_declRange___closed__2;
|
||||
static lean_object* l_Lean_Parser_Level_paren_formatter___closed__7;
|
||||
static lean_object* l_Lean_Parser_Level_paren___closed__10;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__2;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_num___elambda__1(lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_num_declRange___closed__4;
|
||||
lean_object* l_Lean_Parser_many1_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -158,7 +178,9 @@ static lean_object* l_Lean_Parser_Level_max___closed__6;
|
|||
static lean_object* l_Lean_Parser_Level_addLit___elambda__1___closed__1;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_imax;
|
||||
static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Level___hyg_5____closed__4;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_max_parenthesizer___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_paren_declRange___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__1;
|
||||
static lean_object* l_Lean_Parser_Level_max_parenthesizer___closed__8;
|
||||
static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Level___hyg_5____closed__2;
|
||||
static lean_object* l_Lean_Parser_Level_max_formatter___closed__1;
|
||||
|
|
@ -181,7 +203,9 @@ static lean_object* l___regBuiltin_Lean_Parser_Level_paren_declRange___closed__3
|
|||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_paren___elambda__1___lambda__1___boxed(lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Level_max_formatter___closed__2;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_ident_declRange___closed__5;
|
||||
extern lean_object* l_Lean_PrettyPrinter_formatterAttribute;
|
||||
uint32_t lean_string_utf8_get(lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_max_formatter___closed__2;
|
||||
static lean_object* l_Lean_Parser_Level_ident___closed__1;
|
||||
static lean_object* l_Lean_Parser_Level_imax_formatter___closed__4;
|
||||
lean_object* l_Lean_Parser_registerBuiltinParserAttribute(lean_object*, lean_object*, uint8_t, lean_object*);
|
||||
|
|
@ -196,6 +220,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Level_num_declRange___closed__7;
|
|||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_num_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_ident_declRange___closed__1;
|
||||
lean_object* l_Lean_Parser_nonReservedSymbol_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_max_formatter___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_addLit_declRange___closed__7;
|
||||
static lean_object* l_Lean_Parser_Level_paren___closed__4;
|
||||
static lean_object* l_Lean_Parser_Level_paren___elambda__1___closed__18;
|
||||
|
|
@ -219,21 +244,27 @@ static lean_object* l___regBuiltin_Lean_Parser_Level_paren_declRange___closed__4
|
|||
static lean_object* l___regBuiltin_Lean_Parser_Level_hole_declRange___closed__2;
|
||||
static lean_object* l_Lean_Parser_Level_paren___elambda__1___closed__15;
|
||||
static lean_object* l_Lean_Parser_Level_hole___elambda__1___closed__3;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_hole_parenthesizer___closed__2;
|
||||
lean_object* l_Lean_Parser_ident___elambda__1(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Level_max___closed__4;
|
||||
uint8_t lean_uint32_dec_eq(uint32_t, uint32_t);
|
||||
static lean_object* l_Lean_Parser_Level_hole___elambda__1___closed__5;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_addLit_formatter(lean_object*);
|
||||
extern lean_object* l_Lean_Parser_numLit;
|
||||
static lean_object* l_Lean_Parser_Level_max___closed__8;
|
||||
static lean_object* l_Lean_Parser_Level_ident_formatter___closed__1;
|
||||
static lean_object* l_Lean_Parser_Level_paren___elambda__1___closed__3;
|
||||
lean_object* l_Lean_Parser_numLit___elambda__1(lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_imax_formatter___closed__2;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_hole_declRange___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_hole_parenthesizer___closed__1;
|
||||
static lean_object* l_Lean_Parser_Level_paren___elambda__1___closed__20;
|
||||
static lean_object* l_Lean_Parser_Level_hole___closed__6;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_imax_parenthesizer___closed__2;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_max;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_num;
|
||||
lean_object* l_Lean_Parser_categoryParser(lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_imax_parenthesizer___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_ident___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_ident_declRange___closed__2;
|
||||
static lean_object* l_Lean_Parser_Level_max___closed__5;
|
||||
|
|
@ -281,9 +312,12 @@ static lean_object* l_Lean_Parser_Level_imax___closed__5;
|
|||
static lean_object* l_Lean_Parser_Level_addLit___closed__6;
|
||||
static lean_object* l_Lean_Parser_Level_addLit___elambda__1___closed__3;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_num___closed__2;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_max_parenthesizer(lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_addLit_declRange___closed__6;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_num___closed__1;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_max___elambda__1(lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_hole_formatter___closed__2;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_hole_formatter(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Level_paren___elambda__1___lambda__1(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_ident(lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_max_declRange___closed__4;
|
||||
|
|
@ -291,11 +325,13 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Level_addLit;
|
|||
static lean_object* l_Lean_Parser_Level_hole___elambda__1___closed__11;
|
||||
lean_object* l_Lean_Parser_mkAntiquot(lean_object*, lean_object*, uint8_t, uint8_t);
|
||||
static lean_object* l_Lean_Parser_Level_paren___elambda__1___closed__13;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_imax_parenthesizer(lean_object*);
|
||||
static lean_object* l_Lean_Parser_Level_paren_formatter___closed__4;
|
||||
static lean_object* l_Lean_Parser_Level_max___elambda__1___closed__5;
|
||||
static lean_object* l_Lean_Parser_Level_paren_parenthesizer___closed__6;
|
||||
static lean_object* l_Lean_Parser_Level_addLit_formatter___closed__2;
|
||||
static lean_object* l_Lean_Parser_Level_max___elambda__1___closed__7;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_paren_parenthesizer(lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_imax_declRange___closed__6;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_max_declRange___closed__6;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_levelParser_formatter___boxed(lean_object*);
|
||||
|
|
@ -329,6 +365,7 @@ static lean_object* l_Lean_Parser_Level_max_parenthesizer___closed__7;
|
|||
static lean_object* l_Lean_Parser_Level_paren___closed__8;
|
||||
static lean_object* l_Lean_Parser_Level_paren___elambda__1___closed__4;
|
||||
static lean_object* l_Lean_Parser_Level_hole___closed__4;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_hole_formatter___closed__1;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Level___hyg_5_(lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_imax_declRange___closed__4;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Level_addLit_declRange___closed__3;
|
||||
|
|
@ -1225,6 +1262,52 @@ x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_mk_string_from_bytes("formatter", 9);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Level_paren___elambda__1___closed__8;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__3() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = l_Lean_PrettyPrinter_formatterAttribute;
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__4() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Level_paren_formatter), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_paren_formatter(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___regBuiltin_Lean_Parser_Level_paren_formatter___closed__3;
|
||||
x_3 = l_Lean_Parser_Level_paren___elambda__1___closed__8;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__2;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__4;
|
||||
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_Parser_levelParser_parenthesizer(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -1330,6 +1413,52 @@ x_8 = l_Lean_PrettyPrinter_Parenthesizer_withAntiquot_parenthesizer(x_6, x_7, x_
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_mk_string_from_bytes("parenthesizer", 13);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Level_paren___elambda__1___closed__8;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__3() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = l_Lean_PrettyPrinter_parenthesizerAttribute;
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__4() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Level_paren_parenthesizer), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_paren_parenthesizer(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___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__3;
|
||||
x_3 = l_Lean_Parser_Level_paren___elambda__1___closed__8;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__2;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__4;
|
||||
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_Parser_Level_max___elambda__1___lambda__1(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -2016,6 +2145,36 @@ x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_max_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Level_max___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_max_formatter___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Level_max_formatter), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_max_formatter(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___regBuiltin_Lean_Parser_Level_paren_formatter___closed__3;
|
||||
x_3 = l_Lean_Parser_Level_max___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Level_max_formatter___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Level_max_formatter___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Level_max_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -2123,6 +2282,36 @@ x_8 = l_Lean_PrettyPrinter_Parenthesizer_withAntiquot_parenthesizer(x_6, x_7, x_
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_max_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Level_max___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_max_parenthesizer___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Level_max_parenthesizer), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_max_parenthesizer(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___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__3;
|
||||
x_3 = l_Lean_Parser_Level_max___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Level_max_parenthesizer___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Level_max_parenthesizer___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Level_imax___elambda__1___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -2699,6 +2888,36 @@ x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_imax_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Level_imax___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_imax_formatter___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Level_imax_formatter), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_imax_formatter(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___regBuiltin_Lean_Parser_Level_paren_formatter___closed__3;
|
||||
x_3 = l_Lean_Parser_Level_imax___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Level_imax_formatter___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Level_imax_formatter___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Level_imax_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -2766,6 +2985,36 @@ x_8 = l_Lean_PrettyPrinter_Parenthesizer_withAntiquot_parenthesizer(x_6, x_7, x_
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_imax_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Level_imax___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_imax_parenthesizer___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Level_imax_parenthesizer), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_imax_parenthesizer(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___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__3;
|
||||
x_3 = l_Lean_Parser_Level_imax___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Level_imax_parenthesizer___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Level_imax_parenthesizer___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Level_hole___elambda__1___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -3236,6 +3485,36 @@ x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_hole_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Level_hole___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_hole_formatter___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Level_hole_formatter), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_hole_formatter(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___regBuiltin_Lean_Parser_Level_paren_formatter___closed__3;
|
||||
x_3 = l_Lean_Parser_Level_hole___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Level_hole_formatter___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Level_hole_formatter___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Level_hole_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -3288,6 +3567,36 @@ x_8 = l_Lean_PrettyPrinter_Parenthesizer_withAntiquot_parenthesizer(x_6, x_7, x_
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_hole_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Level_hole___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_hole_parenthesizer___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Level_hole_parenthesizer), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_hole_parenthesizer(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___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__3;
|
||||
x_3 = l_Lean_Parser_Level_hole___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Level_hole_parenthesizer___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Level_hole_parenthesizer___closed__2;
|
||||
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_Parser_Level_num___elambda__1(lean_object* x_1, lean_object* x_2) {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -4236,6 +4545,36 @@ x_10 = l_Lean_PrettyPrinter_Formatter_trailingNode_formatter(x_6, x_7, x_8, x_9,
|
|||
return x_10;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_addLit_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Level_addLit___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_addLit_formatter___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Level_addLit_formatter), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_addLit_formatter(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___regBuiltin_Lean_Parser_Level_paren_formatter___closed__3;
|
||||
x_3 = l_Lean_Parser_Level_addLit___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Level_addLit_formatter___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Level_addLit_formatter___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Level_addLit_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -4270,6 +4609,36 @@ x_10 = l_Lean_PrettyPrinter_Parenthesizer_trailingNode_parenthesizer(x_6, x_7, x
|
|||
return x_10;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_addLit_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Level_addLit___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Level_addLit_parenthesizer___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Level_addLit_parenthesizer), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Level_addLit_parenthesizer(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___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__3;
|
||||
x_3 = l_Lean_Parser_Level_addLit___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Level_addLit_parenthesizer___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Level_addLit_parenthesizer___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
lean_object* initialize_Init(uint8_t builtin, lean_object*);
|
||||
lean_object* initialize_Lean_Parser_Extra(uint8_t builtin, lean_object*);
|
||||
static bool _G_initialized = false;
|
||||
|
|
@ -4394,6 +4763,17 @@ l_Lean_Parser_Level_paren_formatter___closed__6 = _init_l_Lean_Parser_Level_pare
|
|||
lean_mark_persistent(l_Lean_Parser_Level_paren_formatter___closed__6);
|
||||
l_Lean_Parser_Level_paren_formatter___closed__7 = _init_l_Lean_Parser_Level_paren_formatter___closed__7();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_paren_formatter___closed__7);
|
||||
l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__2);
|
||||
l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__3 = _init_l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__3();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__3);
|
||||
l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__4 = _init_l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__4();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_paren_formatter___closed__4);
|
||||
res = l___regBuiltin_Lean_Parser_Level_paren_formatter(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Level_paren_parenthesizer___closed__1 = _init_l_Lean_Parser_Level_paren_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_paren_parenthesizer___closed__1);
|
||||
l_Lean_Parser_Level_paren_parenthesizer___closed__2 = _init_l_Lean_Parser_Level_paren_parenthesizer___closed__2();
|
||||
|
|
@ -4408,6 +4788,17 @@ l_Lean_Parser_Level_paren_parenthesizer___closed__6 = _init_l_Lean_Parser_Level_
|
|||
lean_mark_persistent(l_Lean_Parser_Level_paren_parenthesizer___closed__6);
|
||||
l_Lean_Parser_Level_paren_parenthesizer___closed__7 = _init_l_Lean_Parser_Level_paren_parenthesizer___closed__7();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_paren_parenthesizer___closed__7);
|
||||
l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__2);
|
||||
l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__3 = _init_l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__3();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__3);
|
||||
l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__4 = _init_l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__4();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_paren_parenthesizer___closed__4);
|
||||
res = l___regBuiltin_Lean_Parser_Level_paren_parenthesizer(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Level_max___elambda__1___closed__1 = _init_l_Lean_Parser_Level_max___elambda__1___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_max___elambda__1___closed__1);
|
||||
l_Lean_Parser_Level_max___elambda__1___closed__2 = _init_l_Lean_Parser_Level_max___elambda__1___closed__2();
|
||||
|
|
@ -4486,6 +4877,13 @@ l_Lean_Parser_Level_max_formatter___closed__6 = _init_l_Lean_Parser_Level_max_fo
|
|||
lean_mark_persistent(l_Lean_Parser_Level_max_formatter___closed__6);
|
||||
l_Lean_Parser_Level_max_formatter___closed__7 = _init_l_Lean_Parser_Level_max_formatter___closed__7();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_max_formatter___closed__7);
|
||||
l___regBuiltin_Lean_Parser_Level_max_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Level_max_formatter___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_max_formatter___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Level_max_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Level_max_formatter___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_max_formatter___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Level_max_formatter(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Level_max_parenthesizer___closed__1 = _init_l_Lean_Parser_Level_max_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_max_parenthesizer___closed__1);
|
||||
l_Lean_Parser_Level_max_parenthesizer___closed__2 = _init_l_Lean_Parser_Level_max_parenthesizer___closed__2();
|
||||
|
|
@ -4502,6 +4900,13 @@ l_Lean_Parser_Level_max_parenthesizer___closed__7 = _init_l_Lean_Parser_Level_ma
|
|||
lean_mark_persistent(l_Lean_Parser_Level_max_parenthesizer___closed__7);
|
||||
l_Lean_Parser_Level_max_parenthesizer___closed__8 = _init_l_Lean_Parser_Level_max_parenthesizer___closed__8();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_max_parenthesizer___closed__8);
|
||||
l___regBuiltin_Lean_Parser_Level_max_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Level_max_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_max_parenthesizer___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Level_max_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Level_max_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_max_parenthesizer___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Level_max_parenthesizer(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Level_imax___elambda__1___closed__1 = _init_l_Lean_Parser_Level_imax___elambda__1___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_imax___elambda__1___closed__1);
|
||||
l_Lean_Parser_Level_imax___elambda__1___closed__2 = _init_l_Lean_Parser_Level_imax___elambda__1___closed__2();
|
||||
|
|
@ -4570,6 +4975,13 @@ l_Lean_Parser_Level_imax_formatter___closed__3 = _init_l_Lean_Parser_Level_imax_
|
|||
lean_mark_persistent(l_Lean_Parser_Level_imax_formatter___closed__3);
|
||||
l_Lean_Parser_Level_imax_formatter___closed__4 = _init_l_Lean_Parser_Level_imax_formatter___closed__4();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_imax_formatter___closed__4);
|
||||
l___regBuiltin_Lean_Parser_Level_imax_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Level_imax_formatter___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_imax_formatter___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Level_imax_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Level_imax_formatter___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_imax_formatter___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Level_imax_formatter(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Level_imax_parenthesizer___closed__1 = _init_l_Lean_Parser_Level_imax_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_imax_parenthesizer___closed__1);
|
||||
l_Lean_Parser_Level_imax_parenthesizer___closed__2 = _init_l_Lean_Parser_Level_imax_parenthesizer___closed__2();
|
||||
|
|
@ -4578,6 +4990,13 @@ l_Lean_Parser_Level_imax_parenthesizer___closed__3 = _init_l_Lean_Parser_Level_i
|
|||
lean_mark_persistent(l_Lean_Parser_Level_imax_parenthesizer___closed__3);
|
||||
l_Lean_Parser_Level_imax_parenthesizer___closed__4 = _init_l_Lean_Parser_Level_imax_parenthesizer___closed__4();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_imax_parenthesizer___closed__4);
|
||||
l___regBuiltin_Lean_Parser_Level_imax_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Level_imax_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_imax_parenthesizer___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Level_imax_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Level_imax_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_imax_parenthesizer___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Level_imax_parenthesizer(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Level_hole___elambda__1___closed__1 = _init_l_Lean_Parser_Level_hole___elambda__1___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_hole___elambda__1___closed__1);
|
||||
l_Lean_Parser_Level_hole___elambda__1___closed__2 = _init_l_Lean_Parser_Level_hole___elambda__1___closed__2();
|
||||
|
|
@ -4642,12 +5061,26 @@ l_Lean_Parser_Level_hole_formatter___closed__2 = _init_l_Lean_Parser_Level_hole_
|
|||
lean_mark_persistent(l_Lean_Parser_Level_hole_formatter___closed__2);
|
||||
l_Lean_Parser_Level_hole_formatter___closed__3 = _init_l_Lean_Parser_Level_hole_formatter___closed__3();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_hole_formatter___closed__3);
|
||||
l___regBuiltin_Lean_Parser_Level_hole_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Level_hole_formatter___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_hole_formatter___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Level_hole_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Level_hole_formatter___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_hole_formatter___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Level_hole_formatter(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Level_hole_parenthesizer___closed__1 = _init_l_Lean_Parser_Level_hole_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_hole_parenthesizer___closed__1);
|
||||
l_Lean_Parser_Level_hole_parenthesizer___closed__2 = _init_l_Lean_Parser_Level_hole_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_hole_parenthesizer___closed__2);
|
||||
l_Lean_Parser_Level_hole_parenthesizer___closed__3 = _init_l_Lean_Parser_Level_hole_parenthesizer___closed__3();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_hole_parenthesizer___closed__3);
|
||||
l___regBuiltin_Lean_Parser_Level_hole_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Level_hole_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_hole_parenthesizer___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Level_hole_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Level_hole_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_hole_parenthesizer___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Level_hole_parenthesizer(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Level_num___closed__1 = _init_l_Lean_Parser_Level_num___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_num___closed__1);
|
||||
l_Lean_Parser_Level_num___closed__2 = _init_l_Lean_Parser_Level_num___closed__2();
|
||||
|
|
@ -4778,10 +5211,24 @@ l_Lean_Parser_Level_addLit_formatter___closed__1 = _init_l_Lean_Parser_Level_add
|
|||
lean_mark_persistent(l_Lean_Parser_Level_addLit_formatter___closed__1);
|
||||
l_Lean_Parser_Level_addLit_formatter___closed__2 = _init_l_Lean_Parser_Level_addLit_formatter___closed__2();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_addLit_formatter___closed__2);
|
||||
l___regBuiltin_Lean_Parser_Level_addLit_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Level_addLit_formatter___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_addLit_formatter___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Level_addLit_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Level_addLit_formatter___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_addLit_formatter___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Level_addLit_formatter(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Level_addLit_parenthesizer___closed__1 = _init_l_Lean_Parser_Level_addLit_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_addLit_parenthesizer___closed__1);
|
||||
l_Lean_Parser_Level_addLit_parenthesizer___closed__2 = _init_l_Lean_Parser_Level_addLit_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l_Lean_Parser_Level_addLit_parenthesizer___closed__2);
|
||||
l___regBuiltin_Lean_Parser_Level_addLit_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Level_addLit_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_addLit_parenthesizer___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Level_addLit_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Level_addLit_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_addLit_parenthesizer___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Level_addLit_parenthesizer(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
return lean_io_result_mk_ok(lean_box(0));
|
||||
}
|
||||
#ifdef __cplusplus
|
||||
|
|
|
|||
581
stage0/stdlib/Lean/Parser/Module.c
generated
581
stage0/stdlib/Lean/Parser/Module.c
generated
|
|
@ -14,11 +14,12 @@
|
|||
extern "C" {
|
||||
#endif
|
||||
static lean_object* l_Lean_Parser_parseHeader___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__2;
|
||||
lean_object* l_String_csize(uint32_t);
|
||||
static lean_object* l_Lean_Parser_Module_import___elambda__1___closed__5;
|
||||
static lean_object* l_Lean_Parser_Module_import___elambda__1___closed__15;
|
||||
static lean_object* l_Lean_Parser_Module_header___elambda__1___closed__14;
|
||||
static lean_object* l_Lean_Parser_Module_header_parenthesizer___closed__10;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_module_formatter___closed__2;
|
||||
static lean_object* l_Lean_Parser_Module_module_parenthesizer___closed__6;
|
||||
static lean_object* l_Lean_Parser_Module_module_formatter___closed__2;
|
||||
static lean_object* l_Lean_Parser_Module_module___closed__5;
|
||||
|
|
@ -55,7 +56,9 @@ static lean_object* l_Lean_Parser_Module_updateTokens___closed__4;
|
|||
static lean_object* l_Lean_Parser_Module_header___elambda__1___closed__12;
|
||||
static lean_object* l___private_Lean_Parser_Module_0__Lean_Parser_mkEOI___closed__2;
|
||||
lean_object* l_Lean_Parser_symbol_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Module_module_parenthesizer(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Parser_testParseModuleAux_parse___spec__4(lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_module_parenthesizer___closed__1;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Module_module_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_header_parenthesizer___closed__7;
|
||||
static lean_object* l_Lean_Parser_Module_import_parenthesizer___closed__5;
|
||||
|
|
@ -93,6 +96,7 @@ static lean_object* l_Lean_Parser_Module_prelude___elambda__1___closed__1;
|
|||
static lean_object* l_Lean_Parser_Module_prelude_formatter___closed__1;
|
||||
static lean_object* l_Lean_Parser_Module_module_parenthesizer___closed__1;
|
||||
lean_object* lean_string_append(lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__3;
|
||||
LEAN_EXPORT lean_object* l_panic___at_Lean_Parser_Module_updateTokens___spec__1(lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_import_formatter___closed__8;
|
||||
lean_object* l_Lean_Parser_tokenFn(lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -102,8 +106,10 @@ static lean_object* l_Lean_Parser_Module_import___closed__9;
|
|||
static lean_object* l_Lean_Parser_Module_prelude___elambda__1___closed__12;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_isExitCommand___boxed(lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_import___elambda__1___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_module_formatter___closed__1;
|
||||
static lean_object* l_Lean_Parser_Module_header___elambda__1___closed__3;
|
||||
static lean_object* l_Lean_Parser_Module_module_formatter___closed__8;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_import_formatter___closed__1;
|
||||
lean_object* l_Lean_Parser_checkPrecFn___boxed(lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Module_import_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_header_formatter___closed__6;
|
||||
|
|
@ -115,9 +121,11 @@ lean_object* l_Lean_Parser_leadingNode_formatter___boxed(lean_object*, lean_obje
|
|||
LEAN_EXPORT uint8_t l_Lean_Parser_ModuleParserState_recovering___default;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Module_prelude_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_prelude___closed__7;
|
||||
lean_object* l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_import_parenthesizer___closed__3;
|
||||
lean_object* l_Lean_Parser_many_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_import_formatter___closed__2;
|
||||
static lean_object* l_Lean_Parser_Module_import_formatter___closed__4;
|
||||
static lean_object* l_Lean_Parser_Module_header___elambda__1___closed__4;
|
||||
lean_object* l_Lean_Parser_optional_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -131,10 +139,11 @@ static lean_object* l_Lean_Parser_Module_module___closed__4;
|
|||
lean_object* l_Lean_Parser_optional(lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_module_parenthesizer___closed__7;
|
||||
static lean_object* l_Lean_Parser_Module_prelude_parenthesizer___closed__3;
|
||||
static lean_object* l_Lean_Parser_Module_module_parenthesizer___closed__8;
|
||||
static lean_object* l_Lean_Parser_Module_header___elambda__1___closed__1;
|
||||
static lean_object* l_Lean_Parser_Module_module___elambda__1___closed__8;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer(lean_object*);
|
||||
uint8_t l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_803____at_Lean_Parser_ParserState_hasError___spec__1(lean_object*, lean_object*);
|
||||
extern lean_object* l_Lean_PrettyPrinter_parenthesizerAttribute;
|
||||
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Parser_testParseModuleAux_parse___spec__4___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_import_parenthesizer___closed__1;
|
||||
lean_object* l_Lean_Parser_initCacheForInput(lean_object*);
|
||||
|
|
@ -147,11 +156,12 @@ static lean_object* l_Lean_Parser_testParseModuleAux_parse___closed__2;
|
|||
static lean_object* l_Lean_Parser_Module_header___elambda__1___closed__2;
|
||||
uint8_t lean_nat_dec_eq(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Parser_testParseModuleAux_parse___spec__5(lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_header_parenthesizer___closed__2;
|
||||
static lean_object* l_Lean_Parser_Module_prelude___elambda__1___closed__13;
|
||||
static lean_object* l_Lean_Parser_Module_header_formatter___closed__11;
|
||||
static lean_object* l_Lean_Parser_Module_header___closed__2;
|
||||
static lean_object* l_Lean_Parser_Module_import___elambda__1___closed__8;
|
||||
lean_object* l_Lean_Parser_nodeInfo(lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_header_parenthesizer___closed__1;
|
||||
static lean_object* l_Lean_Parser_Module_import___elambda__1___closed__17;
|
||||
static lean_object* l_Lean_Parser_Module_module___closed__6;
|
||||
static lean_object* l_Lean_Parser_Module_header_parenthesizer___closed__6;
|
||||
|
|
@ -164,10 +174,12 @@ static lean_object* l_Lean_Parser_Module_header___closed__1;
|
|||
LEAN_EXPORT lean_object* l_Lean_Loop_forIn_loop___at_Lean_Parser_parseCommand___spec__1___lambda__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, uint8_t, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_import_parenthesizer___closed__8;
|
||||
static lean_object* l___private_Lean_Parser_Module_0__Lean_Parser_mkEOI___closed__3;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Module_prelude_formatter(lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_module___elambda__1___closed__13;
|
||||
static lean_object* l___private_Lean_Parser_Module_0__Lean_Parser_mkErrorMessage___closed__1;
|
||||
static lean_object* l_Lean_Parser_Module_import_parenthesizer___closed__4;
|
||||
static lean_object* l_Lean_Parser_Module_module___elambda__1___closed__9;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Module_import_formatter(lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_import_parenthesizer___closed__2;
|
||||
static lean_object* l_Lean_Parser_Module_prelude___elambda__1___closed__11;
|
||||
lean_object* l_Lean_Syntax_updateLeading(lean_object*);
|
||||
|
|
@ -191,6 +203,7 @@ lean_object* l_Array_back___rarg(lean_object*, lean_object*);
|
|||
LEAN_EXPORT lean_object* l_Lean_Loop_forIn_loop___at_Lean_Parser_parseCommand___spec__1___lambda__1(uint8_t, lean_object*, lean_object*, lean_object*, uint8_t, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_prelude___elambda__1___closed__7;
|
||||
static lean_object* l___private_Lean_Parser_Module_0__Lean_Parser_mkEOI___closed__5;
|
||||
extern lean_object* l_Lean_PrettyPrinter_formatterAttribute;
|
||||
lean_object* l_Lean_Parser_addParserTokens(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_header_parenthesizer___closed__2;
|
||||
uint32_t lean_string_utf8_get(lean_object*, lean_object*);
|
||||
|
|
@ -206,8 +219,9 @@ uint8_t l_Std_PersistentArray_isEmpty___rarg(lean_object*);
|
|||
extern lean_object* l_Lean_instInhabitedSyntax;
|
||||
static lean_object* l_Lean_Parser_Module_header_parenthesizer___closed__1;
|
||||
static lean_object* l_Lean_Parser_Module_header_formatter___closed__9;
|
||||
static lean_object* l_Lean_Parser_Module_module_formatter___closed__10;
|
||||
lean_object* l_Lean_Parser_whitespace(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Module_header_parenthesizer(lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_import_parenthesizer___closed__2;
|
||||
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Parser_testParseModuleAux_parse___spec__5___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Module_module;
|
||||
static lean_object* l_Lean_Parser_Module_prelude_parenthesizer___closed__1;
|
||||
|
|
@ -239,11 +253,13 @@ lean_object* lean_mk_empty_environment(uint32_t, lean_object*);
|
|||
lean_object* l_Lean_Parser_ident___elambda__1(lean_object*, lean_object*);
|
||||
uint8_t lean_uint32_dec_eq(uint32_t, uint32_t);
|
||||
static lean_object* l_Lean_Parser_Module_header_formatter___closed__2;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_header_formatter___closed__2;
|
||||
lean_object* l_Std_PersistentArray_push___rarg(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_header___elambda__1___closed__7;
|
||||
lean_object* l_Lean_Parser_Error_toString(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_testParseFile(lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_header___elambda__1___closed__10;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Module_header_formatter(lean_object*);
|
||||
static lean_object* l_panic___at_Lean_Parser_Module_updateTokens___spec__1___closed__1;
|
||||
LEAN_EXPORT uint8_t l_Lean_Parser_isExitCommand(lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_module___elambda__1___closed__3;
|
||||
|
|
@ -269,9 +285,10 @@ static lean_object* l_Lean_Parser_Module_module___elambda__1___closed__14;
|
|||
extern lean_object* l_Lean_Parser_epsilonInfo;
|
||||
static lean_object* l_Lean_Parser_Module_header___elambda__1___closed__16;
|
||||
static lean_object* l_Lean_Parser_Module_prelude___elambda__1___closed__6;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Module_module_formatter(lean_object*);
|
||||
lean_object* l_Lean_Parser_categoryParser___elambda__1(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_header_parenthesizer___closed__11;
|
||||
static lean_object* l_Lean_Parser_Module_prelude___closed__2;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__2;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Module_module_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_header___elambda__1___closed__13;
|
||||
lean_object* l_Lean_Parser_ident_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -291,6 +308,7 @@ lean_object* l_Lean_mkListNode(lean_object*);
|
|||
static lean_object* l_Lean_Parser_Module_import___closed__5;
|
||||
static lean_object* l_Lean_Parser_Module_module_parenthesizer___closed__3;
|
||||
static lean_object* l_Lean_Parser_Module_header_formatter___closed__3;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__4;
|
||||
static lean_object* l_Lean_Parser_Module_module___elambda__1___closed__7;
|
||||
lean_object* l_Lean_ppLine_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l___private_Lean_Parser_Module_0__Lean_Parser_consumeInput___closed__1;
|
||||
|
|
@ -309,10 +327,12 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Module_prelude_parenthesizer(lean_object*
|
|||
LEAN_EXPORT lean_object* l_Lean_MessageLog_forM___at_Lean_Parser_testParseModuleAux_parse___spec__1(lean_object*, lean_object*, lean_object*);
|
||||
lean_object* l_Lean_Parser_many_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_import___elambda__1___closed__20;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_header_formatter___closed__1;
|
||||
static lean_object* l_Lean_Parser_Module_import___elambda__1___closed__10;
|
||||
static lean_object* l_Lean_Parser_Module_prelude___elambda__1___closed__3;
|
||||
static lean_object* l_Lean_Parser_Module_import___elambda__1___closed__9;
|
||||
lean_object* l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__4;
|
||||
static lean_object* l_Lean_Parser_Module_header___elambda__1___closed__6;
|
||||
static lean_object* l_Lean_Parser_Module_header_formatter___closed__5;
|
||||
static lean_object* l_Lean_Parser_Module_import_formatter___closed__1;
|
||||
|
|
@ -320,18 +340,22 @@ lean_object* l_Lean_Message_toString(lean_object*, uint8_t, lean_object*);
|
|||
lean_object* l_Lean_Parser_symbolFnAux(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_prelude___elambda__1___closed__14;
|
||||
static lean_object* l_Lean_Parser_Module_prelude___elambda__1___closed__8;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Module_import_parenthesizer(lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_import___elambda__1___closed__3;
|
||||
static lean_object* l_Lean_Parser_Module_header_formatter___closed__10;
|
||||
lean_object* l_Lean_Parser_ident_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Loop_forIn_loop___at_Lean_Parser_parseCommand___spec__1___lambda__4___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
uint8_t lean_string_utf8_at_end(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_header_formatter___closed__8;
|
||||
static lean_object* l_Lean_Parser_Module_module_formatter___closed__6;
|
||||
lean_object* l_Lean_Parser_symbol_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__3;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_import_parenthesizer___closed__1;
|
||||
static lean_object* l_Lean_Parser_Module_prelude___elambda__1___closed__4;
|
||||
static lean_object* l_Lean_Parser_testParseModule___closed__1;
|
||||
static lean_object* l_Lean_Parser_Module_import___elambda__1___closed__6;
|
||||
static lean_object* l_Lean_Parser_Module_module___elambda__1___closed__10;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__1;
|
||||
lean_object* l_Lean_PrettyPrinter_Formatter_andthen_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_parseCommand(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_testParseModule(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -340,6 +364,7 @@ static lean_object* l_Lean_Parser_Module_header_formatter___closed__1;
|
|||
LEAN_EXPORT lean_object* l_Lean_Parser_Module_import___elambda__1(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_isEOI___boxed(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Module_header___elambda__1(lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Module_module_parenthesizer___closed__2;
|
||||
uint8_t lean_nat_dec_lt(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Module_header_formatter___closed__4;
|
||||
lean_object* l_Lean_Parser_setLhsPrecFn___boxed(lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -1682,6 +1707,52 @@ x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_mk_string_from_bytes("formatter", 9);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_prelude___elambda__1___closed__8;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__3() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = l_Lean_PrettyPrinter_formatterAttribute;
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__4() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Module_prelude_formatter), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Module_prelude_formatter(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___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__3;
|
||||
x_3 = l_Lean_Parser_Module_prelude___elambda__1___closed__8;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__2;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__4;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_import_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -1786,6 +1857,36 @@ x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_import_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_import___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_import_formatter___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Module_import_formatter), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Module_import_formatter(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___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__3;
|
||||
x_3 = l_Lean_Parser_Module_import___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Module_import_formatter___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Module_import_formatter___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -1808,46 +1909,52 @@ static lean_object* _init_l_Lean_Parser_Module_header_formatter___closed__2() {
|
|||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Module_prelude_formatter), 5, 0);
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_ppLine_formatter___boxed), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_formatter___closed__3() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_ppLine_formatter___boxed), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_formatter___closed__4() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_header_formatter___closed__2;
|
||||
x_2 = l_Lean_Parser_Module_header_formatter___closed__3;
|
||||
x_1 = l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__4;
|
||||
x_2 = l_Lean_Parser_Module_header_formatter___closed__2;
|
||||
x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2);
|
||||
lean_closure_set(x_3, 0, x_1);
|
||||
lean_closure_set(x_3, 1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_formatter___closed__5() {
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_formatter___closed__4() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2;
|
||||
x_1 = l_Lean_Parser_Module_header_formatter___closed__4;
|
||||
x_1 = l_Lean_Parser_Module_header_formatter___closed__3;
|
||||
x_2 = lean_alloc_closure((void*)(l_Lean_Parser_optional_formatter), 6, 1);
|
||||
lean_closure_set(x_2, 0, x_1);
|
||||
return x_2;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_formatter___closed__5() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l___regBuiltin_Lean_Parser_Module_import_formatter___closed__2;
|
||||
x_2 = l_Lean_Parser_Module_header_formatter___closed__2;
|
||||
x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2);
|
||||
lean_closure_set(x_3, 0, x_1);
|
||||
lean_closure_set(x_3, 1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_formatter___closed__6() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Module_import_formatter), 5, 0);
|
||||
return x_1;
|
||||
lean_object* x_1; lean_object* x_2;
|
||||
x_1 = l_Lean_Parser_Module_header_formatter___closed__5;
|
||||
x_2 = lean_alloc_closure((void*)(l_Lean_Parser_many_formatter), 6, 1);
|
||||
lean_closure_set(x_2, 0, x_1);
|
||||
return x_2;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_formatter___closed__7() {
|
||||
|
|
@ -1855,7 +1962,7 @@ _start:
|
|||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_header_formatter___closed__6;
|
||||
x_2 = l_Lean_Parser_Module_header_formatter___closed__3;
|
||||
x_2 = l_Lean_Parser_Module_header_formatter___closed__2;
|
||||
x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2);
|
||||
lean_closure_set(x_3, 0, x_1);
|
||||
lean_closure_set(x_3, 1, x_2);
|
||||
|
|
@ -1865,44 +1972,22 @@ return x_3;
|
|||
static lean_object* _init_l_Lean_Parser_Module_header_formatter___closed__8() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2;
|
||||
x_1 = l_Lean_Parser_Module_header_formatter___closed__7;
|
||||
x_2 = lean_alloc_closure((void*)(l_Lean_Parser_many_formatter), 6, 1);
|
||||
lean_closure_set(x_2, 0, x_1);
|
||||
return x_2;
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_header_formatter___closed__4;
|
||||
x_2 = l_Lean_Parser_Module_header_formatter___closed__7;
|
||||
x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2);
|
||||
lean_closure_set(x_3, 0, x_1);
|
||||
lean_closure_set(x_3, 1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_formatter___closed__9() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_header_formatter___closed__8;
|
||||
x_2 = l_Lean_Parser_Module_header_formatter___closed__3;
|
||||
x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2);
|
||||
lean_closure_set(x_3, 0, x_1);
|
||||
lean_closure_set(x_3, 1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_formatter___closed__10() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_header_formatter___closed__5;
|
||||
x_2 = l_Lean_Parser_Module_header_formatter___closed__9;
|
||||
x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2);
|
||||
lean_closure_set(x_3, 0, x_1);
|
||||
lean_closure_set(x_3, 1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_formatter___closed__11() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
|
||||
x_1 = l_Lean_Parser_Module_header___elambda__1___closed__2;
|
||||
x_2 = lean_unsigned_to_nat(1024u);
|
||||
x_3 = l_Lean_Parser_Module_header_formatter___closed__10;
|
||||
x_3 = l_Lean_Parser_Module_header_formatter___closed__8;
|
||||
x_4 = lean_alloc_closure((void*)(l_Lean_Parser_leadingNode_formatter___boxed), 8, 3);
|
||||
lean_closure_set(x_4, 0, x_1);
|
||||
lean_closure_set(x_4, 1, x_2);
|
||||
|
|
@ -1915,11 +2000,41 @@ _start:
|
|||
{
|
||||
lean_object* x_6; lean_object* x_7; lean_object* x_8;
|
||||
x_6 = l_Lean_Parser_Module_header_formatter___closed__1;
|
||||
x_7 = l_Lean_Parser_Module_header_formatter___closed__11;
|
||||
x_7 = l_Lean_Parser_Module_header_formatter___closed__9;
|
||||
x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x_4, x_5);
|
||||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_header_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_header___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_header_formatter___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Module_header_formatter), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Module_header_formatter(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___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__3;
|
||||
x_3 = l_Lean_Parser_Module_header___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Module_header_formatter___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Module_header_formatter___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_module_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -1960,7 +2075,7 @@ static lean_object* _init_l_Lean_Parser_Module_module_formatter___closed__4() {
|
|||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2;
|
||||
x_1 = l_Lean_Parser_Module_header_formatter___closed__3;
|
||||
x_1 = l_Lean_Parser_Module_header_formatter___closed__2;
|
||||
x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2);
|
||||
lean_closure_set(x_2, 0, x_1);
|
||||
lean_closure_set(x_2, 1, x_1);
|
||||
|
|
@ -2000,16 +2115,8 @@ return x_2;
|
|||
static lean_object* _init_l_Lean_Parser_Module_module_formatter___closed__8() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Module_header_formatter), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_module_formatter___closed__9() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_module_formatter___closed__8;
|
||||
x_1 = l___regBuiltin_Lean_Parser_Module_header_formatter___closed__2;
|
||||
x_2 = l_Lean_Parser_Module_module_formatter___closed__7;
|
||||
x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2);
|
||||
lean_closure_set(x_3, 0, x_1);
|
||||
|
|
@ -2017,13 +2124,13 @@ lean_closure_set(x_3, 1, x_2);
|
|||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_module_formatter___closed__10() {
|
||||
static lean_object* _init_l_Lean_Parser_Module_module_formatter___closed__9() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
|
||||
x_1 = l_Lean_Parser_Module_module_formatter___closed__2;
|
||||
x_2 = lean_unsigned_to_nat(1024u);
|
||||
x_3 = l_Lean_Parser_Module_module_formatter___closed__9;
|
||||
x_3 = l_Lean_Parser_Module_module_formatter___closed__8;
|
||||
x_4 = lean_alloc_closure((void*)(l_Lean_Parser_leadingNode_formatter___boxed), 8, 3);
|
||||
lean_closure_set(x_4, 0, x_1);
|
||||
lean_closure_set(x_4, 1, x_2);
|
||||
|
|
@ -2036,11 +2143,41 @@ _start:
|
|||
{
|
||||
lean_object* x_6; lean_object* x_7; lean_object* x_8;
|
||||
x_6 = l_Lean_Parser_Module_module_formatter___closed__3;
|
||||
x_7 = l_Lean_Parser_Module_module_formatter___closed__10;
|
||||
x_7 = l_Lean_Parser_Module_module_formatter___closed__9;
|
||||
x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x_4, x_5);
|
||||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_module_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_module_formatter___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_module_formatter___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Module_module_formatter), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Module_module_formatter(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___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__3;
|
||||
x_3 = l_Lean_Parser_Module_module_formatter___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Module_module_formatter___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Module_module_formatter___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_prelude_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -2093,6 +2230,52 @@ x_8 = l_Lean_PrettyPrinter_Parenthesizer_withAntiquot_parenthesizer(x_6, x_7, x_
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_mk_string_from_bytes("parenthesizer", 13);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_prelude___elambda__1___closed__8;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__3() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = l_Lean_PrettyPrinter_parenthesizerAttribute;
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__4() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Module_prelude_parenthesizer), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer(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___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__3;
|
||||
x_3 = l_Lean_Parser_Module_prelude___elambda__1___closed__8;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__2;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__4;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_import_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -2197,6 +2380,36 @@ x_8 = l_Lean_PrettyPrinter_Parenthesizer_withAntiquot_parenthesizer(x_6, x_7, x_
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_import_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_import___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_import_parenthesizer___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Module_import_parenthesizer), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Module_import_parenthesizer(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___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__3;
|
||||
x_3 = l_Lean_Parser_Module_import___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Module_import_parenthesizer___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Module_import_parenthesizer___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -2219,46 +2432,52 @@ static lean_object* _init_l_Lean_Parser_Module_header_parenthesizer___closed__2(
|
|||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Module_prelude_parenthesizer), 5, 0);
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_ppLine_parenthesizer___boxed), 4, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_parenthesizer___closed__3() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_ppLine_parenthesizer___boxed), 4, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_parenthesizer___closed__4() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_header_parenthesizer___closed__2;
|
||||
x_2 = l_Lean_Parser_Module_header_parenthesizer___closed__3;
|
||||
x_1 = l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__4;
|
||||
x_2 = l_Lean_Parser_Module_header_parenthesizer___closed__2;
|
||||
x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2);
|
||||
lean_closure_set(x_3, 0, x_1);
|
||||
lean_closure_set(x_3, 1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_parenthesizer___closed__5() {
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_parenthesizer___closed__4() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2;
|
||||
x_1 = l_Lean_Parser_Module_header_parenthesizer___closed__4;
|
||||
x_1 = l_Lean_Parser_Module_header_parenthesizer___closed__3;
|
||||
x_2 = lean_alloc_closure((void*)(l_Lean_Parser_optional_parenthesizer), 6, 1);
|
||||
lean_closure_set(x_2, 0, x_1);
|
||||
return x_2;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_parenthesizer___closed__5() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l___regBuiltin_Lean_Parser_Module_import_parenthesizer___closed__2;
|
||||
x_2 = l_Lean_Parser_Module_header_parenthesizer___closed__2;
|
||||
x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2);
|
||||
lean_closure_set(x_3, 0, x_1);
|
||||
lean_closure_set(x_3, 1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_parenthesizer___closed__6() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Module_import_parenthesizer), 5, 0);
|
||||
return x_1;
|
||||
lean_object* x_1; lean_object* x_2;
|
||||
x_1 = l_Lean_Parser_Module_header_parenthesizer___closed__5;
|
||||
x_2 = lean_alloc_closure((void*)(l_Lean_Parser_many_parenthesizer), 6, 1);
|
||||
lean_closure_set(x_2, 0, x_1);
|
||||
return x_2;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_parenthesizer___closed__7() {
|
||||
|
|
@ -2266,7 +2485,7 @@ _start:
|
|||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_header_parenthesizer___closed__6;
|
||||
x_2 = l_Lean_Parser_Module_header_parenthesizer___closed__3;
|
||||
x_2 = l_Lean_Parser_Module_header_parenthesizer___closed__2;
|
||||
x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2);
|
||||
lean_closure_set(x_3, 0, x_1);
|
||||
lean_closure_set(x_3, 1, x_2);
|
||||
|
|
@ -2276,44 +2495,22 @@ return x_3;
|
|||
static lean_object* _init_l_Lean_Parser_Module_header_parenthesizer___closed__8() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2;
|
||||
x_1 = l_Lean_Parser_Module_header_parenthesizer___closed__7;
|
||||
x_2 = lean_alloc_closure((void*)(l_Lean_Parser_many_parenthesizer), 6, 1);
|
||||
lean_closure_set(x_2, 0, x_1);
|
||||
return x_2;
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_header_parenthesizer___closed__4;
|
||||
x_2 = l_Lean_Parser_Module_header_parenthesizer___closed__7;
|
||||
x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2);
|
||||
lean_closure_set(x_3, 0, x_1);
|
||||
lean_closure_set(x_3, 1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_parenthesizer___closed__9() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_header_parenthesizer___closed__8;
|
||||
x_2 = l_Lean_Parser_Module_header_parenthesizer___closed__3;
|
||||
x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2);
|
||||
lean_closure_set(x_3, 0, x_1);
|
||||
lean_closure_set(x_3, 1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_parenthesizer___closed__10() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_header_parenthesizer___closed__5;
|
||||
x_2 = l_Lean_Parser_Module_header_parenthesizer___closed__9;
|
||||
x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2);
|
||||
lean_closure_set(x_3, 0, x_1);
|
||||
lean_closure_set(x_3, 1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_header_parenthesizer___closed__11() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
|
||||
x_1 = l_Lean_Parser_Module_header___elambda__1___closed__2;
|
||||
x_2 = lean_unsigned_to_nat(1024u);
|
||||
x_3 = l_Lean_Parser_Module_header_parenthesizer___closed__10;
|
||||
x_3 = l_Lean_Parser_Module_header_parenthesizer___closed__8;
|
||||
x_4 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed), 8, 3);
|
||||
lean_closure_set(x_4, 0, x_1);
|
||||
lean_closure_set(x_4, 1, x_2);
|
||||
|
|
@ -2326,11 +2523,41 @@ _start:
|
|||
{
|
||||
lean_object* x_6; lean_object* x_7; lean_object* x_8;
|
||||
x_6 = l_Lean_Parser_Module_header_parenthesizer___closed__1;
|
||||
x_7 = l_Lean_Parser_Module_header_parenthesizer___closed__11;
|
||||
x_7 = l_Lean_Parser_Module_header_parenthesizer___closed__9;
|
||||
x_8 = l_Lean_PrettyPrinter_Parenthesizer_withAntiquot_parenthesizer(x_6, x_7, x_1, x_2, x_3, x_4, x_5);
|
||||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_header_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_header___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_header_parenthesizer___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Module_header_parenthesizer), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Module_header_parenthesizer(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___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__3;
|
||||
x_3 = l_Lean_Parser_Module_header___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Module_header_parenthesizer___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Module_header_parenthesizer___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_module_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -2363,7 +2590,7 @@ static lean_object* _init_l_Lean_Parser_Module_module_parenthesizer___closed__3(
|
|||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2;
|
||||
x_1 = l_Lean_Parser_Module_header_parenthesizer___closed__3;
|
||||
x_1 = l_Lean_Parser_Module_header_parenthesizer___closed__2;
|
||||
x_2 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2);
|
||||
lean_closure_set(x_2, 0, x_1);
|
||||
lean_closure_set(x_2, 1, x_1);
|
||||
|
|
@ -2395,16 +2622,8 @@ return x_2;
|
|||
static lean_object* _init_l_Lean_Parser_Module_module_parenthesizer___closed__6() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Module_header_parenthesizer), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_module_parenthesizer___closed__7() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_module_parenthesizer___closed__6;
|
||||
x_1 = l___regBuiltin_Lean_Parser_Module_header_parenthesizer___closed__2;
|
||||
x_2 = l_Lean_Parser_Module_module_parenthesizer___closed__5;
|
||||
x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2);
|
||||
lean_closure_set(x_3, 0, x_1);
|
||||
|
|
@ -2412,13 +2631,13 @@ lean_closure_set(x_3, 1, x_2);
|
|||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_module_parenthesizer___closed__8() {
|
||||
static lean_object* _init_l_Lean_Parser_Module_module_parenthesizer___closed__7() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
|
||||
x_1 = l_Lean_Parser_Module_module_formatter___closed__2;
|
||||
x_2 = lean_unsigned_to_nat(1024u);
|
||||
x_3 = l_Lean_Parser_Module_module_parenthesizer___closed__7;
|
||||
x_3 = l_Lean_Parser_Module_module_parenthesizer___closed__6;
|
||||
x_4 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed), 8, 3);
|
||||
lean_closure_set(x_4, 0, x_1);
|
||||
lean_closure_set(x_4, 1, x_2);
|
||||
|
|
@ -2431,11 +2650,41 @@ _start:
|
|||
{
|
||||
lean_object* x_6; lean_object* x_7; lean_object* x_8;
|
||||
x_6 = l_Lean_Parser_Module_module_parenthesizer___closed__1;
|
||||
x_7 = l_Lean_Parser_Module_module_parenthesizer___closed__8;
|
||||
x_7 = l_Lean_Parser_Module_module_parenthesizer___closed__7;
|
||||
x_8 = l_Lean_PrettyPrinter_Parenthesizer_withAntiquot_parenthesizer(x_6, x_7, x_1, x_2, x_3, x_4, x_5);
|
||||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_module_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Module_module_formatter___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Module_module_parenthesizer___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Module_module_parenthesizer), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Module_module_parenthesizer(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___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__3;
|
||||
x_3 = l_Lean_Parser_Module_module_formatter___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Module_module_parenthesizer___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Module_module_parenthesizer___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Module_module___elambda__1___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -5234,6 +5483,17 @@ l_Lean_Parser_Module_prelude_formatter___closed__2 = _init_l_Lean_Parser_Module_
|
|||
lean_mark_persistent(l_Lean_Parser_Module_prelude_formatter___closed__2);
|
||||
l_Lean_Parser_Module_prelude_formatter___closed__3 = _init_l_Lean_Parser_Module_prelude_formatter___closed__3();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_prelude_formatter___closed__3);
|
||||
l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__2);
|
||||
l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__3 = _init_l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__3();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__3);
|
||||
l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__4 = _init_l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__4();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_prelude_formatter___closed__4);
|
||||
res = l___regBuiltin_Lean_Parser_Module_prelude_formatter(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Module_import_formatter___closed__1 = _init_l_Lean_Parser_Module_import_formatter___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_import_formatter___closed__1);
|
||||
l_Lean_Parser_Module_import_formatter___closed__2 = _init_l_Lean_Parser_Module_import_formatter___closed__2();
|
||||
|
|
@ -5250,6 +5510,13 @@ l_Lean_Parser_Module_import_formatter___closed__7 = _init_l_Lean_Parser_Module_i
|
|||
lean_mark_persistent(l_Lean_Parser_Module_import_formatter___closed__7);
|
||||
l_Lean_Parser_Module_import_formatter___closed__8 = _init_l_Lean_Parser_Module_import_formatter___closed__8();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_import_formatter___closed__8);
|
||||
l___regBuiltin_Lean_Parser_Module_import_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Module_import_formatter___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_import_formatter___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Module_import_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Module_import_formatter___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_import_formatter___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Module_import_formatter(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Module_header_formatter___closed__1 = _init_l_Lean_Parser_Module_header_formatter___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_header_formatter___closed__1);
|
||||
l_Lean_Parser_Module_header_formatter___closed__2 = _init_l_Lean_Parser_Module_header_formatter___closed__2();
|
||||
|
|
@ -5268,10 +5535,13 @@ l_Lean_Parser_Module_header_formatter___closed__8 = _init_l_Lean_Parser_Module_h
|
|||
lean_mark_persistent(l_Lean_Parser_Module_header_formatter___closed__8);
|
||||
l_Lean_Parser_Module_header_formatter___closed__9 = _init_l_Lean_Parser_Module_header_formatter___closed__9();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_header_formatter___closed__9);
|
||||
l_Lean_Parser_Module_header_formatter___closed__10 = _init_l_Lean_Parser_Module_header_formatter___closed__10();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_header_formatter___closed__10);
|
||||
l_Lean_Parser_Module_header_formatter___closed__11 = _init_l_Lean_Parser_Module_header_formatter___closed__11();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_header_formatter___closed__11);
|
||||
l___regBuiltin_Lean_Parser_Module_header_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Module_header_formatter___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_header_formatter___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Module_header_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Module_header_formatter___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_header_formatter___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Module_header_formatter(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Module_module_formatter___closed__1 = _init_l_Lean_Parser_Module_module_formatter___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_module_formatter___closed__1);
|
||||
l_Lean_Parser_Module_module_formatter___closed__2 = _init_l_Lean_Parser_Module_module_formatter___closed__2();
|
||||
|
|
@ -5290,14 +5560,30 @@ l_Lean_Parser_Module_module_formatter___closed__8 = _init_l_Lean_Parser_Module_m
|
|||
lean_mark_persistent(l_Lean_Parser_Module_module_formatter___closed__8);
|
||||
l_Lean_Parser_Module_module_formatter___closed__9 = _init_l_Lean_Parser_Module_module_formatter___closed__9();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_module_formatter___closed__9);
|
||||
l_Lean_Parser_Module_module_formatter___closed__10 = _init_l_Lean_Parser_Module_module_formatter___closed__10();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_module_formatter___closed__10);
|
||||
l___regBuiltin_Lean_Parser_Module_module_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Module_module_formatter___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_module_formatter___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Module_module_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Module_module_formatter___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_module_formatter___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Module_module_formatter(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Module_prelude_parenthesizer___closed__1 = _init_l_Lean_Parser_Module_prelude_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_prelude_parenthesizer___closed__1);
|
||||
l_Lean_Parser_Module_prelude_parenthesizer___closed__2 = _init_l_Lean_Parser_Module_prelude_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_prelude_parenthesizer___closed__2);
|
||||
l_Lean_Parser_Module_prelude_parenthesizer___closed__3 = _init_l_Lean_Parser_Module_prelude_parenthesizer___closed__3();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_prelude_parenthesizer___closed__3);
|
||||
l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__2);
|
||||
l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__3 = _init_l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__3();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__3);
|
||||
l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__4 = _init_l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__4();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer___closed__4);
|
||||
res = l___regBuiltin_Lean_Parser_Module_prelude_parenthesizer(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Module_import_parenthesizer___closed__1 = _init_l_Lean_Parser_Module_import_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_import_parenthesizer___closed__1);
|
||||
l_Lean_Parser_Module_import_parenthesizer___closed__2 = _init_l_Lean_Parser_Module_import_parenthesizer___closed__2();
|
||||
|
|
@ -5314,6 +5600,13 @@ l_Lean_Parser_Module_import_parenthesizer___closed__7 = _init_l_Lean_Parser_Modu
|
|||
lean_mark_persistent(l_Lean_Parser_Module_import_parenthesizer___closed__7);
|
||||
l_Lean_Parser_Module_import_parenthesizer___closed__8 = _init_l_Lean_Parser_Module_import_parenthesizer___closed__8();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_import_parenthesizer___closed__8);
|
||||
l___regBuiltin_Lean_Parser_Module_import_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Module_import_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_import_parenthesizer___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Module_import_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Module_import_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_import_parenthesizer___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Module_import_parenthesizer(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Module_header_parenthesizer___closed__1 = _init_l_Lean_Parser_Module_header_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_header_parenthesizer___closed__1);
|
||||
l_Lean_Parser_Module_header_parenthesizer___closed__2 = _init_l_Lean_Parser_Module_header_parenthesizer___closed__2();
|
||||
|
|
@ -5332,10 +5625,13 @@ l_Lean_Parser_Module_header_parenthesizer___closed__8 = _init_l_Lean_Parser_Modu
|
|||
lean_mark_persistent(l_Lean_Parser_Module_header_parenthesizer___closed__8);
|
||||
l_Lean_Parser_Module_header_parenthesizer___closed__9 = _init_l_Lean_Parser_Module_header_parenthesizer___closed__9();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_header_parenthesizer___closed__9);
|
||||
l_Lean_Parser_Module_header_parenthesizer___closed__10 = _init_l_Lean_Parser_Module_header_parenthesizer___closed__10();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_header_parenthesizer___closed__10);
|
||||
l_Lean_Parser_Module_header_parenthesizer___closed__11 = _init_l_Lean_Parser_Module_header_parenthesizer___closed__11();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_header_parenthesizer___closed__11);
|
||||
l___regBuiltin_Lean_Parser_Module_header_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Module_header_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_header_parenthesizer___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Module_header_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Module_header_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_header_parenthesizer___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Module_header_parenthesizer(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Module_module_parenthesizer___closed__1 = _init_l_Lean_Parser_Module_module_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_module_parenthesizer___closed__1);
|
||||
l_Lean_Parser_Module_module_parenthesizer___closed__2 = _init_l_Lean_Parser_Module_module_parenthesizer___closed__2();
|
||||
|
|
@ -5350,8 +5646,13 @@ l_Lean_Parser_Module_module_parenthesizer___closed__6 = _init_l_Lean_Parser_Modu
|
|||
lean_mark_persistent(l_Lean_Parser_Module_module_parenthesizer___closed__6);
|
||||
l_Lean_Parser_Module_module_parenthesizer___closed__7 = _init_l_Lean_Parser_Module_module_parenthesizer___closed__7();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_module_parenthesizer___closed__7);
|
||||
l_Lean_Parser_Module_module_parenthesizer___closed__8 = _init_l_Lean_Parser_Module_module_parenthesizer___closed__8();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_module_parenthesizer___closed__8);
|
||||
l___regBuiltin_Lean_Parser_Module_module_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Module_module_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_module_parenthesizer___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Module_module_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Module_module_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Module_module_parenthesizer___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Module_module_parenthesizer(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Module_module___elambda__1___closed__1 = _init_l_Lean_Parser_Module_module___elambda__1___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Module_module___elambda__1___closed__1);
|
||||
l_Lean_Parser_Module_module___elambda__1___closed__2 = _init_l_Lean_Parser_Module_module___elambda__1___closed__2();
|
||||
|
|
|
|||
3201
stage0/stdlib/Lean/Parser/Syntax.c
generated
3201
stage0/stdlib/Lean/Parser/Syntax.c
generated
File diff suppressed because it is too large
Load diff
447
stage0/stdlib/Lean/Parser/Tactic.c
generated
447
stage0/stdlib/Lean/Parser/Tactic.c
generated
|
|
@ -14,14 +14,17 @@
|
|||
extern "C" {
|
||||
#endif
|
||||
static lean_object* l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__4;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__4;
|
||||
static lean_object* l_Lean_Parser_Tactic_introMatch___closed__7;
|
||||
static lean_object* l_Lean_Parser_Tactic_unknown___elambda__1___closed__1;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown_formatter(lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_nestedTactic_declRange___closed__3;
|
||||
static lean_object* l_Lean_Parser_Tactic_match_parenthesizer___closed__10;
|
||||
lean_object* l_Lean_Parser_nonReservedSymbol_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_matchRhs_parenthesizer___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_nestedTactic_declRange___closed__4;
|
||||
static lean_object* l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__2;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_match_formatter(lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown_declRange___closed__4;
|
||||
static lean_object* l_Lean_Parser_Tactic_unknown___closed__9;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown_declRange(lean_object*);
|
||||
|
|
@ -50,6 +53,7 @@ static lean_object* l_Lean_Parser_Tactic_decide___elambda__1___closed__3;
|
|||
static lean_object* l_Lean_Parser_Tactic_match___elambda__1___closed__7;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_nativeDecide_declRange___closed__4;
|
||||
static lean_object* l_Lean_Parser_Tactic_match_parenthesizer___closed__12;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_match_formatter___closed__2;
|
||||
lean_object* l_Lean_Parser_symbol_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_nativeDecide_formatter___closed__2;
|
||||
lean_object* l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -63,6 +67,7 @@ static lean_object* l_Lean_Parser_Tactic_match_formatter___closed__4;
|
|||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_nativeDecide_declRange(lean_object*);
|
||||
lean_object* l_Lean_Parser_Term_hole___elambda__1(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_unknown___elambda__1___closed__4;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_nativeDecide_formatter(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_introMatch___elambda__1___lambda__1(lean_object*, lean_object*, lean_object*);
|
||||
extern lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed;
|
||||
static lean_object* l_Lean_Parser_Tactic_initFn____x40_Lean_Parser_Tactic___hyg_6____closed__19;
|
||||
|
|
@ -82,6 +87,7 @@ lean_object* l_Lean_Parser_ParserState_mkNode(lean_object*, lean_object*, lean_o
|
|||
static lean_object* l_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__2;
|
||||
static lean_object* l_Lean_Parser_Tactic_matchRhs___closed__1;
|
||||
static lean_object* l_Lean_Parser_Tactic_introMatch___closed__3;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_decide_parenthesizer___closed__2;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown(lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__6;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_decide_declRange___closed__7;
|
||||
|
|
@ -90,6 +96,7 @@ static lean_object* l_Lean_Parser_Tactic_decide___elambda__1___closed__5;
|
|||
lean_object* l_Lean_Parser_orelseFn(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_matchRhs_formatter___closed__2;
|
||||
static lean_object* l_Lean_Parser_Tactic_matchRhs_parenthesizer___closed__3;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__2;
|
||||
static lean_object* l_Lean_Parser_Tactic_decide___closed__6;
|
||||
lean_object* l_Lean_Parser_addBuiltinParser(lean_object*, lean_object*, uint8_t, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_unknown___closed__2;
|
||||
|
|
@ -119,6 +126,7 @@ static lean_object* l_Lean_Parser_Tactic_unknown___closed__1;
|
|||
lean_object* l_Lean_Parser_mkAntiquot_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* l_Lean_Parser_leadingNode_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_matchRhs___closed__4;
|
||||
lean_object* l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* l_Lean_Parser_Tactic_tacticSeq_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_nestedTactic_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -131,6 +139,7 @@ static lean_object* l_Lean_Parser_Tactic_initFn____x40_Lean_Parser_Tactic___hyg_
|
|||
static lean_object* l_Lean_Parser_Tactic_match_parenthesizer___closed__2;
|
||||
lean_object* l_Lean_Parser_checkPrecFn(lean_object*, lean_object*, lean_object*);
|
||||
lean_object* l_Lean_Parser_Term_motive_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_match_parenthesizer(lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_unknown_formatter___closed__6;
|
||||
static lean_object* l_Lean_Parser_Tactic_matchRhs_formatter___closed__3;
|
||||
lean_object* l_Lean_Parser_optional(lean_object*);
|
||||
|
|
@ -145,9 +154,12 @@ static lean_object* l_Lean_Parser_Tactic_introMatch_formatter___closed__1;
|
|||
static lean_object* l_Lean_Parser_Tactic_introMatch_parenthesizer___closed__3;
|
||||
static lean_object* l_Lean_Parser_Tactic_initFn____x40_Lean_Parser_Tactic___hyg_6____closed__9;
|
||||
static lean_object* l_Lean_Parser_Tactic_decide___elambda__1___closed__7;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__4;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_decide_parenthesizer(lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_decide___closed__2;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_match___elambda__1___lambda__1(lean_object*, lean_object*, lean_object*);
|
||||
uint8_t l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_803____at_Lean_Parser_ParserState_hasError___spec__1(lean_object*, lean_object*);
|
||||
extern lean_object* l_Lean_PrettyPrinter_parenthesizerAttribute;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_nestedTactic_declRange___closed__6;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_match_declRange___closed__4;
|
||||
static lean_object* l_Lean_Parser_Tactic_unknown_formatter___closed__3;
|
||||
|
|
@ -169,6 +181,7 @@ lean_object* l_Lean_Parser_nodeInfo(lean_object*, lean_object*);
|
|||
static lean_object* l_Lean_Parser_Tactic_introMatch___closed__6;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_unknown___elambda__1(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_decide_parenthesizer___closed__3;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_decide_parenthesizer___closed__1;
|
||||
static lean_object* l_Lean_Parser_Tactic_match_formatter___closed__12;
|
||||
static lean_object* l_Lean_Parser_Tactic_match_parenthesizer___closed__16;
|
||||
lean_object* l_Lean_Parser_nonReservedSymbolInfo(lean_object*, uint8_t);
|
||||
|
|
@ -185,6 +198,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Tactic_decide_declRange___closed_
|
|||
lean_object* l_Lean_Parser_Term_generalizingParam_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_match_parenthesizer___closed__7;
|
||||
static lean_object* l_Lean_Parser_Tactic_introMatch___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_introMatch_formatter___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_introMatch_declRange___closed__3;
|
||||
static lean_object* l_Lean_Parser_Tactic_introMatch_parenthesizer___closed__4;
|
||||
static lean_object* l_Lean_Parser_Tactic_decide___elambda__1___closed__2;
|
||||
|
|
@ -200,8 +214,10 @@ static lean_object* l_Lean_Parser_Tactic_match_parenthesizer___closed__15;
|
|||
static lean_object* l_Lean_Parser_Tactic_match_parenthesizer___closed__18;
|
||||
static lean_object* l_Lean_Parser_Tactic_decide___closed__5;
|
||||
static lean_object* l_Lean_Parser_Tactic_initFn____x40_Lean_Parser_Tactic___hyg_6____closed__14;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_match_formatter___closed__1;
|
||||
lean_object* l_Lean_Parser_Term_hole_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* l_Lean_Parser_orelseInfo(lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_introMatch_parenthesizer___closed__1;
|
||||
static lean_object* l_Lean_Parser_Tactic_match_parenthesizer___closed__14;
|
||||
static lean_object* l_Lean_Parser_Tactic_match___elambda__1___closed__14;
|
||||
static lean_object* l_Lean_Parser_Tactic_match_parenthesizer___closed__5;
|
||||
|
|
@ -210,9 +226,12 @@ static lean_object* l_Lean_Parser_Tactic_introMatch_formatter___closed__3;
|
|||
static lean_object* l_Lean_Parser_Tactic_decide___closed__3;
|
||||
static lean_object* l_Lean_Parser_Tactic_match___elambda__1___closed__5;
|
||||
lean_object* l_Lean_addBuiltinDeclarationRanges(lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__1;
|
||||
static lean_object* l_Lean_Parser_Tactic_match_formatter___closed__11;
|
||||
static lean_object* l_Lean_Parser_Tactic_match_parenthesizer___closed__3;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__2;
|
||||
static lean_object* l_Lean_Parser_Tactic_initFn____x40_Lean_Parser_Tactic___hyg_6____closed__1;
|
||||
extern lean_object* l_Lean_PrettyPrinter_formatterAttribute;
|
||||
uint32_t lean_string_utf8_get(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_match_parenthesizer___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_decide_declRange___closed__3;
|
||||
|
|
@ -228,6 +247,7 @@ static lean_object* l_Lean_Parser_Tactic_decide___elambda__1___closed__6;
|
|||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_nativeDecide_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_introMatch___closed__4;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_matchRhs___elambda__1(lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_introMatch_formatter(lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_introMatch_declRange___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_nestedTactic_declRange___closed__7;
|
||||
lean_object* l_Lean_Parser_Term_syntheticHole_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -242,15 +262,19 @@ lean_object* l_Lean_Parser_registerAlias(lean_object*, lean_object*, lean_object
|
|||
lean_object* l_Lean_Parser_Term_generalizingParam_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_unknown_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_unknown___closed__7;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__3;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_matchRhs_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_unknown___elambda__1___closed__7;
|
||||
lean_object* l_Lean_PrettyPrinter_Formatter_withPosition_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_introMatch_formatter___closed__2;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_nativeDecide___elambda__1(lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_unknown_formatter___closed__5;
|
||||
static lean_object* l_Lean_Parser_Tactic_unknown_parenthesizer___closed__6;
|
||||
static lean_object* l_Lean_Parser_Tactic_match___elambda__1___closed__9;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_match_parenthesizer___closed__2;
|
||||
static lean_object* l_Lean_Parser_Tactic_unknown_formatter___closed__4;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__3;
|
||||
lean_object* l_Lean_Parser_mkAntiquot_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_match___closed__4;
|
||||
static lean_object* l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__3;
|
||||
|
|
@ -260,29 +284,35 @@ static lean_object* l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__5;
|
|||
static lean_object* l_Lean_Parser_Tactic_match_parenthesizer___closed__8;
|
||||
static lean_object* l_Lean_Parser_Tactic_match___closed__1;
|
||||
static lean_object* l_Lean_Parser_Tactic_initFn____x40_Lean_Parser_Tactic___hyg_6____closed__3;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__1;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_matchRhs_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* l_Lean_Parser_ident___elambda__1(lean_object*, lean_object*);
|
||||
uint8_t lean_uint32_dec_eq(uint32_t, uint32_t);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown_declRange___closed__7;
|
||||
static lean_object* l_Lean_Parser_Tactic_match___closed__3;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer(lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_unknown_parenthesizer___closed__1;
|
||||
static lean_object* l_Lean_Parser_Tactic_unknown_parenthesizer___closed__3;
|
||||
static lean_object* l_Lean_Parser_Tactic_decide_parenthesizer___closed__2;
|
||||
static lean_object* l_Lean_Parser_Tactic_introMatch___elambda__1___closed__1;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_decide___elambda__1(lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_nativeDecide_formatter___closed__1;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_unknown_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_match_declRange___closed__3;
|
||||
extern lean_object* l_Lean_PrettyPrinter_Formatter_formatterAliasesRef;
|
||||
static lean_object* l_Lean_Parser_Tactic_decide_parenthesizer___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_match_declRange___closed__5;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_nativeDecide_formatter___closed__2;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_decide_declRange(lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_initFn____x40_Lean_Parser_Tactic___hyg_6____closed__7;
|
||||
static lean_object* l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__10;
|
||||
static lean_object* l_Lean_Parser_Tactic_introMatch_formatter___closed__2;
|
||||
static lean_object* l_Lean_Parser_Tactic_match_parenthesizer___closed__6;
|
||||
static lean_object* l_Lean_Parser_Tactic_decide_formatter___closed__2;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__2;
|
||||
static lean_object* l_Lean_Parser_Tactic_match___elambda__1___closed__4;
|
||||
static lean_object* l_Lean_Parser_Tactic_matchRhs___closed__3;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__1;
|
||||
static lean_object* l_Lean_Parser_Tactic_match___elambda__1___closed__13;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_decide(lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_decide___elambda__1___closed__4;
|
||||
|
|
@ -309,6 +339,7 @@ static lean_object* l_Lean_Parser_Tactic_unknown___elambda__1___closed__3;
|
|||
static lean_object* l_Lean_Parser_Tactic_introMatch_formatter___closed__4;
|
||||
static lean_object* l_Lean_Parser_Tactic_match_formatter___closed__13;
|
||||
static lean_object* l_Lean_Parser_Tactic_decide_formatter___closed__3;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_decide_formatter(lean_object*);
|
||||
lean_object* l_Lean_Parser_ident_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_nestedTactic_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
lean_object* l_Lean_Parser_sepBy1_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
|
|
@ -348,11 +379,15 @@ static lean_object* l_Lean_Parser_Tactic_match_formatter___closed__16;
|
|||
static lean_object* l_Lean_Parser_Tactic_unknown___closed__3;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_nestedTactic___closed__2;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown___closed__2;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_introMatch_parenthesizer___closed__2;
|
||||
static lean_object* l_Lean_Parser_Tactic_match_parenthesizer___closed__17;
|
||||
static lean_object* l_Lean_Parser_Tactic_match___elambda__1___closed__10;
|
||||
static lean_object* l_Lean_Parser_Tactic_decide___elambda__1___closed__10;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_match_parenthesizer___closed__1;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_decide_formatter___closed__1;
|
||||
lean_object* l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_unknown___closed__5;
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_nativeDecide_parenthesizer(lean_object*);
|
||||
lean_object* l_Lean_Parser_Term_matchAlts_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_match___elambda__1___lambda__1___boxed(lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__7;
|
||||
|
|
@ -361,8 +396,10 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_matchAlts;
|
|||
lean_object* l_Lean_Parser_symbolFnAux(lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_match___elambda__1___closed__12;
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_match_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_introMatch_parenthesizer(lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_decide_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
static lean_object* l_Lean_Parser_Tactic_decide___closed__7;
|
||||
static lean_object* l___regBuiltin_Lean_Parser_Tactic_decide_formatter___closed__2;
|
||||
static lean_object* l_Lean_Parser_Tactic_match___elambda__1___lambda__1___closed__1;
|
||||
lean_object* l_Lean_Parser_ident_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
|
||||
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_unknown___elambda__1___lambda__1(lean_object*, lean_object*);
|
||||
|
|
@ -1300,6 +1337,52 @@ x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_mk_string_from_bytes("formatter", 9);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Tactic_unknown___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__3() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = l_Lean_PrettyPrinter_formatterAttribute;
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__4() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Tactic_unknown_formatter), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown_formatter(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___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__3;
|
||||
x_3 = l_Lean_Parser_Tactic_unknown___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__2;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__4;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Tactic_unknown_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -1385,6 +1468,52 @@ x_8 = l_Lean_PrettyPrinter_Parenthesizer_withAntiquot_parenthesizer(x_6, x_7, x_
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_mk_string_from_bytes("parenthesizer", 13);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Tactic_unknown___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__3() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = l_Lean_PrettyPrinter_parenthesizerAttribute;
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__4() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Tactic_unknown_parenthesizer), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer(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___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__3;
|
||||
x_3 = l_Lean_Parser_Tactic_unknown___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__2;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__4;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Tactic_nestedTactic() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -2640,6 +2769,36 @@ x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_match_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Tactic_match___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_match_formatter___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Tactic_match_formatter), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_match_formatter(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___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__3;
|
||||
x_3 = l_Lean_Parser_Tactic_match___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Tactic_match_formatter___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Tactic_match_formatter___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Tactic_matchRhs_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -2906,6 +3065,36 @@ x_8 = l_Lean_PrettyPrinter_Parenthesizer_withAntiquot_parenthesizer(x_6, x_7, x_
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_match_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Tactic_match___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_match_parenthesizer___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Tactic_match_parenthesizer), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_match_parenthesizer(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___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__3;
|
||||
x_3 = l_Lean_Parser_Tactic_match___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Tactic_match_parenthesizer___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Tactic_match_parenthesizer___closed__2;
|
||||
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_Parser_Tactic_introMatch___elambda__1___lambda__1(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -3478,6 +3667,36 @@ x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_introMatch_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Tactic_introMatch___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_introMatch_formatter___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Tactic_introMatch_formatter), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_introMatch_formatter(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___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__3;
|
||||
x_3 = l_Lean_Parser_Tactic_introMatch___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Tactic_introMatch_formatter___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Tactic_introMatch_formatter___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Tactic_introMatch_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -3545,6 +3764,36 @@ x_8 = l_Lean_PrettyPrinter_Parenthesizer_withAntiquot_parenthesizer(x_6, x_7, x_
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_introMatch_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Tactic_introMatch___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_introMatch_parenthesizer___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Tactic_introMatch_parenthesizer), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_introMatch_parenthesizer(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___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__3;
|
||||
x_3 = l_Lean_Parser_Tactic_introMatch___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Tactic_introMatch_parenthesizer___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Tactic_introMatch_parenthesizer___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Tactic_decide___elambda__1___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -4011,6 +4260,36 @@ x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_decide_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Tactic_decide___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_decide_formatter___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Tactic_decide_formatter), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_decide_formatter(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___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__3;
|
||||
x_3 = l_Lean_Parser_Tactic_decide___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Tactic_decide_formatter___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Tactic_decide_formatter___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Tactic_decide_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -4066,6 +4345,36 @@ x_8 = l_Lean_PrettyPrinter_Parenthesizer_withAntiquot_parenthesizer(x_6, x_7, x_
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_decide_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Tactic_decide___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_decide_parenthesizer___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Tactic_decide_parenthesizer), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_decide_parenthesizer(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___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__3;
|
||||
x_3 = l_Lean_Parser_Tactic_decide___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Tactic_decide_parenthesizer___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Tactic_decide_parenthesizer___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -4541,6 +4850,36 @@ x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_nativeDecide_formatter___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_nativeDecide_formatter___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Tactic_nativeDecide_formatter), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_nativeDecide_formatter(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___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__3;
|
||||
x_3 = l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Tactic_nativeDecide_formatter___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Tactic_nativeDecide_formatter___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
|
|
@ -4596,6 +4935,36 @@ x_8 = l_Lean_PrettyPrinter_Parenthesizer_withAntiquot_parenthesizer(x_6, x_7, x_
|
|||
return x_8;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__1() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1; lean_object* x_2; lean_object* x_3;
|
||||
x_1 = l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__2;
|
||||
x_2 = l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__1;
|
||||
x_3 = l_Lean_Name_str___override(x_1, x_2);
|
||||
return x_3;
|
||||
}
|
||||
}
|
||||
static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__2() {
|
||||
_start:
|
||||
{
|
||||
lean_object* x_1;
|
||||
x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Tactic_nativeDecide_parenthesizer), 5, 0);
|
||||
return x_1;
|
||||
}
|
||||
}
|
||||
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_nativeDecide_parenthesizer(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___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__3;
|
||||
x_3 = l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__2;
|
||||
x_4 = l___regBuiltin_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__1;
|
||||
x_5 = l___regBuiltin_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__2;
|
||||
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
|
||||
return x_6;
|
||||
}
|
||||
}
|
||||
lean_object* initialize_Init(uint8_t builtin, lean_object*);
|
||||
lean_object* initialize_Lean_Parser_Term(uint8_t builtin, lean_object*);
|
||||
static bool _G_initialized = false;
|
||||
|
|
@ -4726,6 +5095,17 @@ l_Lean_Parser_Tactic_unknown_formatter___closed__5 = _init_l_Lean_Parser_Tactic_
|
|||
lean_mark_persistent(l_Lean_Parser_Tactic_unknown_formatter___closed__5);
|
||||
l_Lean_Parser_Tactic_unknown_formatter___closed__6 = _init_l_Lean_Parser_Tactic_unknown_formatter___closed__6();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_unknown_formatter___closed__6);
|
||||
l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__2);
|
||||
l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__3 = _init_l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__3();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__3);
|
||||
l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__4 = _init_l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__4();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_unknown_formatter___closed__4);
|
||||
res = l___regBuiltin_Lean_Parser_Tactic_unknown_formatter(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Tactic_unknown_parenthesizer___closed__1 = _init_l_Lean_Parser_Tactic_unknown_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_unknown_parenthesizer___closed__1);
|
||||
l_Lean_Parser_Tactic_unknown_parenthesizer___closed__2 = _init_l_Lean_Parser_Tactic_unknown_parenthesizer___closed__2();
|
||||
|
|
@ -4738,6 +5118,17 @@ l_Lean_Parser_Tactic_unknown_parenthesizer___closed__5 = _init_l_Lean_Parser_Tac
|
|||
lean_mark_persistent(l_Lean_Parser_Tactic_unknown_parenthesizer___closed__5);
|
||||
l_Lean_Parser_Tactic_unknown_parenthesizer___closed__6 = _init_l_Lean_Parser_Tactic_unknown_parenthesizer___closed__6();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_unknown_parenthesizer___closed__6);
|
||||
l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__2);
|
||||
l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__3 = _init_l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__3();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__3);
|
||||
l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__4 = _init_l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__4();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer___closed__4);
|
||||
res = l___regBuiltin_Lean_Parser_Tactic_unknown_parenthesizer(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Tactic_nestedTactic = _init_l_Lean_Parser_Tactic_nestedTactic();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_nestedTactic);
|
||||
l___regBuiltin_Lean_Parser_Tactic_nestedTactic___closed__1 = _init_l___regBuiltin_Lean_Parser_Tactic_nestedTactic___closed__1();
|
||||
|
|
@ -4898,6 +5289,13 @@ l_Lean_Parser_Tactic_match_formatter___closed__17 = _init_l_Lean_Parser_Tactic_m
|
|||
lean_mark_persistent(l_Lean_Parser_Tactic_match_formatter___closed__17);
|
||||
l_Lean_Parser_Tactic_match_formatter___closed__18 = _init_l_Lean_Parser_Tactic_match_formatter___closed__18();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_match_formatter___closed__18);
|
||||
l___regBuiltin_Lean_Parser_Tactic_match_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Tactic_match_formatter___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_match_formatter___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Tactic_match_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Tactic_match_formatter___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_match_formatter___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Tactic_match_formatter(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Tactic_matchRhs_parenthesizer___closed__1 = _init_l_Lean_Parser_Tactic_matchRhs_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_matchRhs_parenthesizer___closed__1);
|
||||
l_Lean_Parser_Tactic_matchRhs_parenthesizer___closed__2 = _init_l_Lean_Parser_Tactic_matchRhs_parenthesizer___closed__2();
|
||||
|
|
@ -4942,6 +5340,13 @@ l_Lean_Parser_Tactic_match_parenthesizer___closed__17 = _init_l_Lean_Parser_Tact
|
|||
lean_mark_persistent(l_Lean_Parser_Tactic_match_parenthesizer___closed__17);
|
||||
l_Lean_Parser_Tactic_match_parenthesizer___closed__18 = _init_l_Lean_Parser_Tactic_match_parenthesizer___closed__18();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_match_parenthesizer___closed__18);
|
||||
l___regBuiltin_Lean_Parser_Tactic_match_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Tactic_match_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_match_parenthesizer___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Tactic_match_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Tactic_match_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_match_parenthesizer___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Tactic_match_parenthesizer(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Tactic_introMatch___elambda__1___closed__1 = _init_l_Lean_Parser_Tactic_introMatch___elambda__1___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_introMatch___elambda__1___closed__1);
|
||||
l_Lean_Parser_Tactic_introMatch___elambda__1___closed__2 = _init_l_Lean_Parser_Tactic_introMatch___elambda__1___closed__2();
|
||||
|
|
@ -5002,6 +5407,13 @@ l_Lean_Parser_Tactic_introMatch_formatter___closed__3 = _init_l_Lean_Parser_Tact
|
|||
lean_mark_persistent(l_Lean_Parser_Tactic_introMatch_formatter___closed__3);
|
||||
l_Lean_Parser_Tactic_introMatch_formatter___closed__4 = _init_l_Lean_Parser_Tactic_introMatch_formatter___closed__4();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_introMatch_formatter___closed__4);
|
||||
l___regBuiltin_Lean_Parser_Tactic_introMatch_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Tactic_introMatch_formatter___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_introMatch_formatter___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Tactic_introMatch_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Tactic_introMatch_formatter___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_introMatch_formatter___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Tactic_introMatch_formatter(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Tactic_introMatch_parenthesizer___closed__1 = _init_l_Lean_Parser_Tactic_introMatch_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_introMatch_parenthesizer___closed__1);
|
||||
l_Lean_Parser_Tactic_introMatch_parenthesizer___closed__2 = _init_l_Lean_Parser_Tactic_introMatch_parenthesizer___closed__2();
|
||||
|
|
@ -5010,6 +5422,13 @@ l_Lean_Parser_Tactic_introMatch_parenthesizer___closed__3 = _init_l_Lean_Parser_
|
|||
lean_mark_persistent(l_Lean_Parser_Tactic_introMatch_parenthesizer___closed__3);
|
||||
l_Lean_Parser_Tactic_introMatch_parenthesizer___closed__4 = _init_l_Lean_Parser_Tactic_introMatch_parenthesizer___closed__4();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_introMatch_parenthesizer___closed__4);
|
||||
l___regBuiltin_Lean_Parser_Tactic_introMatch_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Tactic_introMatch_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_introMatch_parenthesizer___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Tactic_introMatch_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Tactic_introMatch_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_introMatch_parenthesizer___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Tactic_introMatch_parenthesizer(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Tactic_decide___elambda__1___closed__1 = _init_l_Lean_Parser_Tactic_decide___elambda__1___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_decide___elambda__1___closed__1);
|
||||
l_Lean_Parser_Tactic_decide___elambda__1___closed__2 = _init_l_Lean_Parser_Tactic_decide___elambda__1___closed__2();
|
||||
|
|
@ -5072,12 +5491,26 @@ l_Lean_Parser_Tactic_decide_formatter___closed__2 = _init_l_Lean_Parser_Tactic_d
|
|||
lean_mark_persistent(l_Lean_Parser_Tactic_decide_formatter___closed__2);
|
||||
l_Lean_Parser_Tactic_decide_formatter___closed__3 = _init_l_Lean_Parser_Tactic_decide_formatter___closed__3();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_decide_formatter___closed__3);
|
||||
l___regBuiltin_Lean_Parser_Tactic_decide_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Tactic_decide_formatter___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_decide_formatter___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Tactic_decide_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Tactic_decide_formatter___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_decide_formatter___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Tactic_decide_formatter(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Tactic_decide_parenthesizer___closed__1 = _init_l_Lean_Parser_Tactic_decide_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_decide_parenthesizer___closed__1);
|
||||
l_Lean_Parser_Tactic_decide_parenthesizer___closed__2 = _init_l_Lean_Parser_Tactic_decide_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_decide_parenthesizer___closed__2);
|
||||
l_Lean_Parser_Tactic_decide_parenthesizer___closed__3 = _init_l_Lean_Parser_Tactic_decide_parenthesizer___closed__3();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_decide_parenthesizer___closed__3);
|
||||
l___regBuiltin_Lean_Parser_Tactic_decide_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Tactic_decide_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_decide_parenthesizer___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Tactic_decide_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Tactic_decide_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_decide_parenthesizer___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Tactic_decide_parenthesizer(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__1 = _init_l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__1);
|
||||
l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__2 = _init_l_Lean_Parser_Tactic_nativeDecide___elambda__1___closed__2();
|
||||
|
|
@ -5142,12 +5575,26 @@ l_Lean_Parser_Tactic_nativeDecide_formatter___closed__2 = _init_l_Lean_Parser_Ta
|
|||
lean_mark_persistent(l_Lean_Parser_Tactic_nativeDecide_formatter___closed__2);
|
||||
l_Lean_Parser_Tactic_nativeDecide_formatter___closed__3 = _init_l_Lean_Parser_Tactic_nativeDecide_formatter___closed__3();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_nativeDecide_formatter___closed__3);
|
||||
l___regBuiltin_Lean_Parser_Tactic_nativeDecide_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Tactic_nativeDecide_formatter___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_nativeDecide_formatter___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Tactic_nativeDecide_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Tactic_nativeDecide_formatter___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_nativeDecide_formatter___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Tactic_nativeDecide_formatter(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
l_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__1 = _init_l_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__1);
|
||||
l_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__2 = _init_l_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__2);
|
||||
l_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__3 = _init_l_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__3();
|
||||
lean_mark_persistent(l_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__3);
|
||||
l___regBuiltin_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__1();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__1);
|
||||
l___regBuiltin_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__2();
|
||||
lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_nativeDecide_parenthesizer___closed__2);
|
||||
res = l___regBuiltin_Lean_Parser_Tactic_nativeDecide_parenthesizer(lean_io_mk_world());
|
||||
if (lean_io_result_is_error(res)) return res;
|
||||
lean_dec_ref(res);
|
||||
return lean_io_result_mk_ok(lean_box(0));
|
||||
}
|
||||
#ifdef __cplusplus
|
||||
|
|
|
|||
11515
stage0/stdlib/Lean/Parser/Term.c
generated
11515
stage0/stdlib/Lean/Parser/Term.c
generated
File diff suppressed because it is too large
Load diff
Loading…
Add table
Reference in a new issue