From ba648e419af29b140eb07dae7769a6659b7e6e23 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 18 Nov 2019 20:04:59 -0800 Subject: [PATCH] chore: update stage0 --- stage0/library/Init/Lean/Attributes.c | 18 +-- stage0/library/Init/Lean/Class.c | 62 ++++----- .../Init/Lean/Compiler/ClosedTermCache.c | 4 +- .../library/Init/Lean/Compiler/ConstFolding.c | 12 +- .../library/Init/Lean/Compiler/ExportAttr.c | 4 +- .../library/Init/Lean/Compiler/ExternAttr.c | 8 +- stage0/library/Init/Lean/Compiler/IR/Basic.c | 14 +-- stage0/library/Init/Lean/Compiler/IR/Borrow.c | 8 +- .../library/Init/Lean/Compiler/IR/CompilerM.c | 30 ++--- .../Init/Lean/Compiler/IR/ElimDeadBranches.c | 26 ++-- stage0/library/Init/Lean/Compiler/IR/EmitC.c | 10 +- .../library/Init/Lean/Compiler/IR/EmitUtil.c | 4 +- stage0/library/Init/Lean/Compiler/IR/Format.c | 4 +- .../Init/Lean/Compiler/IR/ResetReuse.c | 4 +- .../Init/Lean/Compiler/ImplementedByAttr.c | 4 +- stage0/library/Init/Lean/Compiler/InitAttr.c | 4 +- .../library/Init/Lean/Compiler/InlineAttrs.c | 4 +- .../library/Init/Lean/Compiler/Specialize.c | 26 ++-- stage0/library/Init/Lean/Compiler/Util.c | 18 +-- stage0/library/Init/Lean/Elaborator/Alias.c | 26 ++-- stage0/library/Init/Lean/Elaborator/Basic.c | 48 +++---- stage0/library/Init/Lean/Elaborator/Command.c | 12 +- .../Init/Lean/Elaborator/ElabStrategyAttrs.c | 4 +- stage0/library/Init/Lean/Elaborator/PreTerm.c | 10 +- .../Init/Lean/Elaborator/ResolveName.c | 6 +- stage0/library/Init/Lean/Elaborator/Term.c | 8 +- stage0/library/Init/Lean/Environment.c | 40 +++--- stage0/library/Init/Lean/Expr.c | 8 +- stage0/library/Init/Lean/KVMap.c | 8 +- stage0/library/Init/Lean/Level.c | 6 +- stage0/library/Init/Lean/LocalContext.c | 28 ++--- stage0/library/Init/Lean/Meta/ExprDefEq.c | 8 +- stage0/library/Init/Lean/Meta/LevelDefEq.c | 4 +- stage0/library/Init/Lean/MetavarContext.c | 74 +++++------ stage0/library/Init/Lean/Modifiers.c | 4 +- stage0/library/Init/Lean/Name.c | 119 ++---------------- stage0/library/Init/Lean/Parser/Parser.c | 34 ++--- stage0/library/Init/Lean/Parser/Transform.c | 4 +- stage0/library/Init/Lean/ProjFns.c | 4 +- stage0/library/Init/Lean/ReducibilityAttrs.c | 4 +- stage0/library/Init/Lean/Scopes.c | 4 +- stage0/library/Init/Lean/Syntax.c | 14 +-- stage0/library/Init/Lean/TypeClass/Context.c | 16 +-- stage0/library/Init/Lean/WHNF.c | 4 +- .../src/library/compiler/ir_interpreter.cpp | 2 +- 45 files changed, 330 insertions(+), 433 deletions(-) diff --git a/stage0/library/Init/Lean/Attributes.c b/stage0/library/Init/Lean/Attributes.c index 41191a0cbd..cd5a158b16 100644 --- a/stage0/library/Init/Lean/Attributes.c +++ b/stage0/library/Init/Lean/Attributes.c @@ -42,13 +42,13 @@ lean_object* l_Lean_AttributeImpl_inhabited___lambda__1___boxed(lean_object*, le extern lean_object* l_Lean_mkTagDeclarationExtension___closed__1; lean_object* l_Lean_registerEnumAttributes___rarg___lambda__2___closed__3; lean_object* l_Lean_ParametricAttribute_setParam___rarg___closed__2; -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_ParametricAttribute_Inhabited(lean_object*); lean_object* l_Lean_registerParametricAttribute___rarg___lambda__2___boxed(lean_object*, lean_object*); extern lean_object* l_Array_empty___closed__1; uint8_t l_Array_anyRangeMAux___main___at_Lean_registerTagAttribute___spec__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_registerTagAttribute___closed__1; lean_object* lean_io_mk_ref(lean_object*, lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Array_anyRangeMAux___main___at_Lean_registerEnumAttributes___spec__8(lean_object*); lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_registerParametricAttribute___spec__9___rarg(lean_object*, lean_object*); @@ -588,7 +588,7 @@ else lean_object* x_4; lean_object* x_5; uint8_t x_6; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 2); -x_6 = l_Lean_Name_beq___main(x_4, x_1); +x_6 = lean_name_eq(x_4, x_1); if (x_6 == 0) { x_2 = x_5; @@ -739,7 +739,7 @@ lean_object* x_5; lean_object* x_6; lean_object* x_7; uint8_t x_8; x_5 = lean_ctor_get(x_3, 0); x_6 = lean_ctor_get(x_3, 1); x_7 = lean_ctor_get(x_3, 2); -x_8 = l_Lean_Name_beq___main(x_5, x_1); +x_8 = lean_name_eq(x_5, x_1); if (x_8 == 0) { lean_object* x_9; @@ -766,7 +766,7 @@ lean_inc(x_12); lean_inc(x_11); lean_inc(x_10); lean_dec(x_3); -x_13 = l_Lean_Name_beq___main(x_10, x_1); +x_13 = lean_name_eq(x_10, x_1); if (x_13 == 0) { lean_object* x_14; lean_object* x_15; @@ -1737,7 +1737,7 @@ lean_object* x_4; lean_object* x_5; lean_object* x_6; uint8_t x_7; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); x_6 = lean_ctor_get(x_2, 2); -x_7 = l_Lean_Name_beq___main(x_4, x_1); +x_7 = lean_name_eq(x_4, x_1); if (x_7 == 0) { x_2 = x_6; @@ -2649,7 +2649,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { @@ -4484,7 +4484,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { @@ -6663,7 +6663,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { @@ -8452,7 +8452,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; uint8_t x_5; x_2 = lean_ctor_get(x_1, 0); x_3 = lean_ctor_get(x_1, 1); x_4 = l_Lean_nullKind; -x_5 = l_Lean_Name_beq___main(x_2, x_4); +x_5 = lean_name_eq(x_2, x_4); if (x_5 == 0) { lean_object* x_6; diff --git a/stage0/library/Init/Lean/Class.c b/stage0/library/Init/Lean/Class.c index c953f840b3..d56e566ec2 100644 --- a/stage0/library/Init/Lean/Class.c +++ b/stage0/library/Init/Lean/Class.c @@ -51,7 +51,6 @@ lean_object* l_PersistentHashMap_empty___at_Lean_ClassState_Inhabited___spec__9; lean_object* l_mkHashMap___at_Lean_ClassState_Inhabited___spec__5(lean_object*); lean_object* l_Lean_classExtension; lean_object* l_AssocList_replace___main___at_Lean_ClassState_addEntry___spec__39(lean_object*, lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); uint8_t l_PersistentHashMap_containsAux___main___at_Lean_isClass___spec__4(lean_object*, size_t, lean_object*); lean_object* l_PersistentHashMap_insertAtCollisionNodeAux___main___at_Lean_ClassState_addEntry___spec__4___boxed(lean_object*, lean_object*, lean_object*, lean_object*); size_t l_USize_sub(size_t, size_t); @@ -62,6 +61,7 @@ lean_object* l_PersistentHashMap_insert___at_Lean_ClassState_addEntry___spec__19 lean_object* l_Array_iterateMAux___main___at_Lean_ClassState_addEntry___spec__5___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_HashMapImp_expand___at_Lean_ClassState_addEntry___spec__8(lean_object*, lean_object*); lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_mkClassExtension___spec__7___closed__2; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_registerInstanceAttr___closed__1; lean_object* l_Lean_Expr_hasOutParam___boxed(lean_object*); @@ -540,7 +540,7 @@ else { lean_object* x_19; uint8_t x_20; x_19 = lean_array_fget(x_5, x_2); -x_20 = l_Lean_Name_beq___main(x_3, x_19); +x_20 = lean_name_eq(x_3, x_19); lean_dec(x_19); if (x_20 == 0) { @@ -665,7 +665,7 @@ if (x_18 == 0) lean_object* x_19; lean_object* x_20; uint8_t x_21; x_19 = lean_ctor_get(x_15, 0); x_20 = lean_ctor_get(x_15, 1); -x_21 = l_Lean_Name_beq___main(x_4, x_19); +x_21 = lean_name_eq(x_4, x_19); if (x_21 == 0) { lean_object* x_22; lean_object* x_23; lean_object* x_24; lean_object* x_25; @@ -701,7 +701,7 @@ x_29 = lean_ctor_get(x_15, 1); lean_inc(x_29); lean_inc(x_28); lean_dec(x_15); -x_30 = l_Lean_Name_beq___main(x_4, x_28); +x_30 = lean_name_eq(x_4, x_28); if (x_30 == 0) { lean_object* x_31; lean_object* x_32; lean_object* x_33; lean_object* x_34; @@ -824,7 +824,7 @@ if (lean_is_exclusive(x_62)) { lean_dec_ref(x_62); x_67 = lean_box(0); } -x_68 = l_Lean_Name_beq___main(x_4, x_65); +x_68 = lean_name_eq(x_4, x_65); if (x_68 == 0) { lean_object* x_69; lean_object* x_70; lean_object* x_71; lean_object* x_72; lean_object* x_73; @@ -998,7 +998,7 @@ else lean_object* x_4; lean_object* x_5; uint8_t x_6; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 2); -x_6 = l_Lean_Name_beq___main(x_4, x_1); +x_6 = lean_name_eq(x_4, x_1); if (x_6 == 0) { x_2 = x_5; @@ -1133,7 +1133,7 @@ lean_object* x_5; lean_object* x_6; lean_object* x_7; uint8_t x_8; x_5 = lean_ctor_get(x_3, 0); x_6 = lean_ctor_get(x_3, 1); x_7 = lean_ctor_get(x_3, 2); -x_8 = l_Lean_Name_beq___main(x_5, x_1); +x_8 = lean_name_eq(x_5, x_1); if (x_8 == 0) { lean_object* x_9; @@ -1162,7 +1162,7 @@ lean_inc(x_13); lean_inc(x_12); lean_inc(x_11); lean_dec(x_3); -x_14 = l_Lean_Name_beq___main(x_11, x_1); +x_14 = lean_name_eq(x_11, x_1); if (x_14 == 0) { lean_object* x_15; lean_object* x_16; @@ -1379,7 +1379,7 @@ else { lean_object* x_9; uint8_t x_10; x_9 = lean_array_fget(x_1, x_4); -x_10 = l_Lean_Name_beq___main(x_5, x_9); +x_10 = lean_name_eq(x_5, x_9); lean_dec(x_9); if (x_10 == 0) { @@ -1426,7 +1426,7 @@ lean_inc(x_11); x_12 = lean_ctor_get(x_10, 1); lean_inc(x_12); lean_dec(x_10); -x_13 = l_Lean_Name_beq___main(x_3, x_11); +x_13 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_13 == 0) { @@ -1498,7 +1498,7 @@ lean_object* x_4; lean_object* x_5; lean_object* x_6; uint8_t x_7; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); x_6 = lean_ctor_get(x_2, 2); -x_7 = l_Lean_Name_beq___main(x_4, x_1); +x_7 = lean_name_eq(x_4, x_1); if (x_7 == 0) { x_2 = x_6; @@ -1606,7 +1606,7 @@ else { lean_object* x_17; uint8_t x_18; x_17 = lean_array_fget(x_5, x_2); -x_18 = l_Lean_Name_beq___main(x_3, x_17); +x_18 = lean_name_eq(x_3, x_17); lean_dec(x_17); if (x_18 == 0) { @@ -1728,7 +1728,7 @@ if (x_18 == 0) lean_object* x_19; lean_object* x_20; uint8_t x_21; x_19 = lean_ctor_get(x_15, 0); x_20 = lean_ctor_get(x_15, 1); -x_21 = l_Lean_Name_beq___main(x_4, x_19); +x_21 = lean_name_eq(x_4, x_19); if (x_21 == 0) { lean_object* x_22; lean_object* x_23; lean_object* x_24; @@ -1762,7 +1762,7 @@ x_27 = lean_ctor_get(x_15, 1); lean_inc(x_27); lean_inc(x_26); lean_dec(x_15); -x_28 = l_Lean_Name_beq___main(x_4, x_26); +x_28 = lean_name_eq(x_4, x_26); if (x_28 == 0) { lean_object* x_29; lean_object* x_30; lean_object* x_31; @@ -1883,7 +1883,7 @@ if (lean_is_exclusive(x_57)) { lean_dec_ref(x_57); x_62 = lean_box(0); } -x_63 = l_Lean_Name_beq___main(x_4, x_60); +x_63 = lean_name_eq(x_4, x_60); if (x_63 == 0) { lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; @@ -2054,7 +2054,7 @@ else lean_object* x_4; lean_object* x_5; uint8_t x_6; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 2); -x_6 = l_Lean_Name_beq___main(x_4, x_1); +x_6 = lean_name_eq(x_4, x_1); if (x_6 == 0) { x_2 = x_5; @@ -2190,7 +2190,7 @@ lean_object* x_5; lean_object* x_6; lean_object* x_7; uint8_t x_8; x_5 = lean_ctor_get(x_3, 0); x_6 = lean_ctor_get(x_3, 1); x_7 = lean_ctor_get(x_3, 2); -x_8 = l_Lean_Name_beq___main(x_5, x_1); +x_8 = lean_name_eq(x_5, x_1); if (x_8 == 0) { lean_object* x_9; @@ -2217,7 +2217,7 @@ lean_inc(x_12); lean_inc(x_11); lean_inc(x_10); lean_dec(x_3); -x_13 = l_Lean_Name_beq___main(x_10, x_1); +x_13 = lean_name_eq(x_10, x_1); if (x_13 == 0) { lean_object* x_14; lean_object* x_15; @@ -2458,7 +2458,7 @@ else { lean_object* x_17; uint8_t x_18; x_17 = lean_array_fget(x_5, x_2); -x_18 = l_Lean_Name_beq___main(x_3, x_17); +x_18 = lean_name_eq(x_3, x_17); lean_dec(x_17); if (x_18 == 0) { @@ -2580,7 +2580,7 @@ if (x_18 == 0) lean_object* x_19; lean_object* x_20; uint8_t x_21; x_19 = lean_ctor_get(x_15, 0); x_20 = lean_ctor_get(x_15, 1); -x_21 = l_Lean_Name_beq___main(x_4, x_19); +x_21 = lean_name_eq(x_4, x_19); if (x_21 == 0) { lean_object* x_22; lean_object* x_23; lean_object* x_24; @@ -2614,7 +2614,7 @@ x_27 = lean_ctor_get(x_15, 1); lean_inc(x_27); lean_inc(x_26); lean_dec(x_15); -x_28 = l_Lean_Name_beq___main(x_4, x_26); +x_28 = lean_name_eq(x_4, x_26); if (x_28 == 0) { lean_object* x_29; lean_object* x_30; lean_object* x_31; @@ -2735,7 +2735,7 @@ if (lean_is_exclusive(x_57)) { lean_dec_ref(x_57); x_62 = lean_box(0); } -x_63 = l_Lean_Name_beq___main(x_4, x_60); +x_63 = lean_name_eq(x_4, x_60); if (x_63 == 0) { lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; @@ -2906,7 +2906,7 @@ else lean_object* x_4; lean_object* x_5; uint8_t x_6; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 2); -x_6 = l_Lean_Name_beq___main(x_4, x_1); +x_6 = lean_name_eq(x_4, x_1); if (x_6 == 0) { x_2 = x_5; @@ -3042,7 +3042,7 @@ lean_object* x_5; lean_object* x_6; lean_object* x_7; uint8_t x_8; x_5 = lean_ctor_get(x_3, 0); x_6 = lean_ctor_get(x_3, 1); x_7 = lean_ctor_get(x_3, 2); -x_8 = l_Lean_Name_beq___main(x_5, x_1); +x_8 = lean_name_eq(x_5, x_1); if (x_8 == 0) { lean_object* x_9; @@ -3069,7 +3069,7 @@ lean_inc(x_12); lean_inc(x_11); lean_inc(x_10); lean_dec(x_3); -x_13 = l_Lean_Name_beq___main(x_10, x_1); +x_13 = lean_name_eq(x_10, x_1); if (x_13 == 0) { lean_object* x_14; lean_object* x_15; @@ -3855,7 +3855,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { @@ -4919,7 +4919,7 @@ lean_object* x_11; uint8_t x_12; x_11 = lean_ctor_get(x_10, 0); lean_inc(x_11); lean_dec(x_10); -x_12 = l_Lean_Name_beq___main(x_3, x_11); +x_12 = lean_name_eq(x_3, x_11); lean_dec(x_11); return x_12; } @@ -5102,7 +5102,7 @@ lean_object* x_11; uint8_t x_12; x_11 = lean_ctor_get(x_10, 0); lean_inc(x_11); lean_dec(x_10); -x_12 = l_Lean_Name_beq___main(x_3, x_11); +x_12 = lean_name_eq(x_3, x_11); lean_dec(x_11); return x_12; } @@ -5296,7 +5296,7 @@ else { lean_object* x_9; uint8_t x_10; x_9 = lean_array_fget(x_1, x_4); -x_10 = l_Lean_Name_beq___main(x_5, x_9); +x_10 = lean_name_eq(x_5, x_9); lean_dec(x_9); if (x_10 == 0) { @@ -5346,7 +5346,7 @@ lean_inc(x_11); x_12 = lean_ctor_get(x_10, 1); lean_inc(x_12); lean_dec(x_10); -x_13 = l_Lean_Name_beq___main(x_3, x_11); +x_13 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_13 == 0) { @@ -5418,7 +5418,7 @@ lean_object* x_4; lean_object* x_5; lean_object* x_6; uint8_t x_7; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); x_6 = lean_ctor_get(x_2, 2); -x_7 = l_Lean_Name_beq___main(x_4, x_1); +x_7 = lean_name_eq(x_4, x_1); if (x_7 == 0) { x_2 = x_6; diff --git a/stage0/library/Init/Lean/Compiler/ClosedTermCache.c b/stage0/library/Init/Lean/Compiler/ClosedTermCache.c index b9d81b70f1..a1dc7e3ff2 100644 --- a/stage0/library/Init/Lean/Compiler/ClosedTermCache.c +++ b/stage0/library/Init/Lean/Compiler/ClosedTermCache.c @@ -28,10 +28,10 @@ lean_object* l_PersistentHashMap_insertAux___main___at_Lean_mkClosedTermCacheExt lean_object* lean_get_closed_term_name(lean_object*, lean_object*); extern size_t l_PersistentHashMap_insertAux___main___rarg___closed__2; lean_object* lean_array_uset(lean_object*, size_t, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_AssocList_find___main___at_Lean_getClosedTermName___spec__6(lean_object*, lean_object*); size_t l_USize_sub(size_t, size_t); extern lean_object* l_Array_empty___closed__1; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_closedTermCacheExt___elambda__2(lean_object*); lean_object* l_Lean_closedTermCacheExt___closed__7; @@ -1184,7 +1184,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { diff --git a/stage0/library/Init/Lean/Compiler/ConstFolding.c b/stage0/library/Init/Lean/Compiler/ConstFolding.c index 72d5c76e91..5bf1cdffdb 100644 --- a/stage0/library/Init/Lean/Compiler/ConstFolding.c +++ b/stage0/library/Init/Lean/Compiler/ConstFolding.c @@ -51,7 +51,6 @@ lean_object* l_Lean_Compiler_boolFoldFns___closed__7; lean_object* l_Lean_Compiler_natFoldFns___closed__28; lean_object* l_Lean_Compiler_natFoldFns___closed__18; lean_object* l_Lean_Compiler_foldNatDiv___rarg(lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_Compiler_numScalarTypes___closed__6; lean_object* l_Lean_Compiler_foldStrictAnd(uint8_t); extern lean_object* l_PersistentHashMap_mkCollisionNode___rarg___closed__1; @@ -67,6 +66,7 @@ lean_object* l_Lean_Compiler_boolFoldFns___closed__5; lean_object* l_Lean_Compiler_foldUIntSub(uint8_t, lean_object*, lean_object*); lean_object* l_Lean_Compiler_foldToNat___rarg(lean_object*); lean_object* l_Lean_Compiler_unFoldFns___closed__12; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l_Lean_Compiler_natFoldFns___closed__19; lean_object* l_Nat_decLt___boxed(lean_object*, lean_object*); lean_object* l_Lean_Compiler_foldNatDecLe___closed__2; @@ -701,7 +701,7 @@ x_4 = lean_ctor_get(x_3, 0); x_5 = lean_ctor_get(x_3, 1); x_6 = l_List_foldr___main___at_Lean_Compiler_isOfNat___spec__1(x_1, x_2, x_5); x_7 = lean_ctor_get(x_4, 2); -x_8 = l_Lean_Name_beq___main(x_7, x_1); +x_8 = lean_name_eq(x_7, x_1); if (x_8 == 0) { return x_6; @@ -762,7 +762,7 @@ x_4 = lean_ctor_get(x_3, 0); x_5 = lean_ctor_get(x_3, 1); x_6 = l_List_foldr___main___at_Lean_Compiler_isToNat___spec__1(x_1, x_2, x_5); x_7 = lean_ctor_get(x_4, 3); -x_8 = l_Lean_Name_beq___main(x_7, x_1); +x_8 = lean_name_eq(x_7, x_1); if (x_8 == 0) { return x_6; @@ -824,7 +824,7 @@ lean_object* x_4; lean_object* x_5; lean_object* x_6; uint8_t x_7; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); x_6 = lean_ctor_get(x_4, 2); -x_7 = l_Lean_Name_beq___main(x_6, x_1); +x_7 = lean_name_eq(x_6, x_1); if (x_7 == 0) { x_2 = x_5; @@ -4028,7 +4028,7 @@ x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); x_6 = lean_ctor_get(x_4, 0); x_7 = lean_ctor_get(x_4, 1); -x_8 = l_Lean_Name_beq___main(x_1, x_6); +x_8 = lean_name_eq(x_1, x_6); if (x_8 == 0) { x_2 = x_5; @@ -4089,7 +4089,7 @@ x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); x_6 = lean_ctor_get(x_4, 0); x_7 = lean_ctor_get(x_4, 1); -x_8 = l_Lean_Name_beq___main(x_1, x_6); +x_8 = lean_name_eq(x_1, x_6); if (x_8 == 0) { x_2 = x_5; diff --git a/stage0/library/Init/Lean/Compiler/ExportAttr.c b/stage0/library/Init/Lean/Compiler/ExportAttr.c index 86fb9a3707..0df465a2f0 100644 --- a/stage0/library/Init/Lean/Compiler/ExportAttr.c +++ b/stage0/library/Init/Lean/Compiler/ExportAttr.c @@ -26,11 +26,11 @@ lean_object* l_Lean_mkExportAttr___closed__1; extern lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_registerTagAttribute___spec__4___closed__1; uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_mkExportAttr___spec__4___closed__1; -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_mkExportAttr___lambda__1(lean_object*, lean_object*, lean_object*); extern lean_object* l_Array_empty___closed__1; extern lean_object* l_Lean_registerTagAttribute___closed__1; uint8_t l_Char_isDigit(uint32_t); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_mkExportAttr___spec__7(lean_object*, lean_object*); uint8_t l___private_Init_Lean_Compiler_ExportAttr_1__isValidCppId(lean_object*); @@ -750,7 +750,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { diff --git a/stage0/library/Init/Lean/Compiler/ExternAttr.c b/stage0/library/Init/Lean/Compiler/ExternAttr.c index eea1d56acc..a2aa1e7453 100644 --- a/stage0/library/Init/Lean/Compiler/ExternAttr.c +++ b/stage0/library/Init/Lean/Compiler/ExternAttr.c @@ -28,12 +28,12 @@ extern lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_registerTagAttri uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); extern lean_object* l_Lean_mkProjectionFnInfoExtension___closed__3; extern lean_object* l_Prod_HasRepr___rarg___closed__1; -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_ExternAttrData_inhabited___closed__1; extern lean_object* l_Array_empty___closed__1; extern lean_object* l_Lean_registerTagAttribute___closed__1; lean_object* l_Lean_expandExternPattern(lean_object*, lean_object*); lean_object* l_Lean_ParametricAttribute_getParam___at_Lean_getExternAttrData___spec__1___boxed(lean_object*, lean_object*, lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_mkExternAttr___lambda__2(lean_object*, lean_object*, lean_object*); lean_object* l___private_Init_Lean_Compiler_ExternAttr_1__syntaxToExternEntries___main___boxed(lean_object*, lean_object*, lean_object*); @@ -1034,7 +1034,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { @@ -2601,11 +2601,11 @@ x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); x_6 = l_Lean_ExternEntry_backend(x_4); x_7 = l___private_Init_Lean_Compiler_ExternAttr_2__syntaxToExternAttrData___closed__2; -x_8 = l_Lean_Name_beq___main(x_6, x_7); +x_8 = lean_name_eq(x_6, x_7); if (x_8 == 0) { uint8_t x_9; -x_9 = l_Lean_Name_beq___main(x_6, x_1); +x_9 = lean_name_eq(x_6, x_1); lean_dec(x_6); if (x_9 == 0) { diff --git a/stage0/library/Init/Lean/Compiler/IR/Basic.c b/stage0/library/Init/Lean/Compiler/IR/Basic.c index 74971b735b..7296623df3 100644 --- a/stage0/library/Init/Lean/Compiler/IR/Basic.c +++ b/stage0/library/Init/Lean/Compiler/IR/Basic.c @@ -39,7 +39,6 @@ lean_object* l_Lean_IR_Arg_HasBeq; uint8_t l_Array_isEqv___at_Lean_IR_IRType_beq___main___spec__1(lean_object*, lean_object*); lean_object* l_Lean_IR_AltCore_mmodifyBody___rarg(lean_object*, lean_object*, lean_object*); lean_object* l_RBNode_find___main___at_Lean_IR_VarId_alphaEqv___spec__1(lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); uint8_t l_Lean_IR_LocalContext_isJP(lean_object*, lean_object*); extern lean_object* l___private_Init_Data_Array_Basic_1__swapAtPanic_x21___rarg___closed__3; lean_object* l___private_Init_Data_Array_Basic_1__swapAtPanic_x21___at_Lean_IR_reshapeAux___main___spec__1(lean_object*); @@ -52,6 +51,7 @@ uint8_t l_Lean_IR_IRType_isStruct(lean_object*); lean_object* l_Lean_IR_mmodifyJPs(lean_object*); lean_object* l_Lean_IR_mmodifyJPs___rarg(lean_object*, lean_object*, lean_object*); uint8_t l_Lean_IR_IRType_isIrrelevant(lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l_Lean_IR_LocalContext_getJPParams(lean_object*, lean_object*); lean_object* l_Array_iterateM_u2082Aux___main___at_Lean_IR_addParamsRename___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); uint8_t l_Lean_IR_CtorInfo_isScalar(lean_object*); @@ -650,7 +650,7 @@ x_29 = lean_ctor_get(x_1, 1); x_30 = lean_ctor_get(x_2, 1); x_31 = lean_ctor_get(x_21, 0); x_32 = lean_ctor_get(x_27, 0); -x_33 = l_Lean_Name_beq___main(x_31, x_32); +x_33 = lean_name_eq(x_31, x_32); if (x_33 == 0) { uint8_t x_34; @@ -682,7 +682,7 @@ x_37 = lean_ctor_get(x_1, 0); x_38 = lean_ctor_get(x_1, 1); x_39 = lean_ctor_get(x_2, 0); x_40 = lean_ctor_get(x_2, 1); -x_41 = l_Lean_Name_beq___main(x_37, x_39); +x_41 = lean_name_eq(x_37, x_39); if (x_41 == 0) { uint8_t x_42; @@ -1093,7 +1093,7 @@ x_9 = lean_ctor_get(x_2, 1); x_10 = lean_ctor_get(x_2, 2); x_11 = lean_ctor_get(x_2, 3); x_12 = lean_ctor_get(x_2, 4); -x_13 = l_Lean_Name_beq___main(x_3, x_8); +x_13 = lean_name_eq(x_3, x_8); if (x_13 == 0) { uint8_t x_14; @@ -8915,7 +8915,7 @@ x_65 = lean_ctor_get(x_2, 0); x_66 = lean_ctor_get(x_2, 1); x_67 = lean_ctor_get(x_3, 0); x_68 = lean_ctor_get(x_3, 1); -x_69 = l_Lean_Name_beq___main(x_65, x_67); +x_69 = lean_name_eq(x_65, x_67); if (x_69 == 0) { uint8_t x_70; @@ -8946,7 +8946,7 @@ lean_object* x_73; lean_object* x_74; lean_object* x_75; uint8_t x_76; x_73 = lean_ctor_get(x_2, 0); x_74 = lean_ctor_get(x_3, 0); x_75 = lean_ctor_get(x_3, 1); -x_76 = l_Lean_Name_beq___main(x_73, x_74); +x_76 = lean_name_eq(x_73, x_74); if (x_76 == 0) { uint8_t x_77; @@ -12817,7 +12817,7 @@ lean_inc(x_175); x_176 = lean_ctor_get(x_3, 3); lean_inc(x_176); lean_dec(x_3); -x_177 = l_Lean_Name_beq___main(x_171, x_174); +x_177 = lean_name_eq(x_171, x_174); lean_dec(x_174); lean_dec(x_171); if (x_177 == 0) diff --git a/stage0/library/Init/Lean/Compiler/IR/Borrow.c b/stage0/library/Init/Lean/Compiler/IR/Borrow.c index cb74a44ccc..d09808782e 100644 --- a/stage0/library/Init/Lean/Compiler/IR/Borrow.c +++ b/stage0/library/Init/Lean/Compiler/IR/Borrow.c @@ -34,11 +34,11 @@ lean_object* l_Array_forMAux___main___at_Lean_IR_Borrow_collectDecls___spec__1(l uint8_t l_AssocList_contains___main___at_Lean_IR_Borrow_InitParamMap_visitFnBody___main___spec__2(lean_object*, lean_object*); lean_object* l_Lean_IR_Borrow_whileModifingOwnedAux___main___at_Lean_IR_Borrow_collectDecl___spec__1(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Array_umapMAux___main___at_Lean_IR_Borrow_ApplyParamMap_visitDecls___spec__1___boxed(lean_object*, lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_AssocList_foldlM___main___at_Lean_IR_Borrow_ParamMap_fmt___spec__1(lean_object*, lean_object*); lean_object* l_Lean_IR_Borrow_updateParamSet___boxed(lean_object*, lean_object*); lean_object* l_RBNode_insert___at_Lean_IR_mkIndexSet___spec__1(lean_object*, lean_object*, lean_object*); extern lean_object* l_Array_empty___closed__1; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l_Lean_IR_Borrow_InitParamMap_visitDecls(lean_object*, lean_object*, lean_object*); uint8_t l_Lean_IR_Borrow_Key_beq(lean_object*, lean_object*); lean_object* l_Lean_IR_Borrow_Key_Hashable___closed__1; @@ -182,7 +182,7 @@ if (lean_obj_tag(x_2) == 0) lean_object* x_3; lean_object* x_4; uint8_t x_5; x_3 = lean_ctor_get(x_1, 0); x_4 = lean_ctor_get(x_2, 0); -x_5 = l_Lean_Name_beq___main(x_3, x_4); +x_5 = lean_name_eq(x_3, x_4); return x_5; } else @@ -207,7 +207,7 @@ x_8 = lean_ctor_get(x_1, 0); x_9 = lean_ctor_get(x_1, 1); x_10 = lean_ctor_get(x_2, 0); x_11 = lean_ctor_get(x_2, 1); -x_12 = l_Lean_Name_beq___main(x_8, x_10); +x_12 = lean_name_eq(x_8, x_10); if (x_12 == 0) { uint8_t x_13; @@ -2533,7 +2533,7 @@ x_8 = lean_ctor_get(x_2, 1); x_9 = lean_ctor_get(x_6, 0); x_10 = lean_ctor_get(x_4, 1); lean_inc(x_10); -x_11 = l_Lean_Name_beq___main(x_10, x_7); +x_11 = lean_name_eq(x_10, x_7); lean_dec(x_10); if (x_11 == 0) { diff --git a/stage0/library/Init/Lean/Compiler/IR/CompilerM.c b/stage0/library/Init/Lean/Compiler/IR/CompilerM.c index f98f7a85b9..603c65ffac 100644 --- a/stage0/library/Init/Lean/Compiler/IR/CompilerM.c +++ b/stage0/library/Init/Lean/Compiler/IR/CompilerM.c @@ -29,7 +29,6 @@ lean_object* l_PersistentHashMap_find___at_Lean_IR_findEnvDecl___spec__2___boxed extern size_t l_PersistentHashMap_insertAux___main___rarg___closed__2; lean_object* lean_array_uset(lean_object*, size_t, lean_object*); lean_object* l_Lean_SMap_find___at_Lean_IR_findEnvDecl___spec__1(lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_IR_containsDecl_x27(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Array_iterateMAux___main___at_Lean_IR_LogEntry_fmt___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*); size_t l_USize_sub(size_t, size_t); @@ -37,6 +36,7 @@ extern lean_object* l_Array_empty___closed__1; lean_object* l_Lean_SMap_empty___at_Lean_IR_mkDeclMapExtension___spec__6; lean_object* l_Lean_IR_findDecl_x27___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_KVMap_findCore___main(lean_object*, lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l___private_Init_Lean_Compiler_IR_CompilerM_2__logDeclsAux(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_AssocList_find___main___at_Lean_IR_findEnvDecl___spec__6(lean_object*, lean_object*); @@ -810,7 +810,7 @@ else lean_object* x_4; lean_object* x_5; uint8_t x_6; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 2); -x_6 = l_Lean_Name_beq___main(x_4, x_1); +x_6 = lean_name_eq(x_4, x_1); if (x_6 == 0) { x_2 = x_5; @@ -946,7 +946,7 @@ lean_object* x_5; lean_object* x_6; lean_object* x_7; uint8_t x_8; x_5 = lean_ctor_get(x_3, 0); x_6 = lean_ctor_get(x_3, 1); x_7 = lean_ctor_get(x_3, 2); -x_8 = l_Lean_Name_beq___main(x_5, x_1); +x_8 = lean_name_eq(x_5, x_1); if (x_8 == 0) { lean_object* x_9; @@ -973,7 +973,7 @@ lean_inc(x_12); lean_inc(x_11); lean_inc(x_10); lean_dec(x_3); -x_13 = l_Lean_Name_beq___main(x_10, x_1); +x_13 = lean_name_eq(x_10, x_1); if (x_13 == 0) { lean_object* x_14; lean_object* x_15; @@ -1268,7 +1268,7 @@ else { lean_object* x_17; uint8_t x_18; x_17 = lean_array_fget(x_5, x_2); -x_18 = l_Lean_Name_beq___main(x_3, x_17); +x_18 = lean_name_eq(x_3, x_17); lean_dec(x_17); if (x_18 == 0) { @@ -1390,7 +1390,7 @@ if (x_18 == 0) lean_object* x_19; lean_object* x_20; uint8_t x_21; x_19 = lean_ctor_get(x_15, 0); x_20 = lean_ctor_get(x_15, 1); -x_21 = l_Lean_Name_beq___main(x_4, x_19); +x_21 = lean_name_eq(x_4, x_19); if (x_21 == 0) { lean_object* x_22; lean_object* x_23; lean_object* x_24; @@ -1424,7 +1424,7 @@ x_27 = lean_ctor_get(x_15, 1); lean_inc(x_27); lean_inc(x_26); lean_dec(x_15); -x_28 = l_Lean_Name_beq___main(x_4, x_26); +x_28 = lean_name_eq(x_4, x_26); if (x_28 == 0) { lean_object* x_29; lean_object* x_30; lean_object* x_31; @@ -1545,7 +1545,7 @@ if (lean_is_exclusive(x_57)) { lean_dec_ref(x_57); x_62 = lean_box(0); } -x_63 = l_Lean_Name_beq___main(x_4, x_60); +x_63 = lean_name_eq(x_4, x_60); if (x_63 == 0) { lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; @@ -1917,7 +1917,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { @@ -3005,7 +3005,7 @@ else { lean_object* x_9; uint8_t x_10; x_9 = lean_array_fget(x_1, x_4); -x_10 = l_Lean_Name_beq___main(x_5, x_9); +x_10 = lean_name_eq(x_5, x_9); lean_dec(x_9); if (x_10 == 0) { @@ -3052,7 +3052,7 @@ lean_inc(x_11); x_12 = lean_ctor_get(x_10, 1); lean_inc(x_12); lean_dec(x_10); -x_13 = l_Lean_Name_beq___main(x_3, x_11); +x_13 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_13 == 0) { @@ -3124,7 +3124,7 @@ lean_object* x_4; lean_object* x_5; lean_object* x_6; uint8_t x_7; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); x_6 = lean_ctor_get(x_2, 2); -x_7 = l_Lean_Name_beq___main(x_4, x_1); +x_7 = lean_name_eq(x_4, x_1); if (x_7 == 0) { x_2 = x_6; @@ -3321,7 +3321,7 @@ lean_object* x_11; uint8_t x_12; x_11 = lean_ctor_get(x_10, 0); lean_inc(x_11); lean_dec(x_10); -x_12 = l_Lean_Name_beq___main(x_3, x_11); +x_12 = lean_name_eq(x_3, x_11); lean_dec(x_11); return x_12; } @@ -3754,7 +3754,7 @@ else lean_object* x_7; lean_object* x_8; uint8_t x_9; x_7 = lean_array_fget(x_2, x_3); x_8 = l_Lean_IR_Decl_name(x_7); -x_9 = l_Lean_Name_beq___main(x_8, x_1); +x_9 = lean_name_eq(x_8, x_1); lean_dec(x_8); if (x_9 == 0) { @@ -3862,7 +3862,7 @@ lean_object* x_8; lean_object* x_9; uint8_t x_10; x_8 = lean_array_fget(x_3, x_5); x_9 = l_Lean_IR_Decl_name(x_8); lean_dec(x_8); -x_10 = l_Lean_Name_beq___main(x_9, x_1); +x_10 = lean_name_eq(x_9, x_1); lean_dec(x_9); if (x_10 == 0) { diff --git a/stage0/library/Init/Lean/Compiler/IR/ElimDeadBranches.c b/stage0/library/Init/Lean/Compiler/IR/ElimDeadBranches.c index 8fee83628a..e9ad6e3c94 100644 --- a/stage0/library/Init/Lean/Compiler/IR/ElimDeadBranches.c +++ b/stage0/library/Init/Lean/Compiler/IR/ElimDeadBranches.c @@ -50,7 +50,6 @@ lean_object* l_Lean_IR_UnreachableBranches_Value_merge(lean_object*, lean_object lean_object* l_HashMapImp_find___at_Lean_IR_UnreachableBranches_getFunctionSummary___spec__5___boxed(lean_object*, lean_object*); extern lean_object* l_Lean_List_format___rarg___closed__1; lean_object* l_Array_umapMAux___main___at_Lean_IR_elimDeadBranches___spec__2___boxed(lean_object*, lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); uint8_t l_List_foldr___main___at_Lean_IR_UnreachableBranches_containsCtor___main___spec__1(lean_object*, uint8_t, lean_object*); lean_object* l_Lean_fmt___at_Lean_IR_UnreachableBranches_Value_format___main___spec__1(lean_object*); lean_object* l_Lean_IR_UnreachableBranches_functionSummariesExt___elambda__4___rarg(lean_object*); @@ -60,6 +59,7 @@ extern lean_object* l_Lean_Format_flatten___main___closed__1; lean_object* l___private_Init_Util_1__mkPanicMessage(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_IR_UnreachableBranches_functionSummariesExt___elambda__3___boxed(lean_object*, lean_object*); lean_object* l_Lean_IR_UnreachableBranches_functionSummariesExt___elambda__2___boxed(lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_PersistentArray_modifyAux___main___at_Lean_IR_UnreachableBranches_updateCurrFnSummary___spec__2(lean_object*, lean_object*, lean_object*, size_t, size_t); lean_object* l_Lean_IR_UnreachableBranches_Value_format___main___closed__4; @@ -1924,7 +1924,7 @@ else { lean_object* x_17; uint8_t x_18; x_17 = lean_array_fget(x_5, x_2); -x_18 = l_Lean_Name_beq___main(x_3, x_17); +x_18 = lean_name_eq(x_3, x_17); lean_dec(x_17); if (x_18 == 0) { @@ -2046,7 +2046,7 @@ if (x_18 == 0) lean_object* x_19; lean_object* x_20; uint8_t x_21; x_19 = lean_ctor_get(x_15, 0); x_20 = lean_ctor_get(x_15, 1); -x_21 = l_Lean_Name_beq___main(x_4, x_19); +x_21 = lean_name_eq(x_4, x_19); if (x_21 == 0) { lean_object* x_22; lean_object* x_23; lean_object* x_24; @@ -2080,7 +2080,7 @@ x_27 = lean_ctor_get(x_15, 1); lean_inc(x_27); lean_inc(x_26); lean_dec(x_15); -x_28 = l_Lean_Name_beq___main(x_4, x_26); +x_28 = lean_name_eq(x_4, x_26); if (x_28 == 0) { lean_object* x_29; lean_object* x_30; lean_object* x_31; @@ -2201,7 +2201,7 @@ if (lean_is_exclusive(x_57)) { lean_dec_ref(x_57); x_62 = lean_box(0); } -x_63 = l_Lean_Name_beq___main(x_4, x_60); +x_63 = lean_name_eq(x_4, x_60); if (x_63 == 0) { lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; @@ -2372,7 +2372,7 @@ else lean_object* x_4; lean_object* x_5; uint8_t x_6; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 2); -x_6 = l_Lean_Name_beq___main(x_4, x_1); +x_6 = lean_name_eq(x_4, x_1); if (x_6 == 0) { x_2 = x_5; @@ -2508,7 +2508,7 @@ lean_object* x_5; lean_object* x_6; lean_object* x_7; uint8_t x_8; x_5 = lean_ctor_get(x_3, 0); x_6 = lean_ctor_get(x_3, 1); x_7 = lean_ctor_get(x_3, 2); -x_8 = l_Lean_Name_beq___main(x_5, x_1); +x_8 = lean_name_eq(x_5, x_1); if (x_8 == 0) { lean_object* x_9; @@ -2535,7 +2535,7 @@ lean_inc(x_12); lean_inc(x_11); lean_inc(x_10); lean_dec(x_3); -x_13 = l_Lean_Name_beq___main(x_10, x_1); +x_13 = lean_name_eq(x_10, x_1); if (x_13 == 0) { lean_object* x_14; lean_object* x_15; @@ -2904,7 +2904,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { @@ -4049,7 +4049,7 @@ else { lean_object* x_9; uint8_t x_10; x_9 = lean_array_fget(x_1, x_4); -x_10 = l_Lean_Name_beq___main(x_5, x_9); +x_10 = lean_name_eq(x_5, x_9); lean_dec(x_9); if (x_10 == 0) { @@ -4096,7 +4096,7 @@ lean_inc(x_11); x_12 = lean_ctor_get(x_10, 1); lean_inc(x_12); lean_dec(x_10); -x_13 = l_Lean_Name_beq___main(x_3, x_11); +x_13 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_13 == 0) { @@ -4168,7 +4168,7 @@ lean_object* x_4; lean_object* x_5; lean_object* x_6; uint8_t x_7; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); x_6 = lean_ctor_get(x_2, 2); -x_7 = l_Lean_Name_beq___main(x_4, x_1); +x_7 = lean_name_eq(x_4, x_1); if (x_7 == 0) { x_2 = x_6; @@ -5113,7 +5113,7 @@ lean_object* x_7; lean_object* x_8; uint8_t x_9; x_7 = lean_array_fget(x_2, x_3); x_8 = l_Lean_IR_Decl_name(x_7); lean_dec(x_7); -x_9 = l_Lean_Name_beq___main(x_8, x_1); +x_9 = lean_name_eq(x_8, x_1); lean_dec(x_8); if (x_9 == 0) { diff --git a/stage0/library/Init/Lean/Compiler/IR/EmitC.c b/stage0/library/Init/Lean/Compiler/IR/EmitC.c index 1b69786667..fee97987ab 100644 --- a/stage0/library/Init/Lean/Compiler/IR/EmitC.c +++ b/stage0/library/Init/Lean/Compiler/IR/EmitC.c @@ -79,7 +79,6 @@ lean_object* lean_array_fswap(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_IR_EmitC_emitInc___closed__5; extern lean_object* l_Prod_HasRepr___rarg___closed__1; lean_object* l_Lean_IR_EmitC_emitSProj___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Nat_anyAux___main___at_Lean_IR_EmitC_overwriteParam___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_IR_EmitC_emitDeclAux___closed__3; lean_object* l_Lean_IR_EmitC_emitMainFn___closed__51; @@ -102,6 +101,7 @@ extern lean_object* l_Lean_closureMaxArgs; uint8_t l_Lean_IR_IRType_isIrrelevant(lean_object*); lean_object* l_Lean_IR_EmitC_emitMarkPersistent(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_List_map___main___at_Lean_IR_EmitC_toStringArgs___spec__1(lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l_Lean_IR_EmitC_emitApp___closed__3; lean_object* lean_ir_emit_c(lean_object*, lean_object*); lean_object* l_Lean_IR_EmitC_emitMainFn___closed__35; @@ -1141,7 +1141,7 @@ if (lean_obj_tag(x_9) == 0) { lean_object* x_10; uint8_t x_11; x_10 = l_Lean_IR_EmitC_toCName___closed__2; -x_11 = l_Lean_Name_beq___main(x_1, x_10); +x_11 = lean_name_eq(x_1, x_10); if (x_11 == 0) { lean_object* x_12; lean_object* x_13; @@ -1216,7 +1216,7 @@ if (lean_obj_tag(x_23) == 0) { lean_object* x_24; uint8_t x_25; x_24 = l_Lean_IR_EmitC_toCName___closed__2; -x_25 = l_Lean_Name_beq___main(x_1, x_24); +x_25 = lean_name_eq(x_1, x_24); if (x_25 == 0) { lean_object* x_26; lean_object* x_27; lean_object* x_28; @@ -3653,7 +3653,7 @@ x_4 = lean_ctor_get(x_2, 1); x_5 = l_List_foldr___main___at_Lean_IR_EmitC_hasMainFn___spec__1(x_1, x_4); x_6 = l_Lean_IR_Decl_name(x_3); x_7 = l_Lean_IR_EmitC_toCName___closed__2; -x_8 = l_Lean_Name_beq___main(x_6, x_7); +x_8 = lean_name_eq(x_6, x_7); lean_dec(x_6); if (x_8 == 0) { @@ -9304,7 +9304,7 @@ lean_object* x_7; lean_object* x_8; lean_object* x_9; uint8_t x_10; x_7 = lean_ctor_get(x_2, 0); x_8 = lean_ctor_get(x_6, 0); x_9 = lean_ctor_get(x_4, 3); -x_10 = l_Lean_Name_beq___main(x_7, x_9); +x_10 = lean_name_eq(x_7, x_9); if (x_10 == 0) { uint8_t x_11; lean_object* x_12; lean_object* x_13; diff --git a/stage0/library/Init/Lean/Compiler/IR/EmitUtil.c b/stage0/library/Init/Lean/Compiler/IR/EmitUtil.c index a89e6dc7a0..97fbbab364 100644 --- a/stage0/library/Init/Lean/Compiler/IR/EmitUtil.c +++ b/stage0/library/Init/Lean/Compiler/IR/EmitUtil.c @@ -25,8 +25,8 @@ lean_object* l_Array_forMAux___main___at_Lean_IR_CollectUsedDecls_collectFnBody_ lean_object* l_AssocList_foldlM___main___at_Lean_IR_CollectMaps_collectVar___spec__5(lean_object*, lean_object*); lean_object* l_Lean_IR_collectUsedDecls(lean_object*, lean_object*, lean_object*); lean_object* lean_array_uset(lean_object*, size_t, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_IR_UsesLeanNamespace_visitFnBody___main(lean_object*, lean_object*, lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l_Lean_IR_UsesLeanNamespace_leanNameSpacePrefix; lean_object* lean_array_get_size(lean_object*); lean_object* l_Lean_IR_CollectUsedDecls_collectFnBody(lean_object*, lean_object*, lean_object*); @@ -118,7 +118,7 @@ return x_10; else { uint8_t x_11; -x_11 = l_Lean_Name_beq___main(x_7, x_1); +x_11 = lean_name_eq(x_7, x_1); return x_11; } } diff --git a/stage0/library/Init/Lean/Compiler/IR/Format.c b/stage0/library/Init/Lean/Compiler/IR/Format.c index 58903742c1..1386958f71 100644 --- a/stage0/library/Init/Lean/Compiler/IR/Format.c +++ b/stage0/library/Init/Lean/Compiler/IR/Format.c @@ -33,8 +33,8 @@ lean_object* l_Lean_IR_formatFnBodyHead___closed__7; lean_object* l_Lean_IR_formatAlt___closed__1; lean_object* l___private_Init_Lean_Compiler_IR_Format_3__formatCtorInfo___closed__3; lean_object* l_Lean_IR_formatFnBodyHead___closed__24; -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); extern lean_object* l_Lean_Format_flatten___main___closed__1; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l_Lean_IR_formatFnBody___main___closed__3; lean_object* l___private_Init_Lean_Compiler_IR_Format_5__formatIRType___main___closed__22; lean_object* l___private_Init_Lean_Compiler_IR_Format_6__formatParam___closed__1; @@ -452,7 +452,7 @@ lean_ctor_set_uint8(x_10, sizeof(void*)*2, x_8); x_11 = lean_unsigned_to_nat(0u); x_12 = lean_nat_dec_lt(x_11, x_4); x_13 = lean_box(0); -x_14 = l_Lean_Name_beq___main(x_2, x_13); +x_14 = lean_name_eq(x_2, x_13); if (x_12 == 0) { uint8_t x_15; diff --git a/stage0/library/Init/Lean/Compiler/IR/ResetReuse.c b/stage0/library/Init/Lean/Compiler/IR/ResetReuse.c index 57411a7f4f..6c2e05bb3a 100644 --- a/stage0/library/Init/Lean/Compiler/IR/ResetReuse.c +++ b/stage0/library/Init/Lean/Compiler/IR/ResetReuse.c @@ -21,9 +21,9 @@ lean_object* l___private_Init_Lean_Compiler_IR_ResetReuse_9__D___boxed(lean_obje lean_object* l___private_Init_Lean_Compiler_IR_ResetReuse_8__Dmain(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Init_Lean_Compiler_IR_ResetReuse_1__mayReuse___boxed(lean_object*, lean_object*); lean_object* l___private_Init_Lean_Compiler_IR_ResetReuse_4__tryS___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); extern lean_object* l_Array_empty___closed__1; lean_object* l___private_Init_Lean_Compiler_IR_ResetReuse_2__S___main___boxed(lean_object*, lean_object*, lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); uint8_t l_Lean_IR_HasIndex_visitFnBody___main(lean_object*, lean_object*); uint8_t l_Lean_IR_CtorInfo_isScalar(lean_object*); lean_object* lean_array_get_size(lean_object*); @@ -109,7 +109,7 @@ x_15 = lean_ctor_get(x_1, 0); x_16 = l_Lean_Name_getPrefix(x_15); x_17 = lean_ctor_get(x_2, 0); x_18 = l_Lean_Name_getPrefix(x_17); -x_19 = l_Lean_Name_beq___main(x_16, x_18); +x_19 = lean_name_eq(x_16, x_18); lean_dec(x_18); lean_dec(x_16); return x_19; diff --git a/stage0/library/Init/Lean/Compiler/ImplementedByAttr.c b/stage0/library/Init/Lean/Compiler/ImplementedByAttr.c index 17e32ae7ff..900fc3fd35 100644 --- a/stage0/library/Init/Lean/Compiler/ImplementedByAttr.c +++ b/stage0/library/Init/Lean/Compiler/ImplementedByAttr.c @@ -23,11 +23,11 @@ lean_object* l_Lean_Compiler_mkImplementedByAttr___lambda__1___boxed(lean_object extern lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_registerTagAttribute___spec__4___closed__1; uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); lean_object* l_RBNode_find___main___at_Lean_Compiler_getImplementedBy___spec__2(lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_Compiler_mkImplementedByAttr___lambda__1___closed__4; extern lean_object* l_Array_empty___closed__1; extern lean_object* l_Lean_registerTagAttribute___closed__1; lean_object* l_Array_binSearchAux___main___at_Lean_Compiler_getImplementedBy___spec__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* lean_array_push(lean_object*, lean_object*); lean_object* lean_array_get_size(lean_object*); @@ -374,7 +374,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { diff --git a/stage0/library/Init/Lean/Compiler/InitAttr.c b/stage0/library/Init/Lean/Compiler/InitAttr.c index 57aedc0d78..2737734ab0 100644 --- a/stage0/library/Init/Lean/Compiler/InitAttr.c +++ b/stage0/library/Init/Lean/Compiler/InitAttr.c @@ -25,10 +25,10 @@ lean_object* l_Lean_PersistentEnvExtension_getModuleEntries___rarg(lean_object*, extern lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_registerTagAttribute___spec__4___closed__1; uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_mkInitAttr___spec__4(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); extern lean_object* l_Array_empty___closed__1; lean_object* l_Lean_mkInitAttr___lambda__1___closed__11; extern lean_object* l_Lean_registerTagAttribute___closed__1; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* lean_array_push(lean_object*, lean_object*); lean_object* lean_array_get_size(lean_object*); @@ -579,7 +579,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { diff --git a/stage0/library/Init/Lean/Compiler/InlineAttrs.c b/stage0/library/Init/Lean/Compiler/InlineAttrs.c index cf24dffa80..8a1ba57315 100644 --- a/stage0/library/Init/Lean/Compiler/InlineAttrs.c +++ b/stage0/library/Init/Lean/Compiler/InlineAttrs.c @@ -24,11 +24,11 @@ uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); lean_object* l_Lean_Compiler_mkInlineAttrs___closed__16; lean_object* l_RBNode_fold___main___at_Lean_Compiler_mkInlineAttrs___spec__2___boxed(lean_object*, lean_object*); uint8_t lean_has_noinline_attribute(lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_RBNode_fold___main___at_Lean_Compiler_mkInlineAttrs___spec__2(lean_object*, lean_object*); extern lean_object* l_Array_empty___closed__1; extern lean_object* l_Lean_registerTagAttribute___closed__1; lean_object* l_Lean_Compiler_mkInlineAttrs___closed__10; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_List_map___main___at_Lean_Compiler_mkInlineAttrs___spec__8___boxed(lean_object*, lean_object*, lean_object*, lean_object*); uint8_t l_Lean_Compiler_InlineAttributeKind_beq(uint8_t, uint8_t); @@ -531,7 +531,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { diff --git a/stage0/library/Init/Lean/Compiler/Specialize.c b/stage0/library/Init/Lean/Compiler/Specialize.c index 2b0660892f..6d9f5792d8 100644 --- a/stage0/library/Init/Lean/Compiler/Specialize.c +++ b/stage0/library/Init/Lean/Compiler/Specialize.c @@ -48,7 +48,6 @@ lean_object* l_AssocList_foldlM___main___at_Lean_Compiler_SpecState_addEntry___s lean_object* lean_array_uset(lean_object*, size_t, lean_object*); lean_object* l_Lean_Compiler_mkSpecializeAttrs___lambda__1(lean_object*, lean_object*, uint8_t); lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_Compiler_mkSpecializeAttrs___spec__4(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_Compiler_mkSpecExtension___lambda__1___boxed(lean_object*); size_t l_USize_sub(size_t, size_t); extern lean_object* l_Array_empty___closed__1; @@ -56,6 +55,7 @@ lean_object* l_AssocList_replace___main___at_Lean_Compiler_SpecState_addEntry___ extern lean_object* l_Lean_registerTagAttribute___closed__1; lean_object* l_PersistentHashMap_findAux___main___at_Lean_Compiler_getCachedSpecialization___spec__3___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Compiler_mkSpecExtension___closed__1; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_PersistentHashMap_insertAux___main___at_Lean_Compiler_SpecState_addEntry___spec__14___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_PersistentHashMap_insert___at_Lean_Compiler_SpecState_addEntry___spec__13(lean_object*, lean_object*, lean_object*); @@ -611,7 +611,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { @@ -2450,7 +2450,7 @@ else { lean_object* x_17; uint8_t x_18; x_17 = lean_array_fget(x_5, x_2); -x_18 = l_Lean_Name_beq___main(x_3, x_17); +x_18 = lean_name_eq(x_3, x_17); lean_dec(x_17); if (x_18 == 0) { @@ -2572,7 +2572,7 @@ if (x_18 == 0) lean_object* x_19; lean_object* x_20; uint8_t x_21; x_19 = lean_ctor_get(x_15, 0); x_20 = lean_ctor_get(x_15, 1); -x_21 = l_Lean_Name_beq___main(x_4, x_19); +x_21 = lean_name_eq(x_4, x_19); if (x_21 == 0) { lean_object* x_22; lean_object* x_23; lean_object* x_24; @@ -2606,7 +2606,7 @@ x_27 = lean_ctor_get(x_15, 1); lean_inc(x_27); lean_inc(x_26); lean_dec(x_15); -x_28 = l_Lean_Name_beq___main(x_4, x_26); +x_28 = lean_name_eq(x_4, x_26); if (x_28 == 0) { lean_object* x_29; lean_object* x_30; lean_object* x_31; @@ -2727,7 +2727,7 @@ if (lean_is_exclusive(x_57)) { lean_dec_ref(x_57); x_62 = lean_box(0); } -x_63 = l_Lean_Name_beq___main(x_4, x_60); +x_63 = lean_name_eq(x_4, x_60); if (x_63 == 0) { lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; @@ -2898,7 +2898,7 @@ else lean_object* x_4; lean_object* x_5; uint8_t x_6; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 2); -x_6 = l_Lean_Name_beq___main(x_4, x_1); +x_6 = lean_name_eq(x_4, x_1); if (x_6 == 0) { x_2 = x_5; @@ -3034,7 +3034,7 @@ lean_object* x_5; lean_object* x_6; lean_object* x_7; uint8_t x_8; x_5 = lean_ctor_get(x_3, 0); x_6 = lean_ctor_get(x_3, 1); x_7 = lean_ctor_get(x_3, 2); -x_8 = l_Lean_Name_beq___main(x_5, x_1); +x_8 = lean_name_eq(x_5, x_1); if (x_8 == 0) { lean_object* x_9; @@ -3061,7 +3061,7 @@ lean_inc(x_12); lean_inc(x_11); lean_inc(x_10); lean_dec(x_3); -x_13 = l_Lean_Name_beq___main(x_10, x_1); +x_13 = lean_name_eq(x_10, x_1); if (x_13 == 0) { lean_object* x_14; lean_object* x_15; @@ -4442,7 +4442,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { @@ -5522,7 +5522,7 @@ else { lean_object* x_9; uint8_t x_10; x_9 = lean_array_fget(x_1, x_4); -x_10 = l_Lean_Name_beq___main(x_5, x_9); +x_10 = lean_name_eq(x_5, x_9); lean_dec(x_9); if (x_10 == 0) { @@ -5569,7 +5569,7 @@ lean_inc(x_11); x_12 = lean_ctor_get(x_10, 1); lean_inc(x_12); lean_dec(x_10); -x_13 = l_Lean_Name_beq___main(x_3, x_11); +x_13 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_13 == 0) { @@ -5641,7 +5641,7 @@ lean_object* x_4; lean_object* x_5; lean_object* x_6; uint8_t x_7; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); x_6 = lean_ctor_get(x_2, 2); -x_7 = l_Lean_Name_beq___main(x_4, x_1); +x_7 = lean_name_eq(x_4, x_1); if (x_7 == 0) { x_2 = x_6; diff --git a/stage0/library/Init/Lean/Compiler/Util.c b/stage0/library/Init/Lean/Compiler/Util.c index 6c0602723a..73ef0d7723 100644 --- a/stage0/library/Init/Lean/Compiler/Util.c +++ b/stage0/library/Init/Lean/Compiler/Util.c @@ -22,9 +22,9 @@ lean_object* l_List_map___main___at___private_Init_Lean_Compiler_Util_1__getDecl lean_object* l_Lean_Compiler_mkLcProof___closed__3; lean_object* l_Lean_Compiler_objectType; lean_object* l_Lean_Compiler_objectType___closed__2; -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_Compiler_mkLcProof___closed__2; lean_object* l_Lean_Compiler_atMostOnce_visit___main(lean_object*, lean_object*, lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l_Lean_Compiler_neutralExpr___closed__2; lean_object* l_Lean_Compiler_checkIsDefinition___closed__3; lean_object* lean_string_append(lean_object*, lean_object*); @@ -323,7 +323,7 @@ return x_3; else { uint8_t x_7; -x_7 = l_Lean_Name_beq___main(x_1, x_2); +x_7 = lean_name_eq(x_1, x_2); lean_ctor_set_uint8(x_3, 0, x_7); return x_3; } @@ -344,7 +344,7 @@ return x_9; else { uint8_t x_10; lean_object* x_11; -x_10 = l_Lean_Name_beq___main(x_1, x_2); +x_10 = lean_name_eq(x_1, x_2); x_11 = lean_alloc_ctor(0, 0, 2); lean_ctor_set_uint8(x_11, 0, x_10); lean_ctor_set_uint8(x_11, 1, x_8); @@ -367,7 +367,7 @@ x_13 = !lean_is_exclusive(x_3); if (x_13 == 0) { uint8_t x_14; -x_14 = l_Lean_Name_beq___main(x_1, x_2); +x_14 = lean_name_eq(x_1, x_2); if (x_14 == 0) { uint8_t x_15; @@ -389,7 +389,7 @@ else { uint8_t x_17; lean_dec(x_3); -x_17 = l_Lean_Name_beq___main(x_1, x_2); +x_17 = lean_name_eq(x_1, x_2); if (x_17 == 0) { uint8_t x_18; lean_object* x_19; @@ -448,7 +448,7 @@ else { lean_object* x_7; uint8_t x_8; x_7 = lean_ctor_get(x_2, 0); -x_8 = l_Lean_Name_beq___main(x_7, x_1); +x_8 = lean_name_eq(x_7, x_1); lean_ctor_set_uint8(x_3, 0, x_8); return x_3; } @@ -470,7 +470,7 @@ else { lean_object* x_11; uint8_t x_12; lean_object* x_13; x_11 = lean_ctor_get(x_2, 0); -x_12 = l_Lean_Name_beq___main(x_11, x_1); +x_12 = lean_name_eq(x_11, x_1); x_13 = lean_alloc_ctor(0, 0, 2); lean_ctor_set_uint8(x_13, 0, x_12); lean_ctor_set_uint8(x_13, 1, x_9); @@ -494,7 +494,7 @@ if (x_15 == 0) { lean_object* x_16; uint8_t x_17; x_16 = lean_ctor_get(x_2, 0); -x_17 = l_Lean_Name_beq___main(x_16, x_1); +x_17 = lean_name_eq(x_16, x_1); if (x_17 == 0) { uint8_t x_18; @@ -517,7 +517,7 @@ else lean_object* x_20; uint8_t x_21; lean_dec(x_3); x_20 = lean_ctor_get(x_2, 0); -x_21 = l_Lean_Name_beq___main(x_20, x_1); +x_21 = lean_name_eq(x_20, x_1); if (x_21 == 0) { uint8_t x_22; lean_object* x_23; diff --git a/stage0/library/Init/Lean/Elaborator/Alias.c b/stage0/library/Init/Lean/Elaborator/Alias.c index 833b9101ea..2cfb318de1 100644 --- a/stage0/library/Init/Lean/Elaborator/Alias.c +++ b/stage0/library/Init/Lean/Elaborator/Alias.c @@ -28,13 +28,13 @@ lean_object* l_Lean_aliasExtension___closed__5; extern size_t l_PersistentHashMap_insertAux___main___rarg___closed__2; lean_object* lean_array_uset(lean_object*, size_t, lean_object*); uint8_t l_List_elem___main___at_Lean_addAliasEntry___spec__18(lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_SMap_find___at_Lean_addAliasEntry___spec__1___boxed(lean_object*, lean_object*); lean_object* l_Lean_SMap_find___at_Lean_addAliasEntry___spec__1(lean_object*, lean_object*); lean_object* l_Lean_aliasExtension___closed__3; size_t l_USize_sub(size_t, size_t); extern lean_object* l_Array_empty___closed__1; lean_object* l_Lean_aliasExtension___elambda__4___boxed(lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); uint8_t l_AssocList_contains___main___at_Lean_addAliasEntry___spec__13(lean_object*, lean_object*); lean_object* lean_array_push(lean_object*, lean_object*); @@ -166,7 +166,7 @@ else { lean_object* x_9; uint8_t x_10; x_9 = lean_array_fget(x_1, x_4); -x_10 = l_Lean_Name_beq___main(x_5, x_9); +x_10 = lean_name_eq(x_5, x_9); lean_dec(x_9); if (x_10 == 0) { @@ -213,7 +213,7 @@ lean_inc(x_11); x_12 = lean_ctor_get(x_10, 1); lean_inc(x_12); lean_dec(x_10); -x_13 = l_Lean_Name_beq___main(x_3, x_11); +x_13 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_13 == 0) { @@ -285,7 +285,7 @@ lean_object* x_4; lean_object* x_5; lean_object* x_6; uint8_t x_7; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); x_6 = lean_ctor_get(x_2, 2); -x_7 = l_Lean_Name_beq___main(x_4, x_1); +x_7 = lean_name_eq(x_4, x_1); if (x_7 == 0) { x_2 = x_6; @@ -393,7 +393,7 @@ else { lean_object* x_17; uint8_t x_18; x_17 = lean_array_fget(x_5, x_2); -x_18 = l_Lean_Name_beq___main(x_3, x_17); +x_18 = lean_name_eq(x_3, x_17); lean_dec(x_17); if (x_18 == 0) { @@ -515,7 +515,7 @@ if (x_18 == 0) lean_object* x_19; lean_object* x_20; uint8_t x_21; x_19 = lean_ctor_get(x_15, 0); x_20 = lean_ctor_get(x_15, 1); -x_21 = l_Lean_Name_beq___main(x_4, x_19); +x_21 = lean_name_eq(x_4, x_19); if (x_21 == 0) { lean_object* x_22; lean_object* x_23; lean_object* x_24; @@ -549,7 +549,7 @@ x_27 = lean_ctor_get(x_15, 1); lean_inc(x_27); lean_inc(x_26); lean_dec(x_15); -x_28 = l_Lean_Name_beq___main(x_4, x_26); +x_28 = lean_name_eq(x_4, x_26); if (x_28 == 0) { lean_object* x_29; lean_object* x_30; lean_object* x_31; @@ -670,7 +670,7 @@ if (lean_is_exclusive(x_57)) { lean_dec_ref(x_57); x_62 = lean_box(0); } -x_63 = l_Lean_Name_beq___main(x_4, x_60); +x_63 = lean_name_eq(x_4, x_60); if (x_63 == 0) { lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; @@ -841,7 +841,7 @@ else lean_object* x_4; lean_object* x_5; uint8_t x_6; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 2); -x_6 = l_Lean_Name_beq___main(x_4, x_1); +x_6 = lean_name_eq(x_4, x_1); if (x_6 == 0) { x_2 = x_5; @@ -977,7 +977,7 @@ lean_object* x_5; lean_object* x_6; lean_object* x_7; uint8_t x_8; x_5 = lean_ctor_get(x_3, 0); x_6 = lean_ctor_get(x_3, 1); x_7 = lean_ctor_get(x_3, 2); -x_8 = l_Lean_Name_beq___main(x_5, x_1); +x_8 = lean_name_eq(x_5, x_1); if (x_8 == 0) { lean_object* x_9; @@ -1004,7 +1004,7 @@ lean_inc(x_12); lean_inc(x_11); lean_inc(x_10); lean_dec(x_3); -x_13 = l_Lean_Name_beq___main(x_10, x_1); +x_13 = lean_name_eq(x_10, x_1); if (x_13 == 0) { lean_object* x_14; lean_object* x_15; @@ -1214,7 +1214,7 @@ else lean_object* x_4; lean_object* x_5; uint8_t x_6; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); -x_6 = l_Lean_Name_beq___main(x_1, x_4); +x_6 = lean_name_eq(x_1, x_4); if (x_6 == 0) { x_2 = x_5; @@ -1556,7 +1556,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { diff --git a/stage0/library/Init/Lean/Elaborator/Basic.c b/stage0/library/Init/Lean/Elaborator/Basic.c index c00aec57aa..2b48e3ea87 100644 --- a/stage0/library/Init/Lean/Elaborator/Basic.c +++ b/stage0/library/Init/Lean/Elaborator/Basic.c @@ -63,7 +63,6 @@ extern lean_object* l_Lean_nameToExprAux___main___closed__4; lean_object* l_Lean_Elab_modifyScope(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Elab_logErrorUsingCmdPos(lean_object*, lean_object*, lean_object*); lean_object* l_PersistentHashMap_findAux___main___at_Lean_Elab_elabCommand___spec__3(lean_object*, size_t, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_Elab_logError(lean_object*); lean_object* l_Lean_ElabException_Inhabited; lean_object* l_Lean_ElabException_Inhabited___closed__2; @@ -84,6 +83,7 @@ lean_object* l_Lean_Elab_mkForall___boxed(lean_object*, lean_object*, lean_objec lean_object* l_Lean_Elab_logUnknownDecl___rarg___closed__1; lean_object* l_Lean_Elab_runElab___at_Lean_Elab_processCommand___spec__1(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Elab_getEnv___boxed(lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_Elab_logUnknownDecl___rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_ElabException_Inhabited___closed__1; @@ -525,7 +525,7 @@ x_6 = lean_ctor_get(x_1, 0); x_7 = lean_ctor_get(x_1, 1); x_8 = lean_ctor_get(x_2, 0); x_9 = lean_ctor_get(x_2, 1); -x_10 = l_Lean_Name_beq___main(x_6, x_8); +x_10 = lean_name_eq(x_6, x_8); if (x_10 == 0) { uint8_t x_11; @@ -808,7 +808,7 @@ else lean_object* x_4; lean_object* x_5; uint8_t x_6; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 2); -x_6 = l_Lean_Name_beq___main(x_4, x_1); +x_6 = lean_name_eq(x_4, x_1); if (x_6 == 0) { x_2 = x_5; @@ -856,7 +856,7 @@ else { lean_object* x_7; uint8_t x_8; x_7 = lean_array_fget(x_1, x_2); -x_8 = l_Lean_Name_beq___main(x_3, x_7); +x_8 = lean_name_eq(x_3, x_7); lean_dec(x_7); if (x_8 == 0) { @@ -898,7 +898,7 @@ lean_object* x_11; uint8_t x_12; x_11 = lean_ctor_get(x_10, 0); lean_inc(x_11); lean_dec(x_10); -x_12 = l_Lean_Name_beq___main(x_3, x_11); +x_12 = lean_name_eq(x_3, x_11); lean_dec(x_11); return x_12; } @@ -1019,7 +1019,7 @@ else { lean_object* x_17; uint8_t x_18; x_17 = lean_array_fget(x_5, x_2); -x_18 = l_Lean_Name_beq___main(x_3, x_17); +x_18 = lean_name_eq(x_3, x_17); lean_dec(x_17); if (x_18 == 0) { @@ -1141,7 +1141,7 @@ if (x_18 == 0) lean_object* x_19; lean_object* x_20; uint8_t x_21; x_19 = lean_ctor_get(x_15, 0); x_20 = lean_ctor_get(x_15, 1); -x_21 = l_Lean_Name_beq___main(x_4, x_19); +x_21 = lean_name_eq(x_4, x_19); if (x_21 == 0) { lean_object* x_22; lean_object* x_23; lean_object* x_24; @@ -1175,7 +1175,7 @@ x_27 = lean_ctor_get(x_15, 1); lean_inc(x_27); lean_inc(x_26); lean_dec(x_15); -x_28 = l_Lean_Name_beq___main(x_4, x_26); +x_28 = lean_name_eq(x_4, x_26); if (x_28 == 0) { lean_object* x_29; lean_object* x_30; lean_object* x_31; @@ -1296,7 +1296,7 @@ if (lean_is_exclusive(x_57)) { lean_dec_ref(x_57); x_62 = lean_box(0); } -x_63 = l_Lean_Name_beq___main(x_4, x_60); +x_63 = lean_name_eq(x_4, x_60); if (x_63 == 0) { lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; @@ -1574,7 +1574,7 @@ lean_object* x_5; lean_object* x_6; lean_object* x_7; uint8_t x_8; x_5 = lean_ctor_get(x_3, 0); x_6 = lean_ctor_get(x_3, 1); x_7 = lean_ctor_get(x_3, 2); -x_8 = l_Lean_Name_beq___main(x_5, x_1); +x_8 = lean_name_eq(x_5, x_1); if (x_8 == 0) { lean_object* x_9; @@ -1601,7 +1601,7 @@ lean_inc(x_12); lean_inc(x_11); lean_inc(x_10); lean_dec(x_3); -x_13 = l_Lean_Name_beq___main(x_10, x_1); +x_13 = lean_name_eq(x_10, x_1); if (x_13 == 0) { lean_object* x_14; lean_object* x_15; @@ -2169,7 +2169,7 @@ else lean_object* x_4; lean_object* x_5; uint8_t x_6; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 2); -x_6 = l_Lean_Name_beq___main(x_4, x_1); +x_6 = lean_name_eq(x_4, x_1); if (x_6 == 0) { x_2 = x_5; @@ -2220,7 +2220,7 @@ lean_object* x_11; uint8_t x_12; x_11 = lean_ctor_get(x_10, 0); lean_inc(x_11); lean_dec(x_10); -x_12 = l_Lean_Name_beq___main(x_3, x_11); +x_12 = lean_name_eq(x_3, x_11); lean_dec(x_11); return x_12; } @@ -2341,7 +2341,7 @@ else { lean_object* x_17; uint8_t x_18; x_17 = lean_array_fget(x_5, x_2); -x_18 = l_Lean_Name_beq___main(x_3, x_17); +x_18 = lean_name_eq(x_3, x_17); lean_dec(x_17); if (x_18 == 0) { @@ -2463,7 +2463,7 @@ if (x_18 == 0) lean_object* x_19; lean_object* x_20; uint8_t x_21; x_19 = lean_ctor_get(x_15, 0); x_20 = lean_ctor_get(x_15, 1); -x_21 = l_Lean_Name_beq___main(x_4, x_19); +x_21 = lean_name_eq(x_4, x_19); if (x_21 == 0) { lean_object* x_22; lean_object* x_23; lean_object* x_24; @@ -2497,7 +2497,7 @@ x_27 = lean_ctor_get(x_15, 1); lean_inc(x_27); lean_inc(x_26); lean_dec(x_15); -x_28 = l_Lean_Name_beq___main(x_4, x_26); +x_28 = lean_name_eq(x_4, x_26); if (x_28 == 0) { lean_object* x_29; lean_object* x_30; lean_object* x_31; @@ -2618,7 +2618,7 @@ if (lean_is_exclusive(x_57)) { lean_dec_ref(x_57); x_62 = lean_box(0); } -x_63 = l_Lean_Name_beq___main(x_4, x_60); +x_63 = lean_name_eq(x_4, x_60); if (x_63 == 0) { lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; @@ -2896,7 +2896,7 @@ lean_object* x_5; lean_object* x_6; lean_object* x_7; uint8_t x_8; x_5 = lean_ctor_get(x_3, 0); x_6 = lean_ctor_get(x_3, 1); x_7 = lean_ctor_get(x_3, 2); -x_8 = l_Lean_Name_beq___main(x_5, x_1); +x_8 = lean_name_eq(x_5, x_1); if (x_8 == 0) { lean_object* x_9; @@ -2923,7 +2923,7 @@ lean_inc(x_12); lean_inc(x_11); lean_inc(x_10); lean_dec(x_3); -x_13 = l_Lean_Name_beq___main(x_10, x_1); +x_13 = lean_name_eq(x_10, x_1); if (x_13 == 0) { lean_object* x_14; lean_object* x_15; @@ -4882,7 +4882,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { @@ -5855,7 +5855,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { @@ -7729,7 +7729,7 @@ else { lean_object* x_9; uint8_t x_10; x_9 = lean_array_fget(x_1, x_4); -x_10 = l_Lean_Name_beq___main(x_5, x_9); +x_10 = lean_name_eq(x_5, x_9); lean_dec(x_9); if (x_10 == 0) { @@ -7776,7 +7776,7 @@ lean_inc(x_11); x_12 = lean_ctor_get(x_10, 1); lean_inc(x_12); lean_dec(x_10); -x_13 = l_Lean_Name_beq___main(x_3, x_11); +x_13 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_13 == 0) { @@ -7848,7 +7848,7 @@ lean_object* x_4; lean_object* x_5; lean_object* x_6; uint8_t x_7; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); x_6 = lean_ctor_get(x_2, 2); -x_7 = l_Lean_Name_beq___main(x_4, x_1); +x_7 = lean_name_eq(x_4, x_1); if (x_7 == 0) { x_2 = x_6; diff --git a/stage0/library/Init/Lean/Elaborator/Command.c b/stage0/library/Init/Lean/Elaborator/Command.c index c7b0daee57..6d24543c62 100644 --- a/stage0/library/Init/Lean/Elaborator/Command.c +++ b/stage0/library/Init/Lean/Elaborator/Command.c @@ -40,7 +40,6 @@ lean_object* l_Lean_Elab_addOpenDecl(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Elab_elabOpenRenaming___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Elab_elabExport___closed__1; extern lean_object* l_Prod_HasRepr___rarg___closed__1; -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_Elab_elabExport___boxed(lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltinTermElab_Lean_Elab_elabInitQuot___closed__2; extern lean_object* l_Sigma_HasRepr___rarg___closed__1; @@ -48,6 +47,7 @@ lean_object* l_Lean_Elab_elabOpenOnly___boxed(lean_object*, lean_object*, lean_o lean_object* l_Lean_Elab_elabReserve(lean_object*, lean_object*); lean_object* l___regBuiltinTermElab_Lean_Elab_elabOpen___closed__3; lean_object* l___regBuiltinTermElab_Lean_Elab_elabMixfix___closed__1; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l_Lean_Elab_resolveName(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Elab_elabInitQuot___rarg(lean_object*, lean_object*); lean_object* l___regBuiltinTermElab_Lean_Elab_elabVariable___closed__3; @@ -1614,7 +1614,7 @@ if (x_13 == 0) lean_object* x_14; lean_object* x_15; uint8_t x_16; x_14 = lean_ctor_get(x_12, 0); x_15 = lean_ctor_get(x_12, 1); -x_16 = l_Lean_Name_beq___main(x_10, x_14); +x_16 = lean_name_eq(x_10, x_14); if (x_16 == 0) { lean_object* x_17; lean_object* x_18; lean_object* x_19; lean_object* x_20; lean_object* x_21; lean_object* x_22; lean_object* x_23; lean_object* x_24; lean_object* x_25; uint8_t x_26; @@ -1754,7 +1754,7 @@ x_58 = lean_ctor_get(x_12, 1); lean_inc(x_58); lean_inc(x_57); lean_dec(x_12); -x_59 = l_Lean_Name_beq___main(x_10, x_57); +x_59 = lean_name_eq(x_10, x_57); if (x_59 == 0) { lean_object* x_60; lean_object* x_61; lean_object* x_62; lean_object* x_63; lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; lean_object* x_68; lean_object* x_69; lean_object* x_70; lean_object* x_71; lean_object* x_72; lean_object* x_73; lean_object* x_74; lean_object* x_75; lean_object* x_76; lean_object* x_77; lean_object* x_78; lean_object* x_79; lean_object* x_80; lean_object* x_81; lean_object* x_82; @@ -2820,17 +2820,17 @@ lean_dec(x_7); x_9 = lean_ctor_get(x_8, 0); lean_inc(x_9); x_10 = l_Lean_Parser_Command_openSimple___elambda__1___closed__2; -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); if (x_11 == 0) { lean_object* x_12; uint8_t x_13; x_12 = l_Lean_Parser_Command_openOnly___elambda__1___closed__2; -x_13 = l_Lean_Name_beq___main(x_9, x_12); +x_13 = lean_name_eq(x_9, x_12); if (x_13 == 0) { lean_object* x_14; uint8_t x_15; x_14 = l_Lean_Parser_Command_openHiding___elambda__1___closed__2; -x_15 = l_Lean_Name_beq___main(x_9, x_14); +x_15 = lean_name_eq(x_9, x_14); lean_dec(x_9); if (x_15 == 0) { diff --git a/stage0/library/Init/Lean/Elaborator/ElabStrategyAttrs.c b/stage0/library/Init/Lean/Elaborator/ElabStrategyAttrs.c index 04c8b470f6..02183a1570 100644 --- a/stage0/library/Init/Lean/Elaborator/ElabStrategyAttrs.c +++ b/stage0/library/Init/Lean/Elaborator/ElabStrategyAttrs.c @@ -24,7 +24,6 @@ extern lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_registerTagAttri uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); lean_object* l_List_map___main___at_Lean_mkElaboratorStrategyAttrs___spec__8(lean_object*, uint8_t, lean_object*, lean_object*); uint8_t l_Lean_ElaboratorStrategy_inhabited; -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_mkElaboratorStrategyAttrs___closed__12; extern lean_object* l_Array_empty___closed__1; lean_object* l_RBNode_fold___main___at_Lean_mkElaboratorStrategyAttrs___spec__2___boxed(lean_object*, lean_object*); @@ -33,6 +32,7 @@ lean_object* l_Lean_mkElaboratorStrategyAttrs___lambda__1___boxed(lean_object*, lean_object* l_Lean_mkElaboratorStrategyAttrs___lambda__1___closed__1; lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_mkElaboratorStrategyAttrs___spec__4___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_mkElaboratorStrategyAttrs___spec__4___closed__1; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_mkElaboratorStrategyAttrs___closed__4; lean_object* lean_array_push(lean_object*, lean_object*); @@ -399,7 +399,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { diff --git a/stage0/library/Init/Lean/Elaborator/PreTerm.c b/stage0/library/Init/Lean/Elaborator/PreTerm.c index e4787512cf..0e49ce7573 100644 --- a/stage0/library/Init/Lean/Elaborator/PreTerm.c +++ b/stage0/library/Init/Lean/Elaborator/PreTerm.c @@ -35,7 +35,6 @@ lean_object* l_Lean_Elab_convertHole___rarg(lean_object*); lean_object* lean_array_uset(lean_object*, size_t, lean_object*); extern lean_object* l_Lean_nameToExprAux___main___closed__4; extern lean_object* l_Lean_Parser_Term_forall___elambda__1___closed__2; -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_KVMap_setNat(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_mkMVar(lean_object*); extern lean_object* l_Array_empty___closed__1; @@ -46,6 +45,7 @@ lean_object* l___regBuiltinTermElab_Lean_Elab_convertSort___closed__3; lean_object* lean_io_mk_ref(lean_object*, lean_object*); lean_object* l_AssocList_find___main___at_Lean_Elab_toPreTerm___spec__2___boxed(lean_object*, lean_object*); lean_object* l___private_Init_Lean_Elaborator_PreTerm_1__setPos___closed__3; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l_Array_umapMAux___main___at___private_Init_Lean_Elaborator_PreTerm_4__processBinder___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Array_umapMAux___main___at___private_Init_Lean_Elaborator_PreTerm_4__processBinder___spec__1___closed__1; @@ -340,7 +340,7 @@ else lean_object* x_4; lean_object* x_5; uint8_t x_6; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 2); -x_6 = l_Lean_Name_beq___main(x_4, x_1); +x_6 = lean_name_eq(x_4, x_1); if (x_6 == 0) { x_2 = x_5; @@ -491,7 +491,7 @@ lean_object* x_5; lean_object* x_6; lean_object* x_7; uint8_t x_8; x_5 = lean_ctor_get(x_3, 0); x_6 = lean_ctor_get(x_3, 1); x_7 = lean_ctor_get(x_3, 2); -x_8 = l_Lean_Name_beq___main(x_5, x_1); +x_8 = lean_name_eq(x_5, x_1); if (x_8 == 0) { lean_object* x_9; @@ -518,7 +518,7 @@ lean_inc(x_12); lean_inc(x_11); lean_inc(x_10); lean_dec(x_3); -x_13 = l_Lean_Name_beq___main(x_10, x_1); +x_13 = lean_name_eq(x_10, x_1); if (x_13 == 0) { lean_object* x_14; lean_object* x_15; @@ -2293,7 +2293,7 @@ lean_object* x_4; lean_object* x_5; lean_object* x_6; uint8_t x_7; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); x_6 = lean_ctor_get(x_2, 2); -x_7 = l_Lean_Name_beq___main(x_4, x_1); +x_7 = lean_name_eq(x_4, x_1); if (x_7 == 0) { x_2 = x_6; diff --git a/stage0/library/Init/Lean/Elaborator/ResolveName.c b/stage0/library/Init/Lean/Elaborator/ResolveName.c index f00bd1666e..fdc4832765 100644 --- a/stage0/library/Init/Lean/Elaborator/ResolveName.c +++ b/stage0/library/Init/Lean/Elaborator/ResolveName.c @@ -14,9 +14,9 @@ extern "C" { #endif lean_object* l_Lean_Elab_preresolveNames___rarg___boxed(lean_object*, lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); extern lean_object* l_Array_empty___closed__1; lean_object* l_List_append___rarg(lean_object*, lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l_Lean_Elab_resolveName(lean_object*, lean_object*, lean_object*); lean_object* l___private_Init_Lean_Elaborator_ResolveName_6__preresolveNamesAux___rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* lean_array_get_size(lean_object*); @@ -287,7 +287,7 @@ lean_inc(x_17); x_18 = lean_ctor_get(x_5, 1); lean_inc(x_18); lean_dec(x_5); -x_19 = l_Lean_Name_beq___main(x_2, x_17); +x_19 = lean_name_eq(x_2, x_17); lean_dec(x_17); if (x_19 == 0) { @@ -320,7 +320,7 @@ lean_inc(x_23); x_24 = lean_ctor_get(x_5, 1); lean_inc(x_24); lean_dec(x_5); -x_25 = l_Lean_Name_beq___main(x_2, x_23); +x_25 = lean_name_eq(x_2, x_23); lean_dec(x_23); if (x_25 == 0) { diff --git a/stage0/library/Init/Lean/Elaborator/Term.c b/stage0/library/Init/Lean/Elaborator/Term.c index a6e2301be7..c9caf5d7cb 100644 --- a/stage0/library/Init/Lean/Elaborator/Term.c +++ b/stage0/library/Init/Lean/Elaborator/Term.c @@ -23,10 +23,10 @@ extern lean_object* l_Lean_List_format___rarg___closed__2; extern size_t l_PersistentHashMap_insertAux___main___rarg___closed__2; extern lean_object* l_Lean_Parser_Term_forall___elambda__1___closed__2; extern lean_object* l_Prod_HasRepr___rarg___closed__1; -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); extern lean_object* l_PersistentHashMap_mkCollisionNode___rarg___closed__1; extern lean_object* l_Array_empty___closed__1; lean_object* l_Lean_Syntax_mfoldArgsAux___main___at_Lean_Elab_elabListLit___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l___regBuiltinTermElab_Lean_Elab_elabArrow(lean_object*); lean_object* lean_array_push(lean_object*, lean_object*); lean_object* lean_array_get_size(lean_object*); @@ -125,7 +125,7 @@ else { lean_object* x_9; uint8_t x_10; x_9 = lean_array_fget(x_1, x_4); -x_10 = l_Lean_Name_beq___main(x_5, x_9); +x_10 = lean_name_eq(x_5, x_9); lean_dec(x_9); if (x_10 == 0) { @@ -172,7 +172,7 @@ lean_inc(x_11); x_12 = lean_ctor_get(x_10, 1); lean_inc(x_12); lean_dec(x_10); -x_13 = l_Lean_Name_beq___main(x_3, x_11); +x_13 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_13 == 0) { @@ -244,7 +244,7 @@ lean_object* x_4; lean_object* x_5; lean_object* x_6; uint8_t x_7; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); x_6 = lean_ctor_get(x_2, 2); -x_7 = l_Lean_Name_beq___main(x_4, x_1); +x_7 = lean_name_eq(x_4, x_1); if (x_7 == 0) { x_2 = x_6; diff --git a/stage0/library/Init/Lean/Environment.c b/stage0/library/Init/Lean/Environment.c index 23cea22880..8f49bdae02 100644 --- a/stage0/library/Init/Lean/Environment.c +++ b/stage0/library/Init/Lean/Environment.c @@ -65,7 +65,6 @@ uint8_t l_Array_anyRangeMAux___main___at_Lean_registerPersistentEnvExtensionUnsa uint8_t l_Array_anyRangeMAux___main___at_Lean_mkTagDeclarationExtension___spec__5(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_importModulesAux(lean_object*, lean_object*, lean_object*); lean_object* lean_environment_set_main_module(lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_registerEnvExtensionUnsafe(lean_object*); lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_registerCPPExtension___spec__1(lean_object*, lean_object*); lean_object* l_Lean_EnvExtension_setStateUnsafe___rarg___boxed(lean_object*, lean_object*, lean_object*); @@ -75,6 +74,7 @@ lean_object* lean_io_mk_ref(lean_object*, lean_object*); lean_object* lean_read_module_data(lean_object*, lean_object*); lean_object* l_Lean_TagDeclarationExtension_Inhabited___closed__1; lean_object* lean_environment_mark_quot_init(lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Array_iterateMAux___main___at_Lean_importModules___spec__13(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Init_Lean_Environment_7__mkPersistentEnvExtensionsRef(lean_object*); @@ -625,7 +625,7 @@ else { lean_object* x_17; uint8_t x_18; x_17 = lean_array_fget(x_5, x_2); -x_18 = l_Lean_Name_beq___main(x_3, x_17); +x_18 = lean_name_eq(x_3, x_17); lean_dec(x_17); if (x_18 == 0) { @@ -747,7 +747,7 @@ if (x_18 == 0) lean_object* x_19; lean_object* x_20; uint8_t x_21; x_19 = lean_ctor_get(x_15, 0); x_20 = lean_ctor_get(x_15, 1); -x_21 = l_Lean_Name_beq___main(x_4, x_19); +x_21 = lean_name_eq(x_4, x_19); if (x_21 == 0) { lean_object* x_22; lean_object* x_23; lean_object* x_24; @@ -781,7 +781,7 @@ x_27 = lean_ctor_get(x_15, 1); lean_inc(x_27); lean_inc(x_26); lean_dec(x_15); -x_28 = l_Lean_Name_beq___main(x_4, x_26); +x_28 = lean_name_eq(x_4, x_26); if (x_28 == 0) { lean_object* x_29; lean_object* x_30; lean_object* x_31; @@ -902,7 +902,7 @@ if (lean_is_exclusive(x_57)) { lean_dec_ref(x_57); x_62 = lean_box(0); } -x_63 = l_Lean_Name_beq___main(x_4, x_60); +x_63 = lean_name_eq(x_4, x_60); if (x_63 == 0) { lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; @@ -1073,7 +1073,7 @@ else lean_object* x_4; lean_object* x_5; uint8_t x_6; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 2); -x_6 = l_Lean_Name_beq___main(x_4, x_1); +x_6 = lean_name_eq(x_4, x_1); if (x_6 == 0) { x_2 = x_5; @@ -1209,7 +1209,7 @@ lean_object* x_5; lean_object* x_6; lean_object* x_7; uint8_t x_8; x_5 = lean_ctor_get(x_3, 0); x_6 = lean_ctor_get(x_3, 1); x_7 = lean_ctor_get(x_3, 2); -x_8 = l_Lean_Name_beq___main(x_5, x_1); +x_8 = lean_name_eq(x_5, x_1); if (x_8 == 0) { lean_object* x_9; @@ -1236,7 +1236,7 @@ lean_inc(x_12); lean_inc(x_11); lean_inc(x_10); lean_dec(x_3); -x_13 = l_Lean_Name_beq___main(x_10, x_1); +x_13 = lean_name_eq(x_10, x_1); if (x_13 == 0) { lean_object* x_14; lean_object* x_15; @@ -1520,7 +1520,7 @@ lean_object* x_4; lean_object* x_5; lean_object* x_6; uint8_t x_7; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); x_6 = lean_ctor_get(x_2, 2); -x_7 = l_Lean_Name_beq___main(x_4, x_1); +x_7 = lean_name_eq(x_4, x_1); if (x_7 == 0) { x_2 = x_6; @@ -1570,7 +1570,7 @@ else { lean_object* x_9; uint8_t x_10; x_9 = lean_array_fget(x_1, x_4); -x_10 = l_Lean_Name_beq___main(x_5, x_9); +x_10 = lean_name_eq(x_5, x_9); lean_dec(x_9); if (x_10 == 0) { @@ -1617,7 +1617,7 @@ lean_inc(x_11); x_12 = lean_ctor_get(x_10, 1); lean_inc(x_12); lean_dec(x_10); -x_13 = l_Lean_Name_beq___main(x_3, x_11); +x_13 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_13 == 0) { @@ -1817,7 +1817,7 @@ lean_object* x_11; uint8_t x_12; x_11 = lean_ctor_get(x_10, 0); lean_inc(x_11); lean_dec(x_10); -x_12 = l_Lean_Name_beq___main(x_3, x_11); +x_12 = lean_name_eq(x_3, x_11); lean_dec(x_11); return x_12; } @@ -2205,7 +2205,7 @@ lean_object* x_4; lean_object* x_5; lean_object* x_6; uint8_t x_7; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); x_6 = lean_ctor_get(x_2, 2); -x_7 = l_Lean_Name_beq___main(x_4, x_1); +x_7 = lean_name_eq(x_4, x_1); if (x_7 == 0) { x_2 = x_6; @@ -3983,7 +3983,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { @@ -4880,7 +4880,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { @@ -6180,7 +6180,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { @@ -8777,7 +8777,7 @@ x_8 = l___private_Init_Lean_Environment_9__getEntriesFor___main___closed__1; x_9 = lean_array_get(x_8, x_4, x_3); x_10 = lean_ctor_get(x_9, 0); lean_inc(x_10); -x_11 = l_Lean_Name_beq___main(x_10, x_2); +x_11 = lean_name_eq(x_10, x_2); lean_dec(x_10); if (x_11 == 0) { @@ -9331,7 +9331,7 @@ else lean_object* x_4; lean_object* x_5; uint8_t x_6; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 2); -x_6 = l_Lean_Name_beq___main(x_4, x_1); +x_6 = lean_name_eq(x_4, x_1); if (x_6 == 0) { x_2 = x_5; @@ -9467,7 +9467,7 @@ lean_object* x_5; lean_object* x_6; lean_object* x_7; uint8_t x_8; x_5 = lean_ctor_get(x_3, 0); x_6 = lean_ctor_get(x_3, 1); x_7 = lean_ctor_get(x_3, 2); -x_8 = l_Lean_Name_beq___main(x_5, x_1); +x_8 = lean_name_eq(x_5, x_1); if (x_8 == 0) { lean_object* x_9; @@ -9494,7 +9494,7 @@ lean_inc(x_12); lean_inc(x_11); lean_inc(x_10); lean_dec(x_3); -x_13 = l_Lean_Name_beq___main(x_10, x_1); +x_13 = lean_name_eq(x_10, x_1); if (x_13 == 0) { lean_object* x_14; lean_object* x_15; diff --git a/stage0/library/Init/Lean/Expr.c b/stage0/library/Init/Lean/Expr.c index 6cf6431f4a..d2dcc27e62 100644 --- a/stage0/library/Init/Lean/Expr.c +++ b/stage0/library/Init/Lean/Expr.c @@ -62,7 +62,6 @@ lean_object* l_Lean_Expr_Data_hasBeq___boxed(lean_object*, lean_object*); lean_object* l_Lean_mkLambda___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_mkLit(lean_object*); lean_object* l_Lean_Expr_getAppRevArgs(lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_Expr_hasLevelParamEx___boxed(lean_object*); size_t l_Lean_Expr_Data_hash(uint64_t); lean_object* l_Lean_mkDecIsTrue___closed__5; @@ -83,6 +82,7 @@ lean_object* l_Lean_Expr_constName_x21___boxed(lean_object*); lean_object* l_Lean_Expr_withAppRev___rarg(lean_object*, lean_object*); uint64_t l_Lean_Expr_mkData___closed__3; uint64_t l_Lean_Expr_mkDataForBinder(size_t, lean_object*, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_expr_mk_local(lean_object*, lean_object*, lean_object*, uint8_t); lean_object* l_Lean_Expr_binderInfoEx___boxed(lean_object*); uint8_t l_Lean_Expr_isApp(lean_object*); @@ -4637,7 +4637,7 @@ if (lean_obj_tag(x_1) == 4) { lean_object* x_3; uint8_t x_4; x_3 = lean_ctor_get(x_1, 0); -x_4 = l_Lean_Name_beq___main(x_3, x_2); +x_4 = lean_name_eq(x_3, x_2); return x_4; } else @@ -5355,7 +5355,7 @@ lean_object* x_4; uint8_t x_5; x_4 = lean_ctor_get(x_3, 0); lean_inc(x_4); lean_dec(x_3); -x_5 = l_Lean_Name_beq___main(x_4, x_2); +x_5 = lean_name_eq(x_4, x_2); lean_dec(x_4); return x_5; } @@ -5399,7 +5399,7 @@ return x_7; else { uint8_t x_8; -x_8 = l_Lean_Name_beq___main(x_4, x_2); +x_8 = lean_name_eq(x_4, x_2); return x_8; } } diff --git a/stage0/library/Init/Lean/KVMap.c b/stage0/library/Init/Lean/KVMap.c index 9d94f6f4a2..f086098f82 100644 --- a/stage0/library/Init/Lean/KVMap.c +++ b/stage0/library/Init/Lean/KVMap.c @@ -24,12 +24,12 @@ lean_object* l_Lean_KVMap_findD___boxed(lean_object*, lean_object*, lean_object* lean_object* l_Lean_bool2DataValue___boxed(lean_object*); uint8_t l_Lean_KVMap_subsetAux___main(lean_object*, lean_object*); lean_object* l_Lean_KVMap_nameVal___closed__1; -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_KVMap_setNat(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_KVMap_nameVal___closed__3; lean_object* l_Lean_KVMap_intVal___closed__1; lean_object* l_Lean_KVMap_findCore___main(lean_object*, lean_object*); lean_object* l_Lean_KVMap_setString(lean_object*, lean_object*, lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l_Lean_KVMap_get___rarg(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_DataValue_HasBeq___closed__1; lean_object* l_Lean_KVMap_natVal___closed__3; @@ -311,7 +311,7 @@ x_4 = lean_ctor_get(x_1, 0); x_5 = lean_ctor_get(x_1, 1); x_6 = lean_ctor_get(x_4, 0); x_7 = lean_ctor_get(x_4, 1); -x_8 = l_Lean_Name_beq___main(x_6, x_2); +x_8 = lean_name_eq(x_6, x_2); if (x_8 == 0) { x_1 = x_5; @@ -430,7 +430,7 @@ x_7 = lean_ctor_get(x_1, 0); x_8 = lean_ctor_get(x_1, 1); x_9 = lean_ctor_get(x_7, 0); lean_inc(x_9); -x_10 = l_Lean_Name_beq___main(x_9, x_2); +x_10 = lean_name_eq(x_9, x_2); if (x_10 == 0) { lean_object* x_11; @@ -476,7 +476,7 @@ lean_inc(x_16); lean_dec(x_1); x_18 = lean_ctor_get(x_16, 0); lean_inc(x_18); -x_19 = l_Lean_Name_beq___main(x_18, x_2); +x_19 = lean_name_eq(x_18, x_2); if (x_19 == 0) { lean_object* x_20; lean_object* x_21; diff --git a/stage0/library/Init/Lean/Level.c b/stage0/library/Init/Lean/Level.c index 7971f8c47e..22212c27fc 100644 --- a/stage0/library/Init/Lean/Level.c +++ b/stage0/library/Init/Lean/Level.c @@ -40,7 +40,6 @@ lean_object* l___private_Init_Lean_Level_5__mkMaxAux___main___boxed(lean_object* lean_object* l_Lean_Level_normLtAux___main___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Level_Hashable; lean_object* l_Lean_Level_getOffsetAux___boxed(lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_Level_updateMax_x21(lean_object*, lean_object*, lean_object*); lean_object* lean_level_mk_max(lean_object*, lean_object*); lean_object* l_Lean_Level_LevelToFormat_Result_format___main___closed__1; @@ -54,6 +53,7 @@ lean_object* lean_level_mk_succ(lean_object*); uint8_t l_Lean_Level_hasMVar(lean_object*); lean_object* l_Lean_Level_hasMVarEx___boxed(lean_object*); lean_object* l_Lean_Level_mkData___closed__2; +uint8_t lean_name_eq(lean_object*, lean_object*); uint8_t l_Lean_Level_isEquiv(lean_object*, lean_object*); lean_object* l___private_Init_Lean_Level_3__getMaxArgsAux___main___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Level_HasBeq___closed__1; @@ -2242,7 +2242,7 @@ case 4: lean_object* x_57; lean_object* x_58; uint8_t x_59; x_57 = lean_ctor_get(x_1, 0); x_58 = lean_ctor_get(x_3, 0); -x_59 = l_Lean_Name_beq___main(x_57, x_58); +x_59 = lean_name_eq(x_57, x_58); if (x_59 == 0) { uint8_t x_60; @@ -2288,7 +2288,7 @@ case 5: lean_object* x_67; lean_object* x_68; uint8_t x_69; x_67 = lean_ctor_get(x_1, 0); x_68 = lean_ctor_get(x_3, 0); -x_69 = l_Lean_Name_beq___main(x_67, x_68); +x_69 = lean_name_eq(x_67, x_68); if (x_69 == 0) { uint8_t x_70; diff --git a/stage0/library/Init/Lean/LocalContext.c b/stage0/library/Init/Lean/LocalContext.c index cb65f910ba..e37957ce23 100644 --- a/stage0/library/Init/Lean/LocalContext.c +++ b/stage0/library/Init/Lean/LocalContext.c @@ -55,7 +55,6 @@ lean_object* l_Array_anyRangeMAux___main___at_Lean_LocalContext_anyM___spec__4__ lean_object* l_Lean_LocalDecl_value___closed__3; lean_object* l_Array_findRevMAux___main___at_Lean_LocalContext_findDeclRev___spec__5(lean_object*); lean_object* l_Array_anyRangeMAux___main___at_Lean_LocalContext_allM___spec__3___rarg___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Array_anyRangeMAux___main___at_Lean_LocalContext_anyM___spec__4___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_LocalContext_Inhabited; lean_object* lean_local_ctx_erase(lean_object*, lean_object*); @@ -72,6 +71,7 @@ lean_object* l_Array_iterateMAux___main___at_Lean_LocalContext_foldlFrom___spec_ lean_object* l_Array_anyRangeMAux___main___at_Lean_LocalContext_anyM___spec__3___rarg___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); uint8_t l_Array_anyRangeMAux___main___at_Lean_LocalContext_any___spec__5(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Array_findRevMAux___main___at_Lean_LocalContext_findDeclRev___spec__5___rarg(lean_object*, lean_object*, lean_object*, lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_local_ctx_get(lean_object*, lean_object*); lean_object* l_PersistentArray_findRevMAux___main___at_Lean_LocalContext_findFromUserName___spec__3(lean_object*, lean_object*); lean_object* l_Lean_LocalDecl_binderInfo___boxed(lean_object*); @@ -834,7 +834,7 @@ else { lean_object* x_17; uint8_t x_18; x_17 = lean_array_fget(x_5, x_2); -x_18 = l_Lean_Name_beq___main(x_3, x_17); +x_18 = lean_name_eq(x_3, x_17); lean_dec(x_17); if (x_18 == 0) { @@ -956,7 +956,7 @@ if (x_18 == 0) lean_object* x_19; lean_object* x_20; uint8_t x_21; x_19 = lean_ctor_get(x_15, 0); x_20 = lean_ctor_get(x_15, 1); -x_21 = l_Lean_Name_beq___main(x_4, x_19); +x_21 = lean_name_eq(x_4, x_19); if (x_21 == 0) { lean_object* x_22; lean_object* x_23; lean_object* x_24; @@ -990,7 +990,7 @@ x_27 = lean_ctor_get(x_15, 1); lean_inc(x_27); lean_inc(x_26); lean_dec(x_15); -x_28 = l_Lean_Name_beq___main(x_4, x_26); +x_28 = lean_name_eq(x_4, x_26); if (x_28 == 0) { lean_object* x_29; lean_object* x_30; lean_object* x_31; @@ -1111,7 +1111,7 @@ if (lean_is_exclusive(x_57)) { lean_dec_ref(x_57); x_62 = lean_box(0); } -x_63 = l_Lean_Name_beq___main(x_4, x_60); +x_63 = lean_name_eq(x_4, x_60); if (x_63 == 0) { lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; @@ -1435,7 +1435,7 @@ else { lean_object* x_9; uint8_t x_10; x_9 = lean_array_fget(x_1, x_4); -x_10 = l_Lean_Name_beq___main(x_5, x_9); +x_10 = lean_name_eq(x_5, x_9); lean_dec(x_9); if (x_10 == 0) { @@ -1482,7 +1482,7 @@ lean_inc(x_11); x_12 = lean_ctor_get(x_10, 1); lean_inc(x_12); lean_dec(x_10); -x_13 = l_Lean_Name_beq___main(x_3, x_11); +x_13 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_13 == 0) { @@ -1621,7 +1621,7 @@ else { lean_object* x_7; uint8_t x_8; x_7 = lean_array_fget(x_1, x_2); -x_8 = l_Lean_Name_beq___main(x_3, x_7); +x_8 = lean_name_eq(x_3, x_7); lean_dec(x_7); if (x_8 == 0) { @@ -1663,7 +1663,7 @@ lean_object* x_11; uint8_t x_12; x_11 = lean_ctor_get(x_10, 0); lean_inc(x_11); lean_dec(x_10); -x_12 = l_Lean_Name_beq___main(x_3, x_11); +x_12 = lean_name_eq(x_3, x_11); lean_dec(x_11); return x_12; } @@ -1942,7 +1942,7 @@ else { lean_object* x_7; uint8_t x_8; x_7 = lean_array_fget(x_1, x_3); -x_8 = l_Lean_Name_beq___main(x_7, x_2); +x_8 = lean_name_eq(x_7, x_2); lean_dec(x_7); if (x_8 == 0) { @@ -1984,7 +1984,7 @@ lean_object* x_11; uint8_t x_12; x_11 = lean_ctor_get(x_10, 0); lean_inc(x_11); lean_dec(x_10); -x_12 = l_Lean_Name_beq___main(x_3, x_11); +x_12 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_12 == 0) { @@ -2798,7 +2798,7 @@ x_12 = lean_ctor_get(x_10, 0); lean_inc(x_12); x_13 = l_Lean_LocalDecl_userName(x_12); lean_dec(x_12); -x_14 = l_Lean_Name_beq___main(x_13, x_1); +x_14 = lean_name_eq(x_13, x_1); lean_dec(x_13); if (x_14 == 0) { @@ -2885,7 +2885,7 @@ x_12 = lean_ctor_get(x_10, 0); lean_inc(x_12); x_13 = l_Lean_LocalDecl_userName(x_12); lean_dec(x_12); -x_14 = l_Lean_Name_beq___main(x_13, x_1); +x_14 = lean_name_eq(x_13, x_1); lean_dec(x_13); if (x_14 == 0) { @@ -5022,7 +5022,7 @@ x_21 = l_Lean_LocalDecl_name(x_15); lean_dec(x_15); x_22 = l_Lean_LocalDecl_name(x_20); lean_dec(x_20); -x_23 = l_Lean_Name_beq___main(x_21, x_22); +x_23 = lean_name_eq(x_21, x_22); lean_dec(x_22); lean_dec(x_21); if (x_23 == 0) diff --git a/stage0/library/Init/Lean/Meta/ExprDefEq.c b/stage0/library/Init/Lean/Meta/ExprDefEq.c index a89a0a9247..1c00cdc8dc 100644 --- a/stage0/library/Init/Lean/Meta/ExprDefEq.c +++ b/stage0/library/Init/Lean/Meta/ExprDefEq.c @@ -30,7 +30,6 @@ extern lean_object* l_EIO_Monad___closed__1; extern lean_object* l_Lean_Expr_updateMData_x21___closed__2; lean_object* lean_array_uset(lean_object*, size_t, lean_object*); lean_object* l_Lean_Meta_CheckAssignment_checkFVar(lean_object*, lean_object*, lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_mkMVar(lean_object*); extern lean_object* l_Array_empty___closed__1; lean_object* l_Lean_Meta_isDefEqBindingDomain___main___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -38,6 +37,7 @@ lean_object* l___private_Init_Lean_Meta_ExprDefEq_7__visit(lean_object*, lean_ob lean_object* l___private_Init_Lean_Meta_ExprDefEq_8__checkAssignmentFailure___closed__21; lean_object* l___private_Init_Lean_Meta_ExprDefEq_9__isDefEqFOApprox(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Init_Lean_Meta_ExprDefEq_10__processAssignmentFOApproxAux___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l_Lean_Meta_CheckAssignment_Lean_MonadCache; uint8_t l_Lean_LocalContext_containsFVar(lean_object*, lean_object*); lean_object* l___private_Init_Lean_Meta_ExprDefEq_8__checkAssignmentFailure___closed__19; @@ -4257,7 +4257,7 @@ lean_object* x_8; uint8_t x_9; lean_dec(x_1); x_8 = lean_ctor_get(x_3, 1); lean_inc(x_8); -x_9 = l_Lean_Name_beq___main(x_5, x_8); +x_9 = lean_name_eq(x_5, x_8); lean_dec(x_8); if (x_9 == 0) { @@ -5240,7 +5240,7 @@ if (lean_obj_tag(x_129) == 0) lean_object* x_130; uint8_t x_131; x_130 = lean_ctor_get(x_2, 1); lean_inc(x_130); -x_131 = l_Lean_Name_beq___main(x_127, x_130); +x_131 = lean_name_eq(x_127, x_130); lean_dec(x_130); if (x_131 == 0) { @@ -5600,7 +5600,7 @@ if (lean_obj_tag(x_189) == 0) lean_object* x_190; uint8_t x_191; x_190 = lean_ctor_get(x_2, 1); lean_inc(x_190); -x_191 = l_Lean_Name_beq___main(x_187, x_190); +x_191 = lean_name_eq(x_187, x_190); lean_dec(x_190); if (x_191 == 0) { diff --git a/stage0/library/Init/Lean/Meta/LevelDefEq.c b/stage0/library/Init/Lean/Meta/LevelDefEq.c index 5b24e4a823..43a3127c38 100644 --- a/stage0/library/Init/Lean/Meta/LevelDefEq.c +++ b/stage0/library/Init/Lean/Meta/LevelDefEq.c @@ -23,9 +23,9 @@ lean_object* l___private_Init_Lean_Trace_1__addNode___at___private_Init_Lean_Met lean_object* l___private_Init_Lean_Meta_LevelDefEq_4__solveSelfMax(lean_object*); lean_object* l___private_Init_Lean_Trace_1__addNode___at___private_Init_Lean_Meta_LevelDefEq_10__processPostponedStep___spec__7(lean_object*, lean_object*, lean_object*, lean_object*); uint8_t l___private_Init_Lean_Meta_LevelDefEq_1__strictOccursMaxAux___main(lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); extern lean_object* l_Array_empty___closed__1; lean_object* l___private_Init_Lean_Meta_LevelDefEq_3__mkMaxArgsDiff___main___boxed(lean_object*, lean_object*, lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l_Lean_Level_dec___main(lean_object*); lean_object* l_PersistentArray_foldlMAux___main___at___private_Init_Lean_Meta_LevelDefEq_10__processPostponedStep___spec__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Meta_instantiateLevelMVars(lean_object*, lean_object*, lean_object*); @@ -268,7 +268,7 @@ case 5: lean_object* x_8; uint8_t x_9; x_8 = lean_ctor_get(x_2, 0); lean_inc(x_8); -x_9 = l_Lean_Name_beq___main(x_8, x_1); +x_9 = lean_name_eq(x_8, x_1); lean_dec(x_8); if (x_9 == 0) { diff --git a/stage0/library/Init/Lean/MetavarContext.c b/stage0/library/Init/Lean/MetavarContext.c index c7e8074690..e88bca579c 100644 --- a/stage0/library/Init/Lean/MetavarContext.c +++ b/stage0/library/Init/Lean/MetavarContext.c @@ -70,7 +70,6 @@ lean_object* lean_array_uset(lean_object*, size_t, lean_object*); lean_object* l_PersistentHashMap_insertAux___main___at_Lean_MetavarContext_assignDelayed___spec__2(lean_object*, size_t, size_t, lean_object*, lean_object*); lean_object* l___private_Init_Lean_MetavarContext_10__dep___main___at___private_Init_Lean_MetavarContext_13__collectDeps___spec__3(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* lean_mk_metavar_ctx(lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Array_iterateMAux___main___at_Lean_MetavarContext_addExprMVarDecl___spec__4(size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_HashMapImp_expand___at___private_Init_Lean_MetavarContext_2__visit___spec__5(lean_object*, lean_object*); lean_object* lean_local_ctx_erase(lean_object*, lean_object*); @@ -92,6 +91,7 @@ lean_object* l___private_Init_Lean_MetavarContext_10__dep___main___at___private_ lean_object* l_Lean_MetavarContext_mkBinding(uint8_t, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Array_anyRangeMAux___main___at___private_Init_Lean_MetavarContext_13__collectDeps___spec__30___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_MetavarContext_getDecl___closed__1; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l___private_Init_Lean_MetavarContext_5__instantiateDelayedAux___main___closed__3; uint8_t l_Lean_Expr_isApp(lean_object*); lean_object* l_Lean_MetavarContext_isDelayedAssigned___boxed(lean_object*, lean_object*); @@ -618,7 +618,7 @@ else { lean_object* x_17; uint8_t x_18; x_17 = lean_array_fget(x_5, x_2); -x_18 = l_Lean_Name_beq___main(x_3, x_17); +x_18 = lean_name_eq(x_3, x_17); lean_dec(x_17); if (x_18 == 0) { @@ -740,7 +740,7 @@ if (x_18 == 0) lean_object* x_19; lean_object* x_20; uint8_t x_21; x_19 = lean_ctor_get(x_15, 0); x_20 = lean_ctor_get(x_15, 1); -x_21 = l_Lean_Name_beq___main(x_4, x_19); +x_21 = lean_name_eq(x_4, x_19); if (x_21 == 0) { lean_object* x_22; lean_object* x_23; lean_object* x_24; @@ -774,7 +774,7 @@ x_27 = lean_ctor_get(x_15, 1); lean_inc(x_27); lean_inc(x_26); lean_dec(x_15); -x_28 = l_Lean_Name_beq___main(x_4, x_26); +x_28 = lean_name_eq(x_4, x_26); if (x_28 == 0) { lean_object* x_29; lean_object* x_30; lean_object* x_31; @@ -895,7 +895,7 @@ if (lean_is_exclusive(x_57)) { lean_dec_ref(x_57); x_62 = lean_box(0); } -x_63 = l_Lean_Name_beq___main(x_4, x_60); +x_63 = lean_name_eq(x_4, x_60); if (x_63 == 0) { lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; @@ -1188,7 +1188,7 @@ else { lean_object* x_17; uint8_t x_18; x_17 = lean_array_fget(x_5, x_2); -x_18 = l_Lean_Name_beq___main(x_3, x_17); +x_18 = lean_name_eq(x_3, x_17); lean_dec(x_17); if (x_18 == 0) { @@ -1310,7 +1310,7 @@ if (x_18 == 0) lean_object* x_19; lean_object* x_20; uint8_t x_21; x_19 = lean_ctor_get(x_15, 0); x_20 = lean_ctor_get(x_15, 1); -x_21 = l_Lean_Name_beq___main(x_4, x_19); +x_21 = lean_name_eq(x_4, x_19); if (x_21 == 0) { lean_object* x_22; lean_object* x_23; lean_object* x_24; @@ -1344,7 +1344,7 @@ x_27 = lean_ctor_get(x_15, 1); lean_inc(x_27); lean_inc(x_26); lean_dec(x_15); -x_28 = l_Lean_Name_beq___main(x_4, x_26); +x_28 = lean_name_eq(x_4, x_26); if (x_28 == 0) { lean_object* x_29; lean_object* x_30; lean_object* x_31; @@ -1465,7 +1465,7 @@ if (lean_is_exclusive(x_57)) { lean_dec_ref(x_57); x_62 = lean_box(0); } -x_63 = l_Lean_Name_beq___main(x_4, x_60); +x_63 = lean_name_eq(x_4, x_60); if (x_63 == 0) { lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; @@ -1709,7 +1709,7 @@ else { lean_object* x_9; uint8_t x_10; x_9 = lean_array_fget(x_1, x_4); -x_10 = l_Lean_Name_beq___main(x_5, x_9); +x_10 = lean_name_eq(x_5, x_9); lean_dec(x_9); if (x_10 == 0) { @@ -1756,7 +1756,7 @@ lean_inc(x_11); x_12 = lean_ctor_get(x_10, 1); lean_inc(x_12); lean_dec(x_10); -x_13 = l_Lean_Name_beq___main(x_3, x_11); +x_13 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_13 == 0) { @@ -1939,7 +1939,7 @@ else { lean_object* x_9; uint8_t x_10; x_9 = lean_array_fget(x_1, x_4); -x_10 = l_Lean_Name_beq___main(x_5, x_9); +x_10 = lean_name_eq(x_5, x_9); lean_dec(x_9); if (x_10 == 0) { @@ -1986,7 +1986,7 @@ lean_inc(x_11); x_12 = lean_ctor_get(x_10, 1); lean_inc(x_12); lean_dec(x_10); -x_13 = l_Lean_Name_beq___main(x_3, x_11); +x_13 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_13 == 0) { @@ -2140,7 +2140,7 @@ else { lean_object* x_17; uint8_t x_18; x_17 = lean_array_fget(x_5, x_2); -x_18 = l_Lean_Name_beq___main(x_3, x_17); +x_18 = lean_name_eq(x_3, x_17); lean_dec(x_17); if (x_18 == 0) { @@ -2262,7 +2262,7 @@ if (x_18 == 0) lean_object* x_19; lean_object* x_20; uint8_t x_21; x_19 = lean_ctor_get(x_15, 0); x_20 = lean_ctor_get(x_15, 1); -x_21 = l_Lean_Name_beq___main(x_4, x_19); +x_21 = lean_name_eq(x_4, x_19); if (x_21 == 0) { lean_object* x_22; lean_object* x_23; lean_object* x_24; @@ -2296,7 +2296,7 @@ x_27 = lean_ctor_get(x_15, 1); lean_inc(x_27); lean_inc(x_26); lean_dec(x_15); -x_28 = l_Lean_Name_beq___main(x_4, x_26); +x_28 = lean_name_eq(x_4, x_26); if (x_28 == 0) { lean_object* x_29; lean_object* x_30; lean_object* x_31; @@ -2417,7 +2417,7 @@ if (lean_is_exclusive(x_57)) { lean_dec_ref(x_57); x_62 = lean_box(0); } -x_63 = l_Lean_Name_beq___main(x_4, x_60); +x_63 = lean_name_eq(x_4, x_60); if (x_63 == 0) { lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; @@ -2685,7 +2685,7 @@ else { lean_object* x_17; uint8_t x_18; x_17 = lean_array_fget(x_5, x_2); -x_18 = l_Lean_Name_beq___main(x_3, x_17); +x_18 = lean_name_eq(x_3, x_17); lean_dec(x_17); if (x_18 == 0) { @@ -2807,7 +2807,7 @@ if (x_18 == 0) lean_object* x_19; lean_object* x_20; uint8_t x_21; x_19 = lean_ctor_get(x_15, 0); x_20 = lean_ctor_get(x_15, 1); -x_21 = l_Lean_Name_beq___main(x_4, x_19); +x_21 = lean_name_eq(x_4, x_19); if (x_21 == 0) { lean_object* x_22; lean_object* x_23; lean_object* x_24; @@ -2841,7 +2841,7 @@ x_27 = lean_ctor_get(x_15, 1); lean_inc(x_27); lean_inc(x_26); lean_dec(x_15); -x_28 = l_Lean_Name_beq___main(x_4, x_26); +x_28 = lean_name_eq(x_4, x_26); if (x_28 == 0) { lean_object* x_29; lean_object* x_30; lean_object* x_31; @@ -2962,7 +2962,7 @@ if (lean_is_exclusive(x_57)) { lean_dec_ref(x_57); x_62 = lean_box(0); } -x_63 = l_Lean_Name_beq___main(x_4, x_60); +x_63 = lean_name_eq(x_4, x_60); if (x_63 == 0) { lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; @@ -3230,7 +3230,7 @@ else { lean_object* x_17; uint8_t x_18; x_17 = lean_array_fget(x_5, x_2); -x_18 = l_Lean_Name_beq___main(x_3, x_17); +x_18 = lean_name_eq(x_3, x_17); lean_dec(x_17); if (x_18 == 0) { @@ -3352,7 +3352,7 @@ if (x_18 == 0) lean_object* x_19; lean_object* x_20; uint8_t x_21; x_19 = lean_ctor_get(x_15, 0); x_20 = lean_ctor_get(x_15, 1); -x_21 = l_Lean_Name_beq___main(x_4, x_19); +x_21 = lean_name_eq(x_4, x_19); if (x_21 == 0) { lean_object* x_22; lean_object* x_23; lean_object* x_24; @@ -3386,7 +3386,7 @@ x_27 = lean_ctor_get(x_15, 1); lean_inc(x_27); lean_inc(x_26); lean_dec(x_15); -x_28 = l_Lean_Name_beq___main(x_4, x_26); +x_28 = lean_name_eq(x_4, x_26); if (x_28 == 0) { lean_object* x_29; lean_object* x_30; lean_object* x_31; @@ -3507,7 +3507,7 @@ if (lean_is_exclusive(x_57)) { lean_dec_ref(x_57); x_62 = lean_box(0); } -x_63 = l_Lean_Name_beq___main(x_4, x_60); +x_63 = lean_name_eq(x_4, x_60); if (x_63 == 0) { lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; @@ -3756,7 +3756,7 @@ else { lean_object* x_9; uint8_t x_10; x_9 = lean_array_fget(x_1, x_4); -x_10 = l_Lean_Name_beq___main(x_5, x_9); +x_10 = lean_name_eq(x_5, x_9); lean_dec(x_9); if (x_10 == 0) { @@ -3803,7 +3803,7 @@ lean_inc(x_11); x_12 = lean_ctor_get(x_10, 1); lean_inc(x_12); lean_dec(x_10); -x_13 = l_Lean_Name_beq___main(x_3, x_11); +x_13 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_13 == 0) { @@ -3924,7 +3924,7 @@ else { lean_object* x_9; uint8_t x_10; x_9 = lean_array_fget(x_1, x_4); -x_10 = l_Lean_Name_beq___main(x_5, x_9); +x_10 = lean_name_eq(x_5, x_9); lean_dec(x_9); if (x_10 == 0) { @@ -3971,7 +3971,7 @@ lean_inc(x_11); x_12 = lean_ctor_get(x_10, 1); lean_inc(x_12); lean_dec(x_10); -x_13 = l_Lean_Name_beq___main(x_3, x_11); +x_13 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_13 == 0) { @@ -4092,7 +4092,7 @@ else { lean_object* x_9; uint8_t x_10; x_9 = lean_array_fget(x_1, x_4); -x_10 = l_Lean_Name_beq___main(x_5, x_9); +x_10 = lean_name_eq(x_5, x_9); lean_dec(x_9); if (x_10 == 0) { @@ -4139,7 +4139,7 @@ lean_inc(x_11); x_12 = lean_ctor_get(x_10, 1); lean_inc(x_12); lean_dec(x_10); -x_13 = l_Lean_Name_beq___main(x_3, x_11); +x_13 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_13 == 0) { @@ -4263,7 +4263,7 @@ lean_object* x_11; uint8_t x_12; x_11 = lean_ctor_get(x_10, 0); lean_inc(x_11); lean_dec(x_10); -x_12 = l_Lean_Name_beq___main(x_3, x_11); +x_12 = lean_name_eq(x_3, x_11); lean_dec(x_11); return x_12; } @@ -4373,7 +4373,7 @@ lean_object* x_11; uint8_t x_12; x_11 = lean_ctor_get(x_10, 0); lean_inc(x_11); lean_dec(x_10); -x_12 = l_Lean_Name_beq___main(x_3, x_11); +x_12 = lean_name_eq(x_3, x_11); lean_dec(x_11); return x_12; } @@ -4483,7 +4483,7 @@ lean_object* x_11; uint8_t x_12; x_11 = lean_ctor_get(x_10, 0); lean_inc(x_11); lean_dec(x_10); -x_12 = l_Lean_Name_beq___main(x_3, x_11); +x_12 = lean_name_eq(x_3, x_11); lean_dec(x_11); return x_12; } @@ -4593,7 +4593,7 @@ lean_object* x_11; uint8_t x_12; x_11 = lean_ctor_get(x_10, 0); lean_inc(x_11); lean_dec(x_10); -x_12 = l_Lean_Name_beq___main(x_3, x_11); +x_12 = lean_name_eq(x_3, x_11); lean_dec(x_11); if (x_12 == 0) { @@ -15821,7 +15821,7 @@ x_8 = lean_array_fget(x_3, x_5); x_9 = l_Lean_LocalDecl_name(x_2); x_10 = l_Lean_Expr_fvarId_x21(x_8); lean_dec(x_8); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_10); lean_dec(x_9); if (x_11 == 0) @@ -15859,7 +15859,7 @@ lean_object* x_8; lean_object* x_9; uint8_t x_10; x_8 = lean_array_fget(x_3, x_5); x_9 = l_Lean_Expr_fvarId_x21(x_8); lean_dec(x_8); -x_10 = l_Lean_Name_beq___main(x_9, x_2); +x_10 = lean_name_eq(x_9, x_2); lean_dec(x_9); if (x_10 == 0) { diff --git a/stage0/library/Init/Lean/Modifiers.c b/stage0/library/Init/Lean/Modifiers.c index 03ea808c9e..521150f882 100644 --- a/stage0/library/Init/Lean/Modifiers.c +++ b/stage0/library/Init/Lean/Modifiers.c @@ -21,8 +21,8 @@ lean_object* l___private_Init_Lean_Modifiers_2__privatePrefixAux(lean_object*); uint8_t l_Lean_isPrivateName___main(lean_object*); lean_object* l_Lean_protectedExt___closed__5; lean_object* l_Lean_privateHeader; -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); extern lean_object* l_Array_empty___closed__1; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_protectedExt___elambda__1___boxed(lean_object*); lean_object* lean_array_push(lean_object*, lean_object*); @@ -649,7 +649,7 @@ case 1: lean_object* x_3; lean_object* x_4; uint8_t x_5; x_3 = lean_ctor_get(x_1, 0); x_4 = l_Lean_privateHeader; -x_5 = l_Lean_Name_beq___main(x_1, x_4); +x_5 = lean_name_eq(x_1, x_4); if (x_5 == 0) { x_1 = x_3; diff --git a/stage0/library/Init/Lean/Name.c b/stage0/library/Init/Lean/Name.c index cef48ca853..37cd90d109 100644 --- a/stage0/library/Init/Lean/Name.c +++ b/stage0/library/Init/Lean/Name.c @@ -29,12 +29,11 @@ uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); lean_object* l_Lean_Name_isInternal___boxed(lean_object*); lean_object* l_Lean_NameSet_HasEmptyc; lean_object* l_Lean_Name_isPrefixOf___main___boxed(lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_Name_HasBeq; uint8_t l_Lean_Name_DecidableRel(lean_object*, lean_object*); lean_object* l_Lean_Name_quickLt___boxed(lean_object*, lean_object*); lean_object* l_Lean_Name_getNumParts___main___boxed(lean_object*); -uint8_t l_Lean_Name_beq(lean_object*, lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l_Lean_Name_updatePrefix(lean_object*, lean_object*); lean_object* l_Lean_Name_HasToString___closed__1; lean_object* l_Lean_mkNameSimple(lean_object*); @@ -76,7 +75,6 @@ uint8_t l_Lean_Name_isInternal(lean_object*); lean_object* l_Lean_Name_appendIndexAfter(lean_object*, lean_object*); lean_object* l_Lean_NameMap_insert(lean_object*); uint8_t l_Lean_Name_isPrefixOf___main(lean_object*, lean_object*); -lean_object* l_Lean_Name_beq___main___boxed(lean_object*, lean_object*); size_t l_Lean_Name_hash(lean_object*); lean_object* l_RBNode_find___main___at_Lean_NameMap_contains___spec__1___rarg___boxed(lean_object*, lean_object*); lean_object* l_Nat_repr(lean_object*); @@ -429,112 +427,11 @@ x_3 = l_List_reverse___rarg(x_2); return x_3; } } -uint8_t l_Lean_Name_beq___main(lean_object* x_1, lean_object* x_2) { -_start: -{ -switch (lean_obj_tag(x_1)) { -case 0: -{ -if (lean_obj_tag(x_2) == 0) -{ -uint8_t x_3; -x_3 = 1; -return x_3; -} -else -{ -uint8_t x_4; -x_4 = 0; -return x_4; -} -} -case 1: -{ -if (lean_obj_tag(x_2) == 1) -{ -lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; uint8_t x_9; -x_5 = lean_ctor_get(x_1, 0); -x_6 = lean_ctor_get(x_1, 1); -x_7 = lean_ctor_get(x_2, 0); -x_8 = lean_ctor_get(x_2, 1); -x_9 = lean_string_dec_eq(x_6, x_8); -if (x_9 == 0) -{ -uint8_t x_10; -x_10 = 0; -return x_10; -} -else -{ -x_1 = x_5; -x_2 = x_7; -goto _start; -} -} -else -{ -uint8_t x_12; -x_12 = 0; -return x_12; -} -} -default: -{ -if (lean_obj_tag(x_2) == 2) -{ -lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; uint8_t x_17; -x_13 = lean_ctor_get(x_1, 0); -x_14 = lean_ctor_get(x_1, 1); -x_15 = lean_ctor_get(x_2, 0); -x_16 = lean_ctor_get(x_2, 1); -x_17 = lean_nat_dec_eq(x_14, x_16); -if (x_17 == 0) -{ -uint8_t x_18; -x_18 = 0; -return x_18; -} -else -{ -x_1 = x_13; -x_2 = x_15; -goto _start; -} -} -else -{ -uint8_t x_20; -x_20 = 0; -return x_20; -} -} -} -} -} -lean_object* l_Lean_Name_beq___main___boxed(lean_object* x_1, lean_object* x_2) { -_start: -{ -uint8_t x_3; lean_object* x_4; -x_3 = l_Lean_Name_beq___main(x_1, x_2); -lean_dec(x_2); -lean_dec(x_1); -x_4 = lean_box(x_3); -return x_4; -} -} -uint8_t l_Lean_Name_beq(lean_object* x_1, lean_object* x_2) { -_start: -{ -uint8_t x_3; -x_3 = l_Lean_Name_beq___main(x_1, x_2); -return x_3; -} -} lean_object* l_Lean_Name_beq___boxed(lean_object* x_1, lean_object* x_2) { _start: { uint8_t x_3; lean_object* x_4; -x_3 = l_Lean_Name_beq(x_1, x_2); +x_3 = lean_name_eq(x_1, x_2); lean_dec(x_2); lean_dec(x_1); x_4 = lean_box(x_3); @@ -698,7 +595,7 @@ x_4 = lean_ctor_get(x_1, 0); lean_inc(x_4); x_5 = lean_ctor_get(x_1, 1); lean_inc(x_5); -x_6 = l_Lean_Name_beq___main(x_1, x_2); +x_6 = lean_name_eq(x_1, x_2); lean_dec(x_1); if (x_6 == 0) { @@ -722,7 +619,7 @@ x_9 = lean_ctor_get(x_1, 0); lean_inc(x_9); x_10 = lean_ctor_get(x_1, 1); lean_inc(x_10); -x_11 = l_Lean_Name_beq___main(x_1, x_2); +x_11 = lean_name_eq(x_1, x_2); lean_dec(x_1); if (x_11 == 0) { @@ -776,14 +673,14 @@ _start: if (lean_obj_tag(x_2) == 0) { uint8_t x_3; -x_3 = l_Lean_Name_beq___main(x_1, x_2); +x_3 = lean_name_eq(x_1, x_2); return x_3; } else { lean_object* x_4; uint8_t x_5; x_4 = lean_ctor_get(x_2, 0); -x_5 = l_Lean_Name_beq___main(x_1, x_2); +x_5 = lean_name_eq(x_1, x_2); if (x_5 == 0) { x_2 = x_4; @@ -860,7 +757,7 @@ x_9 = l_Lean_Name_lt___main(x_5, x_7); if (x_9 == 0) { uint8_t x_10; -x_10 = l_Lean_Name_beq___main(x_5, x_7); +x_10 = lean_name_eq(x_5, x_7); if (x_10 == 0) { return x_9; @@ -912,7 +809,7 @@ x_20 = l_Lean_Name_lt___main(x_16, x_18); if (x_20 == 0) { uint8_t x_21; -x_21 = l_Lean_Name_beq___main(x_16, x_18); +x_21 = lean_name_eq(x_16, x_18); if (x_21 == 0) { return x_20; diff --git a/stage0/library/Init/Lean/Parser/Parser.c b/stage0/library/Init/Lean/Parser/Parser.c index 09781f818d..513f5667c0 100644 --- a/stage0/library/Init/Lean/Parser/Parser.c +++ b/stage0/library/Init/Lean/Parser/Parser.c @@ -128,7 +128,6 @@ lean_object* l_Lean_Parser_ParserState_next(lean_object*, lean_object*, lean_obj lean_object* l_Lean_Syntax_getTailInfo___main___rarg(lean_object*); lean_object* l_Lean_Parser_registerBuiltinParserAttribute___lambda__1___closed__4; lean_object* l_Array_extract___rarg(lean_object*, lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_Parser_optionalFn___boxed(lean_object*); lean_object* l_Lean_Syntax_mfoldArgsAux___main___at_Lean_Syntax_foldArgs___spec__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Error_HasToString___closed__1; @@ -155,6 +154,7 @@ lean_object* l_Lean_Parser_mkParserState(lean_object*); lean_object* l_List_append___rarg(lean_object*, lean_object*); lean_object* l_Lean_Parser_ParsingTables_inhabited; lean_object* l_Lean_Parser_checkNoWsBefore___elambda__1___rarg(lean_object*, lean_object*, lean_object*, lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l_Lean_Parser_many1Indent___lambda__1(lean_object*, lean_object*, uint8_t, lean_object*, lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_Parser_satisfyFn___boxed(lean_object*, lean_object*, lean_object*, lean_object*); @@ -3302,7 +3302,7 @@ else lean_object* x_4; lean_object* x_5; uint8_t x_6; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 2); -x_6 = l_Lean_Name_beq___main(x_4, x_1); +x_6 = lean_name_eq(x_4, x_1); if (x_6 == 0) { x_2 = x_5; @@ -3438,7 +3438,7 @@ lean_object* x_5; lean_object* x_6; lean_object* x_7; uint8_t x_8; x_5 = lean_ctor_get(x_3, 0); x_6 = lean_ctor_get(x_3, 1); x_7 = lean_ctor_get(x_3, 2); -x_8 = l_Lean_Name_beq___main(x_5, x_1); +x_8 = lean_name_eq(x_5, x_1); if (x_8 == 0) { lean_object* x_9; @@ -3465,7 +3465,7 @@ lean_inc(x_12); lean_inc(x_11); lean_inc(x_10); lean_dec(x_3); -x_13 = l_Lean_Name_beq___main(x_10, x_1); +x_13 = lean_name_eq(x_10, x_1); if (x_13 == 0) { lean_object* x_14; lean_object* x_15; @@ -23153,22 +23153,22 @@ x_15 = lean_ctor_get(x_12, 0); lean_inc(x_15); lean_dec(x_12); x_16 = l_Lean_numLitKind; -x_17 = l_Lean_Name_beq___main(x_15, x_16); +x_17 = lean_name_eq(x_15, x_16); if (x_17 == 0) { lean_object* x_18; uint8_t x_19; x_18 = l_Lean_charLitKind; -x_19 = l_Lean_Name_beq___main(x_15, x_18); +x_19 = lean_name_eq(x_15, x_18); if (x_19 == 0) { lean_object* x_20; uint8_t x_21; x_20 = l_Lean_strLitKind; -x_21 = l_Lean_Name_beq___main(x_15, x_20); +x_21 = lean_name_eq(x_15, x_20); if (x_21 == 0) { lean_object* x_22; uint8_t x_23; x_22 = l_Lean_fieldIdxKind; -x_23 = l_Lean_Name_beq___main(x_15, x_22); +x_23 = lean_name_eq(x_15, x_22); lean_dec(x_15); if (x_23 == 0) { @@ -23222,22 +23222,22 @@ x_30 = lean_ctor_get(x_12, 0); lean_inc(x_30); lean_dec(x_12); x_31 = l_Lean_numLitKind; -x_32 = l_Lean_Name_beq___main(x_30, x_31); +x_32 = lean_name_eq(x_30, x_31); if (x_32 == 0) { lean_object* x_33; uint8_t x_34; x_33 = l_Lean_charLitKind; -x_34 = l_Lean_Name_beq___main(x_30, x_33); +x_34 = lean_name_eq(x_30, x_33); if (x_34 == 0) { lean_object* x_35; uint8_t x_36; x_35 = l_Lean_strLitKind; -x_36 = l_Lean_Name_beq___main(x_30, x_35); +x_36 = lean_name_eq(x_30, x_35); if (x_36 == 0) { lean_object* x_37; uint8_t x_38; x_37 = l_Lean_fieldIdxKind; -x_38 = l_Lean_Name_beq___main(x_30, x_37); +x_38 = lean_name_eq(x_30, x_37); lean_dec(x_30); if (x_38 == 0) { @@ -24250,7 +24250,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { @@ -25805,7 +25805,7 @@ else lean_object* x_4; lean_object* x_5; uint8_t x_6; x_4 = lean_ctor_get(x_2, 0); x_5 = lean_ctor_get(x_2, 1); -x_6 = l_Lean_Name_beq___main(x_1, x_4); +x_6 = lean_name_eq(x_1, x_4); if (x_6 == 0) { x_2 = x_5; @@ -27694,7 +27694,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { @@ -28680,7 +28680,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; uint8_t x_5; x_2 = lean_ctor_get(x_1, 0); x_3 = lean_ctor_get(x_1, 1); x_4 = l_Lean_nullKind; -x_5 = l_Lean_Name_beq___main(x_2, x_4); +x_5 = lean_name_eq(x_2, x_4); if (x_5 == 0) { uint8_t x_6; @@ -28732,7 +28732,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; uint8_t x_5; x_2 = lean_ctor_get(x_1, 0); x_3 = lean_ctor_get(x_1, 1); x_4 = l_Lean_nullKind; -x_5 = l_Lean_Name_beq___main(x_2, x_4); +x_5 = lean_name_eq(x_2, x_4); if (x_5 == 0) { lean_object* x_6; diff --git a/stage0/library/Init/Lean/Parser/Transform.c b/stage0/library/Init/Lean/Parser/Transform.c index a998881481..49453ce2cb 100644 --- a/stage0/library/Init/Lean/Parser/Transform.c +++ b/stage0/library/Init/Lean/Parser/Transform.c @@ -18,8 +18,8 @@ extern lean_object* l_Lean_Parser_declareLeadingBuiltinParser___closed__1; lean_object* l_Lean_Syntax_getArg___rarg(lean_object*, lean_object*); lean_object* l_Array_iterateMAux___main___at_Lean_Syntax_manyToSepBy___spec__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Syntax_getTailInfo___main___rarg(lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_Syntax_removeParen___closed__4; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_array_push(lean_object*, lean_object*); lean_object* lean_array_get_size(lean_object*); lean_object* lean_string_append(lean_object*, lean_object*); @@ -251,7 +251,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; uint8_t x_5; x_2 = lean_ctor_get(x_1, 0); x_3 = lean_ctor_get(x_1, 1); x_4 = l_Lean_Syntax_removeParen___closed__4; -x_5 = l_Lean_Name_beq___main(x_2, x_4); +x_5 = lean_name_eq(x_2, x_4); if (x_5 == 0) { lean_inc(x_1); diff --git a/stage0/library/Init/Lean/ProjFns.c b/stage0/library/Init/Lean/ProjFns.c index ee0243b6bd..7b10e9af62 100644 --- a/stage0/library/Init/Lean/ProjFns.c +++ b/stage0/library/Init/Lean/ProjFns.c @@ -26,8 +26,8 @@ uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); lean_object* l_Lean_mkProjectionFnInfoExtension___closed__3; lean_object* l_Lean_projectionFnInfoExt___elambda__2___boxed(lean_object*); lean_object* l_RBNode_find___main___at_Lean_Environment_getProjectionFnInfo___spec__1___boxed(lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); extern lean_object* l_Array_empty___closed__1; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); extern lean_object* l_Lean_mkTagDeclarationExtension___closed__2; lean_object* l_Lean_mkProjectionFnInfoExtension___closed__1; @@ -375,7 +375,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { diff --git a/stage0/library/Init/Lean/ReducibilityAttrs.c b/stage0/library/Init/Lean/ReducibilityAttrs.c index 792e7fdd62..4336a43418 100644 --- a/stage0/library/Init/Lean/ReducibilityAttrs.c +++ b/stage0/library/Init/Lean/ReducibilityAttrs.c @@ -22,9 +22,9 @@ lean_object* l_Array_qsortAux___main___at_Lean_mkReducibilityAttrs___spec__3(lea extern lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_registerTagAttribute___spec__4___closed__1; uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); lean_object* l_Lean_mkReducibilityAttrs___closed__16; -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); extern lean_object* l_Array_empty___closed__1; extern lean_object* l_Lean_registerTagAttribute___closed__1; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_EnumAttributes_getValue___at_Lean_getReducibilityStatus___spec__1___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_mkReducibilityAttrs___closed__8; @@ -402,7 +402,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { diff --git a/stage0/library/Init/Lean/Scopes.c b/stage0/library/Init/Lean/Scopes.c index b7775bcafa..34a4a0a740 100644 --- a/stage0/library/Init/Lean/Scopes.c +++ b/stage0/library/Init/Lean/Scopes.c @@ -24,11 +24,11 @@ lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_regScopeManagerExtensio lean_object* l_Lean_Environment_registerNamespace___main(lean_object*, lean_object*); lean_object* l_Lean_scopeManagerExt___elambda__1(lean_object*); lean_object* l_Array_anyRangeMAux___main___at_Lean_regScopeManagerExtension___spec__6___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Array_iterateMAux___main___at_Lean_regScopeManagerExtension___spec__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*); extern lean_object* l_Array_empty___closed__1; lean_object* l_Array_iterateMAux___main___at_Lean_regScopeManagerExtension___spec__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*); uint8_t l_Array_anyRangeMAux___main___at_Lean_regScopeManagerExtension___spec__6(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_scopeManagerExt___closed__5; lean_object* lean_get_namespaces(lean_object*); @@ -261,7 +261,7 @@ x_9 = lean_ctor_get(x_8, 1); lean_inc(x_9); lean_dec(x_8); x_10 = lean_ctor_get(x_1, 0); -x_11 = l_Lean_Name_beq___main(x_9, x_10); +x_11 = lean_name_eq(x_9, x_10); lean_dec(x_9); if (x_11 == 0) { diff --git a/stage0/library/Init/Lean/Syntax.c b/stage0/library/Init/Lean/Syntax.c index 9dc4352d1c..7aba84e244 100644 --- a/stage0/library/Init/Lean/Syntax.c +++ b/stage0/library/Init/Lean/Syntax.c @@ -43,7 +43,6 @@ lean_object* l___private_Init_Lean_Syntax_5__decodeBinLitAux(lean_object*, lean_ lean_object* l_Lean_Syntax_getTailInfo___main___rarg(lean_object*); lean_object* l_Lean_Syntax_HasToString(lean_object*); lean_object* l___private_Init_Lean_Syntax_5__decodeBinLitAux___main___boxed(lean_object*, lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_stxInh(lean_object*); lean_object* l_Lean_Syntax_isMissing___rarg___boxed(lean_object*); extern lean_object* l_Array_empty___closed__1; @@ -57,6 +56,7 @@ lean_object* l_Lean_SyntaxNode_modifyArgs___rarg(lean_object*, lean_object*); uint8_t l_Char_isDigit(uint32_t); lean_object* l_Lean_charLitKind___closed__2; lean_object* l_Lean_Syntax_getTailInfo___rarg___boxed(lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l___private_Init_Lean_Syntax_2__updateLeadingAux___rarg(lean_object*, lean_object*); lean_object* l_Lean_mkIdentFrom(lean_object*); lean_object* l___private_Init_Lean_Syntax_4__reprintLeaf___boxed(lean_object*, lean_object*); @@ -1114,7 +1114,7 @@ if (lean_obj_tag(x_1) == 1) lean_object* x_5; uint8_t x_6; x_5 = lean_ctor_get(x_1, 0); lean_inc(x_5); -x_6 = l_Lean_Name_beq___main(x_5, x_2); +x_6 = lean_name_eq(x_5, x_2); lean_dec(x_5); if (x_6 == 0) { @@ -1238,7 +1238,7 @@ if (lean_obj_tag(x_1) == 1) { lean_object* x_3; uint8_t x_4; x_3 = lean_ctor_get(x_1, 0); -x_4 = l_Lean_Name_beq___main(x_2, x_3); +x_4 = lean_name_eq(x_2, x_3); return x_4; } else @@ -3911,7 +3911,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; uint8_t x_5; x_2 = lean_ctor_get(x_1, 0); x_3 = lean_ctor_get(x_1, 1); x_4 = l_Lean_choiceKind; -x_5 = l_Lean_Name_beq___main(x_2, x_4); +x_5 = lean_name_eq(x_2, x_4); if (x_5 == 0) { lean_object* x_6; lean_object* x_7; lean_object* x_8; @@ -4307,7 +4307,7 @@ x_4 = lean_ctor_get(x_1, 1); lean_inc(x_4); lean_dec(x_1); x_5 = l_Lean_Syntax_formatStx___main___rarg___closed__8; -x_6 = l_Lean_Name_beq___main(x_3, x_5); +x_6 = lean_name_eq(x_3, x_5); if (x_6 == 0) { lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; uint8_t x_18; lean_object* x_19; lean_object* x_20; lean_object* x_21; lean_object* x_22; lean_object* x_23; lean_object* x_24; lean_object* x_25; @@ -4726,7 +4726,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; uint8_t x_5; x_2 = lean_ctor_get(x_1, 0); x_3 = lean_ctor_get(x_1, 1); x_4 = l_Lean_strLitKind; -x_5 = l_Lean_Name_beq___main(x_2, x_4); +x_5 = lean_name_eq(x_2, x_4); if (x_5 == 0) { lean_object* x_6; @@ -5480,7 +5480,7 @@ if (lean_obj_tag(x_2) == 1) lean_object* x_3; lean_object* x_4; uint8_t x_5; x_3 = lean_ctor_get(x_2, 0); x_4 = lean_ctor_get(x_2, 1); -x_5 = l_Lean_Name_beq___main(x_3, x_1); +x_5 = lean_name_eq(x_3, x_1); if (x_5 == 0) { lean_object* x_6; diff --git a/stage0/library/Init/Lean/TypeClass/Context.c b/stage0/library/Init/Lean/TypeClass/Context.c index c982b7fb8b..5a55a73541 100644 --- a/stage0/library/Init/Lean/TypeClass/Context.c +++ b/stage0/library/Init/Lean/TypeClass/Context.c @@ -35,7 +35,6 @@ lean_object* l_Lean_TypeClass_Context_eUnify___main___closed__3; uint8_t l_Lean_TypeClass_Context_eOccursIn(lean_object*, lean_object*); lean_object* l_Lean_TypeClass_Context_uOccursIn___lambda__1___boxed(lean_object*, lean_object*); lean_object* l_Lean_TypeClass_Context_uHasTmpMVar___closed__1; -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_TypeClass_Context_internalize___lambda__3(lean_object*, lean_object*); lean_object* l_Lean_mkMVar(lean_object*); size_t l_USize_sub(size_t, size_t); @@ -44,6 +43,7 @@ lean_object* l___private_Init_Util_1__mkPanicMessage(lean_object*, lean_object*, uint8_t l_Lean_TypeClass_Context_eOccursIn___lambda__1(lean_object*, lean_object*); uint8_t l_Lean_Level_hasMVar(lean_object*); lean_object* l_Lean_TypeClass_Context_eUnify___main___closed__2; +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l_Lean_TypeClass_Context__u03b1Norm___closed__5; uint8_t l_Lean_Expr_isApp(lean_object*); lean_object* l_Lean_TypeClass_Context_internalize___lambda__2(lean_object*, lean_object*); @@ -321,7 +321,7 @@ lean_object* x_3; lean_object* x_4; lean_object* x_5; uint8_t x_6; x_3 = lean_ctor_get(x_2, 0); x_4 = lean_ctor_get(x_2, 1); x_5 = l_Lean_TypeClass_Context_metaPrefix; -x_6 = l_Lean_Name_beq___main(x_3, x_5); +x_6 = lean_name_eq(x_3, x_5); if (x_6 == 0) { lean_object* x_7; @@ -1181,7 +1181,7 @@ lean_object* x_3; lean_object* x_4; lean_object* x_5; uint8_t x_6; x_3 = lean_ctor_get(x_2, 0); x_4 = lean_ctor_get(x_2, 1); x_5 = l_Lean_TypeClass_Context_metaPrefix; -x_6 = l_Lean_Name_beq___main(x_3, x_5); +x_6 = lean_name_eq(x_3, x_5); if (x_6 == 0) { lean_object* x_7; @@ -2153,7 +2153,7 @@ lean_dec(x_5); x_83 = lean_ctor_get(x_8, 0); lean_inc(x_83); lean_dec(x_8); -x_84 = l_Lean_Name_beq___main(x_82, x_83); +x_84 = lean_name_eq(x_82, x_83); lean_dec(x_83); lean_dec(x_82); if (x_84 == 0) @@ -3423,7 +3423,7 @@ else lean_object* x_120; lean_object* x_121; uint8_t x_122; x_120 = l_Lean_Expr_constName_x21(x_8); x_121 = l_Lean_Expr_constName_x21(x_12); -x_122 = l_Lean_Name_beq___main(x_120, x_121); +x_122 = lean_name_eq(x_120, x_121); lean_dec(x_121); lean_dec(x_120); if (x_122 == 0) @@ -3477,7 +3477,7 @@ else lean_object* x_132; lean_object* x_133; uint8_t x_134; x_132 = l_Lean_Expr_constName_x21(x_8); x_133 = l_Lean_Expr_constName_x21(x_12); -x_134 = l_Lean_Name_beq___main(x_132, x_133); +x_134 = lean_name_eq(x_132, x_133); lean_dec(x_133); lean_dec(x_132); if (x_134 == 0) @@ -3505,7 +3505,7 @@ else lean_object* x_139; lean_object* x_140; uint8_t x_141; x_139 = l_Lean_Expr_fvarId_x21(x_8); x_140 = l_Lean_Expr_fvarId_x21(x_12); -x_141 = l_Lean_Name_beq___main(x_139, x_140); +x_141 = lean_name_eq(x_139, x_140); lean_dec(x_140); lean_dec(x_139); if (x_141 == 0) @@ -3535,7 +3535,7 @@ else lean_object* x_146; lean_object* x_147; uint8_t x_148; x_146 = l_Lean_Expr_constName_x21(x_8); x_147 = l_Lean_Expr_constName_x21(x_12); -x_148 = l_Lean_Name_beq___main(x_146, x_147); +x_148 = lean_name_eq(x_146, x_147); lean_dec(x_147); lean_dec(x_146); if (x_148 == 0) diff --git a/stage0/library/Init/Lean/WHNF.c b/stage0/library/Init/Lean/WHNF.c index 0532c4612c..0270c6a206 100644 --- a/stage0/library/Init/Lean/WHNF.c +++ b/stage0/library/Init/Lean/WHNF.c @@ -40,7 +40,6 @@ lean_object* l_Lean_whnfEasyCases___main___rarg___lambda__1(lean_object*, lean_o lean_object* l_Lean_whnfMain(lean_object*); lean_object* l_Lean_whnfEasyCases___main___rarg___lambda__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Init_Lean_WHNF_5__toCtorWhenK___rarg___lambda__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -uint8_t l_Lean_Name_beq___main(lean_object*, lean_object*); lean_object* l_Lean_isRecStuck___rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_whnfMain___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_getStuckMVar(lean_object*); @@ -52,6 +51,7 @@ lean_object* l_Lean_whnfCore___main___rarg___lambda__6___boxed(lean_object*, lea lean_object* l___private_Init_Lean_WHNF_2__mkNullaryCtor(lean_object*); lean_object* l___private_Init_Lean_WHNF_4__getRecRuleFor___boxed(lean_object*, lean_object*); lean_object* l___private_Init_Lean_WHNF_10__whnfCoreUnstuck___main___boxed(lean_object*); +uint8_t lean_name_eq(lean_object*, lean_object*); lean_object* l___private_Init_Lean_WHNF_1__getFirstCtor(lean_object*); lean_object* l___private_Init_Lean_WHNF_10__whnfCoreUnstuck___main___rarg___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*); uint8_t l_Lean_Expr_isAppOf(lean_object*, lean_object*); @@ -739,7 +739,7 @@ _start: { lean_object* x_3; uint8_t x_4; x_3 = lean_ctor_get(x_2, 0); -x_4 = l_Lean_Name_beq___main(x_3, x_1); +x_4 = lean_name_eq(x_3, x_1); return x_4; } } diff --git a/stage0/src/library/compiler/ir_interpreter.cpp b/stage0/src/library/compiler/ir_interpreter.cpp index 86e1c31c91..91f9582a7d 100644 --- a/stage0/src/library/compiler/ir_interpreter.cpp +++ b/stage0/src/library/compiler/ir_interpreter.cpp @@ -524,7 +524,7 @@ class interpreter { case fn_body_kind::USet: { // set USize field of unique reference object * o = var(fn_body_uset_var(b)).m_obj; lean_assert(is_exclusive(o)); - cnstr_set_usize(o, fn_body_uset_idx(b).get_small_value(), eval_arg(fn_body_uset_arg(b)).m_num); + cnstr_set_usize(o, fn_body_uset_idx(b).get_small_value(), var(fn_body_uset_arg(b)).m_num); b = fn_body_uset_cont(b); break; }