From faf7d7daf60413b74120cdcecda455f25f8210aa Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 23 Oct 2019 17:31:47 -0700 Subject: [PATCH] chore: update stage0 --- src/stage0/Init/Data/Random.c | 6 +++--- src/stage0/Init/Lean/Attributes.c | 8 ++++---- src/stage0/Init/Lean/Class.c | 6 +++--- src/stage0/Init/Lean/Compiler/ClosedTermCache.c | 6 +++--- src/stage0/Init/Lean/Compiler/ExportAttr.c | 6 +++--- src/stage0/Init/Lean/Compiler/ExternAttr.c | 6 +++--- src/stage0/Init/Lean/Compiler/IR/CompilerM.c | 6 +++--- src/stage0/Init/Lean/Compiler/IR/ElimDeadBranches.c | 6 +++--- src/stage0/Init/Lean/Compiler/ImplementedByAttr.c | 6 +++--- src/stage0/Init/Lean/Compiler/InitAttr.c | 6 +++--- src/stage0/Init/Lean/Compiler/InlineAttrs.c | 6 +++--- src/stage0/Init/Lean/Compiler/Specialize.c | 6 +++--- src/stage0/Init/Lean/Elaborator/Alias.c | 6 +++--- src/stage0/Init/Lean/Elaborator/Basic.c | 8 ++++---- src/stage0/Init/Lean/Elaborator/ElabStrategyAttrs.c | 6 +++--- src/stage0/Init/Lean/Elaborator/PreTerm.c | 8 ++++---- src/stage0/Init/Lean/Environment.c | 8 ++++---- src/stage0/Init/Lean/Modifiers.c | 6 +++--- src/stage0/Init/Lean/Options.c | 6 +++--- src/stage0/Init/Lean/Parser/Parser.c | 10 +++++----- src/stage0/Init/Lean/Path.c | 6 +++--- src/stage0/Init/Lean/ProjFns.c | 6 +++--- src/stage0/Init/Lean/ReducibilityAttrs.c | 6 +++--- src/stage0/Init/Lean/Scopes.c | 6 +++--- src/stage0/Init/System/IO.c | 10 +++++----- 25 files changed, 83 insertions(+), 83 deletions(-) diff --git a/src/stage0/Init/Data/Random.c b/src/stage0/Init/Data/Random.c index 2970e2b69b..0b5d2e99e3 100644 --- a/src/stage0/Init/Data/Random.c +++ b/src/stage0/Init/Data/Random.c @@ -69,7 +69,7 @@ lean_object* l_stdNext___closed__116; lean_object* l_stdNext___closed__68; lean_object* l_stdNext___closed__112; lean_object* l_stdNext___closed__155; -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_stdNext___closed__84; lean_object* l_stdNext___closed__71; lean_object* l_stdNext___closed__26; @@ -153,7 +153,7 @@ lean_object* l_stdNext___closed__111; lean_object* l_stdNext___closed__41; lean_object* l_stdNext___closed__151; lean_object* l_stdNext___closed__119; -lean_object* l_IO_Prim_mkRef(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_mk_ref(lean_object*, lean_object*); lean_object* l_stdNext___closed__93; lean_object* l___private_Init_Data_Random_1__randNatAux___main___at_IO_rand___spec__2(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_stdNext___closed__89; @@ -192,7 +192,7 @@ lean_object* l_mkStdGen___boxed(lean_object*); lean_object* l_stdNext___closed__56; lean_object* l_stdNext___closed__25; lean_object* l_IO_rand(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_stdNext___closed__170; lean_object* l___private_Init_Data_Random_1__randNatAux___rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_stdNext___closed__53; diff --git a/src/stage0/Init/Lean/Attributes.c b/src/stage0/Init/Lean/Attributes.c index 46d27a396a..dcc37c8e12 100644 --- a/src/stage0/Init/Lean/Attributes.c +++ b/src/stage0/Init/Lean/Attributes.c @@ -92,7 +92,7 @@ lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_ extern lean_object* l_Lean_Inhabited; lean_object* l_Lean_registerParametricAttribute___rarg___lambda__4(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, uint8_t, lean_object*); lean_object* lean_array_uset(lean_object*, size_t, lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_ParametricAttribute_setParam___rarg___closed__1; lean_object* lean_get_namespace(lean_object*); lean_object* l_Lean_registerParametricAttribute___rarg___lambda__3___closed__1; @@ -197,7 +197,7 @@ lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_ lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_registerEnumAttributes___spec__3___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_registerParametricAttribute___spec__6___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_registerEnumAttributes___spec__4___rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_mkRef(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_mk_ref(lean_object*, lean_object*); lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_registerParametricAttribute___spec__5(lean_object*); uint8_t l_Lean_TagAttribute_hasTag(lean_object*, lean_object*, lean_object*); lean_object* l_Array_anyMAux___main___at_Lean_registerEnumAttributes___spec__8(lean_object*); @@ -224,7 +224,7 @@ lean_object* l_Lean_AttributeImpl_inhabited___lambda__4(lean_object*, lean_objec lean_object* l_RBNode_fold___main___at_Lean_registerParametricAttribute___spec__1___rarg(lean_object*, lean_object*); lean_object* l_Lean_AttributeImpl_inhabited___lambda__2___closed__3; lean_object* l_Lean_PersistentEnvExtension_addEntry___rarg(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_registerParametricAttribute___spec__5___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); size_t lean_usize_modn(size_t, lean_object*); @@ -299,7 +299,7 @@ lean_object* l_Lean_mkAttributeMapRef___closed__1; lean_object* l_Lean_registerTagAttribute___closed__1; uint8_t l_Array_anyMAux___main___at_Lean_registerEnumAttributes___spec__8___rarg(lean_object*, lean_object*, lean_object*); extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_registerTagAttribute___spec__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_registerEnumAttributes___spec__3___rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_getAttributeImpl(lean_object*, lean_object*); diff --git a/src/stage0/Init/Lean/Class.c b/src/stage0/Init/Lean/Class.c index 667c56f2de..b1ec62820a 100644 --- a/src/stage0/Init/Lean/Class.c +++ b/src/stage0/Init/Lean/Class.c @@ -94,7 +94,7 @@ lean_object* lean_array_uset(lean_object*, size_t, lean_object*); lean_object* l_Lean_registerClassAttr___closed__4; lean_object* l_Lean_registerClassAttr___closed__7; lean_object* l_Lean_registerClassAttr___closed__3; -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Expr_getAppNumArgsAux___main(lean_object*, lean_object*); lean_object* l_PersistentHashMap_contains___at_Lean_isClass___spec__3___boxed(lean_object*, lean_object*); lean_object* l_IO_ofExcept___at_Lean_registerClassAttr___spec__1(lean_object*, lean_object*); @@ -200,7 +200,7 @@ uint8_t l_PersistentHashMap_containsAtAux___main___at_Lean_Environment_contains_ lean_object* l_PersistentHashMap_insertAux___main___at_Lean_ClassState_addEntry___spec__31(lean_object*, size_t, size_t, lean_object*, lean_object*); lean_object* l_Lean_PersistentEnvExtension_addEntry___rarg(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_getClassName___boxed(lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_PersistentHashMap_insertAux___main___at_Lean_ClassState_addEntry___spec__20(lean_object*, size_t, size_t, lean_object*, lean_object*); uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); uint8_t l_AssocList_contains___main___at_Lean_ClassState_addEntry___spec__24(lean_object*, lean_object*); @@ -277,7 +277,7 @@ lean_object* l_Lean_registerInstanceAttr___closed__3; extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; extern lean_object* l_Lean_regNamespacesExtension___closed__5; lean_object* l_PersistentHashMap_findAtAux___main___at_Lean_ClassState_addEntry___spec__15(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_PersistentHashMap_insert___at_Lean_ClassState_addEntry___spec__19(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_classExtension___closed__5; lean_object* l_Lean_registerInstanceAttr(lean_object*); diff --git a/src/stage0/Init/Lean/Compiler/ClosedTermCache.c b/src/stage0/Init/Lean/Compiler/ClosedTermCache.c index 4b3d1a68e2..35f64c5871 100644 --- a/src/stage0/Init/Lean/Compiler/ClosedTermCache.c +++ b/src/stage0/Init/Lean/Compiler/ClosedTermCache.c @@ -54,7 +54,7 @@ lean_object* l_Lean_SimplePersistentEnvExtension_getState___rarg(lean_object*, l lean_object* l_Lean_mkStateFromImportedEntries___at_Lean_mkClosedTermCacheExtension___spec__14(lean_object*, lean_object*); lean_object* l_Lean_SMap_find___at_Lean_getClosedTermName___spec__1___boxed(lean_object*, lean_object*); lean_object* lean_array_uset(lean_object*, size_t, lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_registerSimplePersistentEnvExtension___rarg___lambda__2(lean_object*, lean_object*, lean_object*); lean_object* l_PersistentHashMap_getCollisionNodeSize___rarg(lean_object*); lean_object* l_Lean_registerSimplePersistentEnvExtension___rarg___lambda__3(lean_object*, lean_object*); @@ -105,7 +105,7 @@ lean_object* l_AssocList_replace___main___at_Lean_mkClosedTermCacheExtension___s lean_object* l_EState_bind___rarg(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_SMap_empty___at_Lean_mkClosedTermCacheExtension___spec__12___closed__1; lean_object* l_Lean_PersistentEnvExtension_addEntry___rarg(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_closedTermCacheExt___elambda__2___boxed(lean_object*); lean_object* l_PersistentHashMap_findAux___main___at_Lean_getClosedTermName___spec__3___boxed(lean_object*, lean_object*, lean_object*); size_t lean_usize_modn(size_t, lean_object*); @@ -141,7 +141,7 @@ lean_object* l_Lean_closedTermCacheExt___closed__5; lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_mkClosedTermCacheExtension___spec__21___closed__1; extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; extern lean_object* l_Lean_regNamespacesExtension___closed__5; -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_Array_anyMAux___main___at_Lean_mkClosedTermCacheExtension___spec__20___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_closedTermCacheExt___elambda__1___boxed(lean_object*); extern lean_object* l_String_splitAux___main___closed__1; diff --git a/src/stage0/Init/Lean/Compiler/ExportAttr.c b/src/stage0/Init/Lean/Compiler/ExportAttr.c index 467e172552..b475d2b53b 100644 --- a/src/stage0/Init/Lean/Compiler/ExportAttr.c +++ b/src/stage0/Init/Lean/Compiler/ExportAttr.c @@ -42,7 +42,7 @@ lean_object* l_Lean_Name_toStringWithSep___main(lean_object*, lean_object*); extern lean_object* l_Lean_Inhabited; lean_object* l_Lean_registerPersistentEnvExtensionUnsafe___at_Lean_mkExportAttr___spec__5(lean_object*, lean_object*); lean_object* l_Lean_mkExportAttr___lambda__1___boxed(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); extern lean_object* l_Lean_registerParametricAttribute___rarg___closed__1; lean_object* lean_io_initializing(lean_object*); uint8_t l_Array_anyMAux___main___at_Lean_mkExportAttr___spec__6(lean_object*, lean_object*, lean_object*); @@ -83,7 +83,7 @@ lean_object* l_EState_bind___rarg(lean_object*, lean_object*, lean_object*); lean_object* lean_array_swap(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_mkExportAttr___lambda__1___closed__1; lean_object* l_Lean_mkExportAttr___lambda__2(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_exportAttr; uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); lean_object* l_Array_binSearchAux___main___at_Lean_getExportNameFor___spec__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*); @@ -111,7 +111,7 @@ lean_object* l_Array_qsortAux___main___at_Lean_mkExportAttr___spec__3___boxed(le extern lean_object* l_Lean_registerTagAttribute___closed__1; uint8_t l___private_Init_Lean_Compiler_ExportAttr_1__isValidCppId(lean_object*); extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l___private_Init_Lean_Compiler_ExportAttr_2__isValidCppName___boxed(lean_object*); lean_object* l_Lean_mkExportAttr___lambda__1___closed__4; lean_object* l_Lean_isExport___boxed(lean_object*, lean_object*); diff --git a/src/stage0/Init/Lean/Compiler/ExternAttr.c b/src/stage0/Init/Lean/Compiler/ExternAttr.c index 366505183c..5322245142 100644 --- a/src/stage0/Init/Lean/Compiler/ExternAttr.c +++ b/src/stage0/Init/Lean/Compiler/ExternAttr.c @@ -57,7 +57,7 @@ lean_object* l___private_Init_Lean_Compiler_ExternAttr_3__parseOptNum(lean_objec uint8_t l_String_Iterator_hasNext(lean_object*); extern lean_object* l_Lean_Inhabited; lean_object* l___private_Init_Lean_Compiler_ExternAttr_1__syntaxToExternEntries___main___closed__1; -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l___private_Init_Lean_Compiler_ExternAttr_2__syntaxToExternAttrData___closed__9; lean_object* l___private_Init_Lean_Compiler_ExternAttr_1__syntaxToExternEntries(lean_object*, lean_object*, lean_object*); lean_object* lean_io_initializing(lean_object*); @@ -127,7 +127,7 @@ lean_object* lean_array_swap(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_getExternEntryFor___boxed(lean_object*, lean_object*); lean_object* l_Lean_ExternAttrData_inhabited___closed__1; extern lean_object* l_System_FilePath_dirName___closed__1; -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); uint8_t l_Array_anyMAux___main___at_Lean_mkExternAttr___spec__6(lean_object*, lean_object*, lean_object*); lean_object* l___private_Init_Lean_Compiler_ExternAttr_1__syntaxToExternEntries___main___closed__7; @@ -159,7 +159,7 @@ lean_object* lean_nat_mul(lean_object*, lean_object*); lean_object* l_Array_qsortAux___main___at_Lean_mkExternAttr___spec__3(lean_object*, lean_object*, lean_object*); extern lean_object* l_Lean_registerTagAttribute___closed__1; extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l___private_Init_Lean_Compiler_ExternAttr_1__syntaxToExternEntries___main___closed__5; lean_object* l_Lean_isExternC___boxed(lean_object*, lean_object*); lean_object* l_String_Iterator_remainingBytes(lean_object*); diff --git a/src/stage0/Init/Lean/Compiler/IR/CompilerM.c b/src/stage0/Init/Lean/Compiler/IR/CompilerM.c index 206f7bedd8..6c49bcc91d 100644 --- a/src/stage0/Init/Lean/Compiler/IR/CompilerM.c +++ b/src/stage0/Init/Lean/Compiler/IR/CompilerM.c @@ -65,7 +65,7 @@ extern lean_object* l_Lean_Format_sbracket___closed__1; lean_object* lean_array_uset(lean_object*, size_t, lean_object*); lean_object* l_PersistentHashMap_findAux___main___at_Lean_IR_findEnvDecl___spec__3(lean_object*, size_t, lean_object*); lean_object* l_Lean_IR_addDecls___boxed(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l___private_Init_Lean_Compiler_IR_CompilerM_3__logMessageIfAux___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); extern lean_object* l_Lean_Options_empty; lean_object* l_Lean_SMap_find___at_Lean_IR_findEnvDecl___spec__1___boxed(lean_object*, lean_object*); @@ -162,7 +162,7 @@ lean_object* l_Lean_IR_Decl_name(lean_object*); lean_object* l_Lean_IR_declMapExt___closed__2; lean_object* l_Lean_IR_getDecl(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_PersistentEnvExtension_addEntry___rarg(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, 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* lean_ir_find_env_decl(lean_object*, lean_object*); size_t lean_usize_modn(size_t, lean_object*); @@ -230,7 +230,7 @@ lean_object* l_Lean_IR_mkDeclMapExtension___lambda__1(lean_object*, lean_object* extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; lean_object* l_Array_mforAux___main___at_Lean_IR_addDecls___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_IR_containsDecl_x27___boxed(lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_Lean_mkStateFromImportedEntries___at_Lean_IR_mkDeclMapExtension___spec__7___boxed(lean_object*); lean_object* l_PersistentHashMap_find___at_Lean_IR_findEnvDecl___spec__2___boxed(lean_object*, lean_object*); lean_object* l_HashMapImp_moveEntries___main___at___private_Init_Lean_Compiler_IR_CompilerM_4__mkEntryArray___spec__5(lean_object*, lean_object*, lean_object*); diff --git a/src/stage0/Init/Lean/Compiler/IR/ElimDeadBranches.c b/src/stage0/Init/Lean/Compiler/IR/ElimDeadBranches.c index e10127049d..11577ba4fb 100644 --- a/src/stage0/Init/Lean/Compiler/IR/ElimDeadBranches.c +++ b/src/stage0/Init/Lean/Compiler/IR/ElimDeadBranches.c @@ -90,7 +90,7 @@ lean_object* lean_array_uset(lean_object*, size_t, lean_object*); uint8_t l_List_foldr___main___at_Lean_IR_UnreachableBranches_Value_beq___main___spec__2(lean_object*, uint8_t, lean_object*); lean_object* l_Array_findIdxAux___main___at_Lean_IR_UnreachableBranches_interpExpr___spec__2(lean_object*, lean_object*, lean_object*); lean_object* l_Nat_mfoldAux___main___at_Lean_IR_UnreachableBranches_updateJPParamsAssignment___spec__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, uint8_t, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); uint8_t l_Lean_IR_CtorInfo_beq(lean_object*, lean_object*); uint8_t l_List_foldr___main___at_Lean_IR_UnreachableBranches_Value_beq___main___spec__3(lean_object*, uint8_t, lean_object*); lean_object* l_Lean_IR_UnreachableBranches_containsCtor___main___boxed(lean_object*, lean_object*); @@ -239,7 +239,7 @@ lean_object* l_Lean_IR_UnreachableBranches_Value_truncate___main(lean_object*, l lean_object* l_AssocList_find___main___at_Lean_IR_UnreachableBranches_getFunctionSummary___spec__6(lean_object*, lean_object*); lean_object* l_Lean_IR_UnreachableBranches_Value_addChoice(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_PersistentEnvExtension_addEntry___rarg(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_IR_UnreachableBranches_Value_HasBeq___closed__1; lean_object* l_Lean_IR_UnreachableBranches_functionSummariesExt___elambda__2(lean_object*); lean_object* l_AssocList_find___main___at_Lean_IR_UnreachableBranches_findVarValue___spec__2(lean_object*, lean_object*); @@ -324,7 +324,7 @@ lean_object* l_Lean_IR_UnreachableBranches_updateVarAssignment___closed__1; lean_object* l_Lean_IR_UnreachableBranches_Value_format___main___closed__7; lean_object* l_List_foldl___main___at_Lean_IR_UnreachableBranches_Value_merge___main___spec__2(lean_object*, lean_object*); lean_object* l_Array_miterateAux___main___at_Lean_IR_UnreachableBranches_mkFunctionSummariesExtension___spec__5___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_Lean_IR_UnreachableBranches_functionSummariesExt___elambda__4___rarg(lean_object*); lean_object* l_Array_miterateAux___main___at_Lean_IR_UnreachableBranches_mkFunctionSummariesExtension___spec__15(lean_object*, lean_object*, lean_object*, lean_object*); extern lean_object* l_Lean_IR_Arg_Inhabited; diff --git a/src/stage0/Init/Lean/Compiler/ImplementedByAttr.c b/src/stage0/Init/Lean/Compiler/ImplementedByAttr.c index 536557843f..c2c380d2bf 100644 --- a/src/stage0/Init/Lean/Compiler/ImplementedByAttr.c +++ b/src/stage0/Init/Lean/Compiler/ImplementedByAttr.c @@ -33,7 +33,7 @@ lean_object* l_Array_qsortAux___main___at_Lean_Compiler_mkImplementedByAttr___sp extern lean_object* l_Lean_registerPersistentEnvExtensionUnsafe___rarg___closed__4; lean_object* l_Lean_Name_toStringWithSep___main(lean_object*, lean_object*); extern lean_object* l_Lean_Inhabited; -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); extern lean_object* l_Lean_registerParametricAttribute___rarg___closed__1; lean_object* lean_io_initializing(lean_object*); extern lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_registerTagAttribute___spec__6___closed__1; @@ -76,7 +76,7 @@ lean_object* l_Lean_registerParametricAttribute___rarg___lambda__4___boxed(lean_ lean_object* l_EState_bind___rarg(lean_object*, lean_object*, lean_object*); lean_object* lean_array_swap(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Compiler_mkImplementedByAttr___closed__2; -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_RBNode_fold___main___at_Lean_Compiler_mkImplementedByAttr___spec__2___boxed(lean_object*, lean_object*); uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); lean_object* l_Lean_ConstantInfo_type(lean_object*); @@ -100,7 +100,7 @@ uint8_t l_Array_anyMAux___main___at_Lean_Compiler_mkImplementedByAttr___spec__6( extern lean_object* l_Lean_registerTagAttribute___closed__1; lean_object* l_RBNode_fold___main___at_Lean_Compiler_mkImplementedByAttr___spec__2(lean_object*, lean_object*); extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_RBNode_find___main___at_Lean_Compiler_getImplementedBy___spec__2___boxed(lean_object*, lean_object*); lean_object* l_Lean_Compiler_mkImplementedByAttr___lambda__1___closed__4; lean_object* l_Lean_Compiler_mkImplementedByAttr___closed__1; diff --git a/src/stage0/Init/Lean/Compiler/InitAttr.c b/src/stage0/Init/Lean/Compiler/InitAttr.c index 14d0cecc6c..8cdf3548dd 100644 --- a/src/stage0/Init/Lean/Compiler/InitAttr.c +++ b/src/stage0/Init/Lean/Compiler/InitAttr.c @@ -46,7 +46,7 @@ lean_object* l_Lean_mkInitAttr___lambda__1___closed__1; extern lean_object* l_Lean_Inhabited; lean_object* l_Array_qsortAux___main___at_Lean_mkInitAttr___spec__3(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_mkInitAttr___lambda__1___closed__8; -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); extern lean_object* l_Lean_registerParametricAttribute___rarg___closed__1; lean_object* l_Lean_mkInitAttr___lambda__1___closed__10; lean_object* lean_io_initializing(lean_object*); @@ -95,7 +95,7 @@ uint8_t l___private_Init_Lean_Compiler_InitAttr_2__isUnitType(lean_object*); lean_object* l_Lean_mkInitAttr___lambda__1___closed__6; lean_object* lean_array_swap(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_mkInitAttr___closed__4; -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); lean_object* l_Lean_isIOUnitInitFn___boxed(lean_object*, lean_object*); lean_object* l_Lean_ParametricAttribute_setParam___rarg(lean_object*, lean_object*, lean_object*, lean_object*); @@ -122,7 +122,7 @@ lean_object* l_Lean_mkInitAttr___lambda__1___closed__11; extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; lean_object* l___private_Init_Lean_Compiler_InitAttr_2__isUnitType___boxed(lean_object*); lean_object* l_Lean_mkInitAttr___lambda__1___closed__9; -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_RBNode_find___main___at_Lean_isIOUnitInitFn___spec__2(lean_object*, lean_object*); lean_object* l_Lean_registerTagAttribute___lambda__6___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* _init_l___private_Init_Lean_Compiler_InitAttr_1__getIOTypeArg___closed__1() { diff --git a/src/stage0/Init/Lean/Compiler/InlineAttrs.c b/src/stage0/Init/Lean/Compiler/InlineAttrs.c index 442daac8dd..e1f0b343b0 100644 --- a/src/stage0/Init/Lean/Compiler/InlineAttrs.c +++ b/src/stage0/Init/Lean/Compiler/InlineAttrs.c @@ -47,7 +47,7 @@ lean_object* l_Lean_Name_toStringWithSep___main(lean_object*, lean_object*); lean_object* l_Lean_Compiler_hasNoInlineAttribute___boxed(lean_object*, lean_object*); extern lean_object* l_Lean_Inhabited; lean_object* l_Lean_registerEnumAttributes___at_Lean_Compiler_mkInlineAttrs___spec__1___lambda__2(lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); uint8_t lean_has_macro_inline_attribute(lean_object*, lean_object*); lean_object* l_Array_binSearchAux___main___at___private_Init_Lean_Compiler_InlineAttrs_1__hasInlineAttrAux___main___spec__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*); uint8_t l_Lean_Compiler_isEagerLambdaLiftingName___main(lean_object*); @@ -105,7 +105,7 @@ lean_object* l_EState_bind___rarg(lean_object*, lean_object*, lean_object*); lean_object* lean_array_swap(lean_object*, lean_object*, lean_object*); lean_object* l___private_Init_Lean_Compiler_InlineAttrs_1__hasInlineAttrAux___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_PersistentEnvExtension_addEntry___rarg(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_Compiler_mkInlineAttrs___closed__3; uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_Compiler_mkInlineAttrs___spec__4___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -140,7 +140,7 @@ lean_object* l_Lean_registerEnumAttributes___at_Lean_Compiler_mkInlineAttrs___sp uint8_t lean_has_inline_attribute(lean_object*, lean_object*); extern lean_object* l_Lean_registerTagAttribute___closed__1; extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_Lean_registerTagAttribute___lambda__6___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); uint8_t _init_l_Lean_Compiler_InlineAttributeKind_Inhabited() { _start: diff --git a/src/stage0/Init/Lean/Compiler/Specialize.c b/src/stage0/Init/Lean/Compiler/Specialize.c index a4e75828df..0a23ef4fba 100644 --- a/src/stage0/Init/Lean/Compiler/Specialize.c +++ b/src/stage0/Init/Lean/Compiler/Specialize.c @@ -74,7 +74,7 @@ extern lean_object* l_Lean_Inhabited; lean_object* lean_array_uset(lean_object*, size_t, 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_find___at_Lean_Compiler_getSpecializationInfo___spec__2(lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_AssocList_mfoldl___main___at_Lean_Compiler_SpecState_addEntry___spec__10(lean_object*, lean_object*); lean_object* l_PersistentHashMap_findAux___main___at_Lean_Compiler_getCachedSpecialization___spec__3___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_registerSimplePersistentEnvExtension___rarg___lambda__2(lean_object*, lean_object*, lean_object*); @@ -181,7 +181,7 @@ lean_object* lean_get_specialization_info(lean_object*, lean_object*); lean_object* l_Lean_mkStateFromImportedEntries___at_Lean_Compiler_mkSpecExtension___spec__1___boxed(lean_object*, lean_object*); lean_object* l_Lean_Compiler_mkSpecializeAttrs___lambda__1(lean_object*, lean_object*, uint8_t); lean_object* l_Lean_PersistentEnvExtension_addEntry___rarg(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, 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__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Array_binSearchAux___main___at___private_Init_Lean_Compiler_Specialize_1__hasSpecializeAttrAux___main___spec__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*); uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); @@ -249,7 +249,7 @@ lean_object* l_HashMapImp_expand___at_Lean_Compiler_SpecState_addEntry___spec__8 extern lean_object* l_Lean_registerTagAttribute___closed__1; extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; extern lean_object* l_Lean_regNamespacesExtension___closed__5; -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_Lean_Compiler_specExtension___elambda__1___boxed(lean_object*); lean_object* l_Lean_Compiler_mkSpecExtension___closed__1; uint8_t lean_has_nospecialize_attribute(lean_object*, lean_object*); diff --git a/src/stage0/Init/Lean/Elaborator/Alias.c b/src/stage0/Init/Lean/Elaborator/Alias.c index 6d5030df92..01f98d894a 100644 --- a/src/stage0/Init/Lean/Elaborator/Alias.c +++ b/src/stage0/Init/Lean/Elaborator/Alias.c @@ -51,7 +51,7 @@ lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_mkAliasExtension___spec lean_object* l_Lean_aliasExtension___elambda__2___boxed(lean_object*); lean_object* lean_array_uset(lean_object*, size_t, lean_object*); uint8_t l_Array_anyMAux___main___at_Lean_mkAliasExtension___spec__9(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_mkAliasExtension___closed__4; lean_object* l_HashMapImp_find___at_Lean_addAliasEntry___spec__5___boxed(lean_object*, lean_object*); lean_object* l_Lean_addAliasEntry(lean_object*, lean_object*); @@ -108,7 +108,7 @@ lean_object* l_EState_bind___rarg(lean_object*, lean_object*, lean_object*); lean_object* l_PersistentHashMap_insert___at_Lean_addAliasEntry___spec__8(lean_object*, lean_object*, lean_object*); lean_object* l_AssocList_find___main___at_Lean_addAliasEntry___spec__6___boxed(lean_object*, lean_object*); lean_object* l_Lean_PersistentEnvExtension_addEntry___rarg(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); size_t lean_usize_modn(size_t, lean_object*); lean_object* l_HashMapImp_expand___at_Lean_addAliasEntry___spec__14(lean_object*, lean_object*); lean_object* l_PersistentHashMap_insertAtCollisionNodeAux___main___at_Lean_addAliasEntry___spec__10(lean_object*, lean_object*, lean_object*, lean_object*); @@ -143,7 +143,7 @@ lean_object* lean_nat_mul(lean_object*, lean_object*); lean_object* l_Lean_mkAliasExtension___lambda__1___boxed(lean_object*); extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; extern lean_object* l_Lean_regNamespacesExtension___closed__5; -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_PersistentHashMap_find___at_Lean_addAliasEntry___spec__2___boxed(lean_object*, lean_object*); extern lean_object* l_String_splitAux___main___closed__1; lean_object* l_PersistentHashMap_findAux___main___at_Lean_addAliasEntry___spec__3___boxed(lean_object*, lean_object*, lean_object*); diff --git a/src/stage0/Init/Lean/Elaborator/Basic.c b/src/stage0/Init/Lean/Elaborator/Basic.c index 0b9eb89f9e..7f6da9fc6b 100644 --- a/src/stage0/Init/Lean/Elaborator/Basic.c +++ b/src/stage0/Init/Lean/Elaborator/Basic.c @@ -138,7 +138,7 @@ uint8_t l_Array_anyMAux___main___at_Lean_mkTermElabAttribute___spec__3(lean_obje lean_object* l_Lean_syntaxNodeKindOfAttrParam___closed__1; lean_object* l_Lean_Elab_resolveNamespaceUsingScopes(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_SMap_contains___at_Lean_addBuiltinTermElab___spec__1___boxed(lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Elab_runElab___at_Lean_Elab_processCommand___spec__1___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Elab_updateCmdPos___boxed(lean_object*); extern lean_object* l_Lean_Options_empty; @@ -298,7 +298,7 @@ extern lean_object* l_Lean_Parser_mkCommandParserAttribute___closed__4; lean_object* l_Lean_Elab_elabCommand___closed__2; lean_object* l_Lean_Elab_modifyGetScope___at_Lean_Elab_mkLocalDecl___spec__1(lean_object*, lean_object*, uint8_t, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Elab_getOpenDecls___boxed(lean_object*); -lean_object* l_IO_Prim_mkRef(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_mk_ref(lean_object*, lean_object*); lean_object* l_panicWithPos___at_Lean_Elab_getScope___spec__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Elab_logUnknownDecl___rarg(lean_object*, lean_object*, lean_object*, lean_object*); uint8_t l_Lean_isNamespace(lean_object*, lean_object*); @@ -336,7 +336,7 @@ extern lean_object* l_System_FilePath_dirName___closed__1; lean_object* l_panic(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_checkSyntaxNodeKindAtNamespaces(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_mkParserContextCore(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_AssocList_find___main___at_Lean_Elab_elabCommand___spec__6(lean_object*, lean_object*); lean_object* l_Lean_registerBuiltinTermElabAttr___lambda__1___closed__2; lean_object* l_Lean_Elab_runIOUnsafe___rarg___boxed(lean_object*, lean_object*, lean_object*); @@ -456,7 +456,7 @@ lean_object* l_Lean_Elab_withNewScope___rarg(lean_object*, lean_object*, lean_ob extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; lean_object* l_PersistentHashMap_findAtAux___main___at_Lean_Elab_elabCommand___spec__4___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Elab_getEnv(lean_object*); -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_Lean_Elab_rootNamespace___closed__1; lean_object* l_Lean_Elab_mkFreshName___rarg(lean_object*); lean_object* l_Lean_LocalContext_mkForall(lean_object*, lean_object*, lean_object*); diff --git a/src/stage0/Init/Lean/Elaborator/ElabStrategyAttrs.c b/src/stage0/Init/Lean/Elaborator/ElabStrategyAttrs.c index 6a6705fcdf..50f7af03d5 100644 --- a/src/stage0/Init/Lean/Elaborator/ElabStrategyAttrs.c +++ b/src/stage0/Init/Lean/Elaborator/ElabStrategyAttrs.c @@ -42,7 +42,7 @@ lean_object* l_Lean_Name_toStringWithSep___main(lean_object*, lean_object*); lean_object* l_Lean_mkElaboratorStrategyAttrs___lambda__1(lean_object*, lean_object*, uint8_t); lean_object* l_Lean_mkElaboratorStrategyAttrs___closed__8; extern lean_object* l_Lean_Inhabited; -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_mkElaboratorStrategyAttrs___closed__14; lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_mkElaboratorStrategyAttrs___spec__4(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_mkElaboratorStrategyAttrs___closed__12; @@ -90,7 +90,7 @@ lean_object* lean_array_swap(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_mkElaboratorStrategyAttrs___closed__5; lean_object* l_Lean_mkElaboratorStrategyAttrs___closed__20; lean_object* l_Lean_PersistentEnvExtension_addEntry___rarg(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); lean_object* l_Lean_mkElaboratorStrategyAttrs___closed__1; lean_object* lean_get_elaborator_strategy(lean_object*, lean_object*); @@ -114,7 +114,7 @@ lean_object* l_Array_binSearchAux___main___at_Lean_getElaboratorStrategy___spec_ lean_object* l_List_map___main___at_Lean_mkElaboratorStrategyAttrs___spec__8___lambda__1(lean_object*, lean_object*, uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, uint8_t, lean_object*); extern lean_object* l_Lean_registerTagAttribute___closed__1; extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_Lean_mkElaboratorStrategyAttrs___closed__21; lean_object* l_Lean_registerTagAttribute___lambda__6___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_registerPersistentEnvExtensionUnsafe___at_Lean_mkElaboratorStrategyAttrs___spec__5(lean_object*, lean_object*); diff --git a/src/stage0/Init/Lean/Elaborator/PreTerm.c b/src/stage0/Init/Lean/Elaborator/PreTerm.c index e12df51232..488950b29d 100644 --- a/src/stage0/Init/Lean/Elaborator/PreTerm.c +++ b/src/stage0/Init/Lean/Elaborator/PreTerm.c @@ -89,7 +89,7 @@ uint8_t l_AssocList_contains___main___at_Lean_addBuiltinPreTermElab___spec__2(le lean_object* l___regBuiltinTermElab_Lean_Elab_convertProp___closed__1; lean_object* l___regBuiltinTermElab_Lean_Elab_convertForall___closed__1; extern lean_object* l_Lean_Parser_Term_sorry___elambda__1___rarg___closed__2; -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_registerBuiltinPreTermElabAttr___closed__4; lean_object* l___regBuiltinTermElab_Lean_Elab_convertSortApp___closed__3; lean_object* l_Array_miterateAux___main___at_Lean_Elab_toLevel___main___spec__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -183,7 +183,7 @@ lean_object* l___private_Init_Lean_Elaborator_PreTerm_6__processBinders(lean_obj lean_object* l___regBuiltinTermElab_Lean_Elab_convertSorry___closed__3; lean_object* l_Lean_registerBuiltinPreTermElabAttr___closed__6; lean_object* l___regBuiltinTermElab_Lean_Elab_convertForall___closed__2; -lean_object* l_IO_Prim_mkRef(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_mk_ref(lean_object*, lean_object*); lean_object* l___regBuiltinTermElab_Lean_Elab_convertForall(lean_object*); extern lean_object* l_Lean_Parser_Level_paren___elambda__1___rarg___closed__4; lean_object* l_Lean_Elab_convertId___boxed(lean_object*, lean_object*, lean_object*); @@ -208,7 +208,7 @@ extern lean_object* l_Lean_Parser_Term_id___elambda__1___closed__2; lean_object* l_Array_ummapAux___main___at___private_Init_Lean_Elaborator_PreTerm_5__processBinder___spec__1___closed__1; lean_object* l___private_Init_Lean_Elaborator_PreTerm_3__mkHoleFor___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Elab_toLevel___main___closed__1; -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_Expr_mkAnnotation___closed__1; size_t lean_usize_modn(size_t, lean_object*); lean_object* l___regBuiltinTermElab_Lean_Elab_convertId___closed__1; @@ -280,7 +280,7 @@ lean_object* l_Array_ummapAux___main___at___private_Init_Lean_Elaborator_PreTerm lean_object* l_Lean_Elab_convertSorry___rarg___closed__1; extern lean_object* l_Lean_Parser_Term_simpleBinder___elambda__1___closed__2; lean_object* l___regBuiltinTermElab_Lean_Elab_convertType___closed__2; -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_Lean_mkAsIs(lean_object*); lean_object* l_Lean_Elab_convertType___rarg___closed__1; extern lean_object* l_Lean_exprIsInhabited___closed__1; diff --git a/src/stage0/Init/Lean/Environment.c b/src/stage0/Init/Lean/Environment.c index 1adc9e995a..69042c1a6d 100644 --- a/src/stage0/Init/Lean/Environment.c +++ b/src/stage0/Init/Lean/Environment.c @@ -132,7 +132,7 @@ lean_object* l_Array_miterateAux___main___at___private_Init_Lean_Environment_10_ lean_object* l_List_redLength___main___rarg(lean_object*); lean_object* l_Lean_PersistentEnvExtension_getState___rarg___boxed(lean_object*, lean_object*); lean_object* l_PersistentHashMap_find___at_Lean_Environment_find___spec__4___boxed(lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_AssocList_find___main___at_Lean_Environment_find___spec__3(lean_object*, lean_object*); lean_object* l_Array_miterateAux___main___at_Lean_importModules___spec__8___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_registerSimplePersistentEnvExtension___spec__3(lean_object*, lean_object*); @@ -297,7 +297,7 @@ extern size_t l_PersistentHashMap_insertAux___main___rarg___closed__2; lean_object* l_Lean_registerPersistentEnvExtensionUnsafe(lean_object*, lean_object*); lean_object* l_AssocList_find___main___at_Lean_Environment_getModuleIdxFor___spec__2(lean_object*, lean_object*); lean_object* l_Lean_mkModuleData(lean_object*, lean_object*); -lean_object* l_IO_Prim_mkRef(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_mk_ref(lean_object*, lean_object*); lean_object* l___private_Init_Lean_Environment_2__isQuotInit___boxed(lean_object*); lean_object* l_Lean_PersistentEnvExtension_getState(lean_object*, lean_object*); lean_object* l_Lean_PersistentEnvExtension_setState(lean_object*, lean_object*); @@ -337,7 +337,7 @@ lean_object* l_PersistentHashMap_mfoldlAux___main___at_Lean_mkModuleData___spec_ lean_object* l_Lean_Environment_Inhabited___closed__1; lean_object* l_Lean_Environment_addAndCompile___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_PersistentEnvExtension_addEntry___rarg(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_mkModuleData___boxed(lean_object*, lean_object*); lean_object* l_HashMapImp_expand___at_Lean_Environment_addAux___spec__8(lean_object*, lean_object*); lean_object* l_Lean_registerNamespace(lean_object*, lean_object*); @@ -431,7 +431,7 @@ lean_object* l_Lean_mkStateFromImportedEntries___rarg___boxed(lean_object*, lean lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; lean_object* l_Lean_regNamespacesExtension___closed__5; lean_object* l_HashMapImp_moveEntries___main___at_Lean_Environment_addAux___spec__9(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_PersistentHashMap_findAtAux___main___at_Lean_Environment_find___spec__6___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_HashMapImp_expand___at_Lean_importModules___spec__3(lean_object*, lean_object*); extern lean_object* l_List_repr___rarg___closed__1; diff --git a/src/stage0/Init/Lean/Modifiers.c b/src/stage0/Init/Lean/Modifiers.c index f78f14883c..211928aefd 100644 --- a/src/stage0/Init/Lean/Modifiers.c +++ b/src/stage0/Init/Lean/Modifiers.c @@ -40,7 +40,7 @@ extern lean_object* l_Lean_Inhabited; lean_object* l_List_redLength___main___rarg(lean_object*); lean_object* l_Lean_isPrivateNameExport___boxed(lean_object*); lean_object* l_Lean_isProtected___boxed(lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_isPrivateName___main___boxed(lean_object*); lean_object* l_Lean_privateHeader___closed__1; lean_object* l_Lean_mkProtectedExtension___closed__2; @@ -83,7 +83,7 @@ lean_object* lean_array_swap(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_protectedExt___elambda__3(lean_object*, lean_object*); lean_object* lean_mk_private_name(lean_object*, lean_object*); lean_object* l_Lean_PersistentEnvExtension_addEntry___rarg(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); lean_object* lean_name_mk_numeral(lean_object*, lean_object*); lean_object* l_Lean_privateExt___elambda__1(lean_object*); @@ -106,7 +106,7 @@ lean_object* l_Lean_Name_append___main(lean_object*, lean_object*); lean_object* l_Lean_privateExt; extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; lean_object* l___private_Init_Lean_Modifiers_2__privatePrefixAux___main(lean_object*); -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_Lean_protectedExt___elambda__4___boxed(lean_object*); lean_object* l_Lean_protectedExt___elambda__2___boxed(lean_object*); lean_object* lean_private_to_user_name(lean_object*); diff --git a/src/stage0/Init/Lean/Options.c b/src/stage0/Init/Lean/Options.c index c9182bd4cc..484b9b3514 100644 --- a/src/stage0/Init/Lean/Options.c +++ b/src/stage0/Init/Lean/Options.c @@ -23,7 +23,7 @@ lean_object* l_List_map___main___at_Lean_setOptionFromString___spec__1(lean_obje lean_object* l_Lean_Name_toStringWithSep___main(lean_object*, lean_object*); lean_object* l_Lean_getOptionDecl___closed__1; lean_object* l_Lean_getOptionDecl(lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Options_empty; lean_object* l_Lean_registerOption___closed__1; extern lean_object* l_Bool_HasRepr___closed__2; @@ -42,10 +42,10 @@ uint8_t l_Lean_NameMap_contains___rarg(lean_object*, lean_object*); lean_object* l_Lean_setOptionFromString___closed__4; uint8_t l_String_isInt(lean_object*); uint8_t lean_string_dec_eq(lean_object*, lean_object*); -lean_object* l_IO_Prim_mkRef(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_mk_ref(lean_object*, lean_object*); lean_object* l_String_trim(lean_object*); extern lean_object* l_System_FilePath_dirName___closed__1; -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l___private_Init_Lean_Options_2__optionDeclsRef; lean_object* l_Lean_getOptionDescr(lean_object*, lean_object*); uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); diff --git a/src/stage0/Init/Lean/Parser/Parser.c b/src/stage0/Init/Lean/Parser/Parser.c index 294c69dee7..fab58b1e71 100644 --- a/src/stage0/Init/Lean/Parser/Parser.c +++ b/src/stage0/Init/Lean/Parser/Parser.c @@ -232,7 +232,7 @@ lean_object* l_Lean_Parser_unicodeSymbolInfo___closed__1; lean_object* l_Lean_Syntax_mfoldArgsAux___main(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Syntax_getOptional___rarg___boxed(lean_object*); lean_object* l_Lean_Parser_takeUntilFn___main___at_Lean_Parser_hexNumberFn___spec__3(lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_List_foldl___main___at_Lean_Parser_addBuiltinLeadingParser___spec__5(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Syntax_isNone(lean_object*); lean_object* l_Lean_Parser_getSyntaxNodeKinds(lean_object*); @@ -402,7 +402,7 @@ lean_object* l_Lean_Parser_andthenFn(uint8_t); lean_object* l_Lean_Parser_takeWhileFn___at_Lean_Parser_binNumberFn___spec__2___boxed(lean_object*, lean_object*); lean_object* l_Lean_Syntax_mfoldArgsAux___main___at_Lean_Syntax_mforSepArgs___spec__1___rarg___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_longestMatchFn___closed__1; -lean_object* l_IO_Prim_Ref_swap(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_swap(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_insertNoWsToken___closed__1; lean_object* l_Lean_Parser_charLit___boxed(lean_object*); lean_object* l_Lean_Parser_sepByFn___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -533,7 +533,7 @@ uint8_t lean_string_dec_eq(lean_object*, lean_object*); lean_object* l_Lean_Parser_TokenConfig_toStr___closed__1; lean_object* l_Lean_Parser_mkTokenTableAttribute___lambda__2___boxed(lean_object*); lean_object* l_Lean_Parser_declareLeadingBuiltinParser___closed__2; -lean_object* l_IO_Prim_mkRef(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_mk_ref(lean_object*, lean_object*); lean_object* l_Lean_Parser_mkImportedTokenTable(lean_object*); uint8_t l_Array_anyMAux___main___at_Lean_Parser_registerParserAttribute___spec__2(lean_object*, lean_object*, lean_object*); uint8_t l_UInt32_decEq(uint32_t, uint32_t); @@ -625,7 +625,7 @@ uint8_t l_AssocList_contains___main___at_Lean_Parser_nodeInfo___elambda__1___spe lean_object* l_Lean_Parser_unquotedSymbol___elambda__1(uint8_t, lean_object*); lean_object* l_Lean_Parser_andthenAux(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_mkParserContextCore(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_Parser_symbolNoWsFnAux(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_RBNode_insert___at_Lean_Parser_TokenMap_insert___spec__2(lean_object*); lean_object* l_Lean_Parser_ParserContextCore_inhabited___closed__1; @@ -864,7 +864,7 @@ extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; lean_object* l_Lean_Parser_withPosition(uint8_t, lean_object*); lean_object* l___private_Init_Lean_Parser_Trie_3__findAux___main___rarg(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_rawCh___elambda__1(uint8_t); -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_Lean_Parser_ParserAttribute_inhabited___closed__2; lean_object* l_Lean_Parser_checkColGe___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_ParserState_mkErrorsAt(lean_object*, lean_object*, lean_object*); diff --git a/src/stage0/Init/Lean/Path.c b/src/stage0/Init/Lean/Path.c index 562355285f..cff013614a 100644 --- a/src/stage0/Init/Lean/Path.c +++ b/src/stage0/Init/Lean/Path.c @@ -41,7 +41,7 @@ lean_object* l_Lean_Name_toStringWithSep___main(lean_object*, lean_object*); lean_object* l_Lean_addRel___main(lean_object*, lean_object*); lean_object* l_List_redLength___main___rarg(lean_object*); lean_object* l_System_FilePath_normalizePath(lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_moduleNameOfFileName___closed__2; lean_object* lean_mk_empty_array_with_capacity(lean_object*); lean_object* lean_string_push(lean_object*, uint32_t); @@ -86,14 +86,14 @@ uint32_t lean_string_utf8_get(lean_object*, lean_object*); lean_object* l_Lean_mkSearchPathRef___closed__1; lean_object* l_IO_fileExists___at_Lean_findFile___spec__1___boxed(lean_object*, lean_object*); uint8_t lean_string_dec_eq(lean_object*, lean_object*); -lean_object* l_IO_Prim_mkRef(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_mk_ref(lean_object*, lean_object*); uint8_t l_UInt32_decEq(uint32_t, uint32_t); extern lean_object* l_Array_HasRepr___rarg___closed__1; lean_object* l_List_reprAux___main___at_Lean_findAtSearchPath___spec__3(uint8_t, lean_object*); lean_object* l_Lean_addRel___main___boxed(lean_object*, lean_object*); lean_object* l_Lean_modNameToFileName___main___boxed(lean_object*); lean_object* l_Lean_moduleNameOfFileName___closed__1; -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_findAtSearchPath(lean_object*, lean_object*); lean_object* l_Array_mfindAux___main___at_Lean_findFile___spec__2___closed__1; lean_object* l_Lean_moduleNameOfFileName___closed__3; diff --git a/src/stage0/Init/Lean/ProjFns.c b/src/stage0/Init/Lean/ProjFns.c index db2118f66c..d2a9682c29 100644 --- a/src/stage0/Init/Lean/ProjFns.c +++ b/src/stage0/Init/Lean/ProjFns.c @@ -39,7 +39,7 @@ lean_object* l_Lean_SimplePersistentEnvExtension_getState___rarg(lean_object*, l extern lean_object* l_Lean_Inhabited; lean_object* l_Lean_mkProjectionFnInfoExtension___closed__2; lean_object* l_List_redLength___main___rarg(lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_projectionFnInfoExt___closed__3; lean_object* l_Lean_projectionFnInfoExt___closed__2; lean_object* l_Lean_registerSimplePersistentEnvExtension___rarg___lambda__2(lean_object*, lean_object*, lean_object*); @@ -83,7 +83,7 @@ lean_object* l_Lean_projectionFnInfoExt___closed__5; lean_object* lean_array_swap(lean_object*, lean_object*, lean_object*); lean_object* lean_add_projection_info(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, uint8_t); lean_object* l_Lean_PersistentEnvExtension_addEntry___rarg(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); lean_object* l_Lean_registerSimplePersistentEnvExtension___at_Lean_mkProjectionFnInfoExtension___spec__3(lean_object*, lean_object*); lean_object* lean_get_projection_info(lean_object*, lean_object*); @@ -106,7 +106,7 @@ lean_object* l_Array_qsortAux___main___at_Lean_mkProjectionFnInfoExtension___spe lean_object* l_Lean_ProjectionFunctionInfo_inhabited; lean_object* l_Lean_mkProjectionFnInfoExtension___closed__6; extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_RBNode_find___main___at_Lean_Environment_getProjectionFnInfo___spec__1(lean_object*, lean_object*); extern lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_regNamespacesExtension___spec__7___closed__2; lean_object* l_Lean_projectionFnInfoExt___elambda__1(lean_object*); diff --git a/src/stage0/Init/Lean/ReducibilityAttrs.c b/src/stage0/Init/Lean/ReducibilityAttrs.c index eee049f213..4e33448c5c 100644 --- a/src/stage0/Init/Lean/ReducibilityAttrs.c +++ b/src/stage0/Init/Lean/ReducibilityAttrs.c @@ -46,7 +46,7 @@ lean_object* l_Lean_mkReducibilityAttrs___lambda__1___closed__1; extern lean_object* l_Lean_Inhabited; lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_mkReducibilityAttrs___spec__4(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_EnumAttributes_getValue___at_Lean_getReducibilityStatus___spec__1(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* lean_io_initializing(lean_object*); lean_object* l_Lean_mkReducibilityAttrs___closed__15; extern lean_object* l_Lean_registerEnumAttributes___rarg___closed__1; @@ -91,7 +91,7 @@ lean_object* l_EState_bind___rarg(lean_object*, lean_object*, lean_object*); lean_object* lean_array_swap(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_mkReducibilityAttrs___closed__18; lean_object* l_Lean_PersistentEnvExtension_addEntry___rarg(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_mkReducibilityAttrs___closed__6; uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_mkReducibilityAttrs___spec__7(lean_object*, lean_object*); @@ -116,7 +116,7 @@ lean_object* l_Lean_registerEnumAttributes___at_Lean_mkReducibilityAttrs___spec_ lean_object* l_Lean_mkReducibilityAttrs___closed__14; extern lean_object* l_Lean_registerTagAttribute___closed__1; extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_Lean_registerTagAttribute___lambda__6___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Init_Data_Array_QSort_1__partitionAux___main___at_Lean_mkReducibilityAttrs___spec__4___closed__1; uint8_t _init_l_Lean_ReducibilityStatus_inhabited() { diff --git a/src/stage0/Init/Lean/Scopes.c b/src/stage0/Init/Lean/Scopes.c index 259fa526d0..49931d3f9c 100644 --- a/src/stage0/Init/Lean/Scopes.c +++ b/src/stage0/Init/Lean/Scopes.c @@ -41,7 +41,7 @@ lean_object* l_Lean_scopeManagerExt; lean_object* l_Lean_registerEnvExtensionUnsafe___at_Lean_regScopeManagerExtension___spec__7___closed__2; lean_object* l_Lean_ScopeManagerState_Inhabited; lean_object* l_Lean_Environment_registerNamespaceAux(lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* lean_get_namespace(lean_object*); lean_object* l_Lean_registerSimplePersistentEnvExtension___rarg___lambda__2(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_registerSimplePersistentEnvExtension___rarg___lambda__3(lean_object*, lean_object*); @@ -91,7 +91,7 @@ lean_object* l_Lean_regScopeManagerExtension___closed__1; lean_object* l_Lean_Environment_popScopeCore(lean_object*); lean_object* l_Lean_Environment_getNamespaceSet___boxed(lean_object*); lean_object* l_Lean_PersistentEnvExtension_addEntry___rarg(lean_object*, lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_Lean_scopeManagerExt___closed__1; lean_object* l_Lean_scopeManagerExt___elambda__3(lean_object*, lean_object*); lean_object* l_Lean_ScopeManagerState_Inhabited___closed__1; @@ -115,7 +115,7 @@ lean_object* l_Lean_Environment_pushScopeCore___lambda__1___boxed(lean_object*, extern lean_object* l_Lean_registerEnvExtensionUnsafe___rarg___closed__1; extern lean_object* l_Lean_regNamespacesExtension___closed__5; lean_object* lean_to_valid_namespace(lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); lean_object* l_Lean_scopeManagerExt___elambda__4(lean_object*); lean_object* l_Lean_scopeManagerExt___elambda__4___rarg(lean_object*); extern lean_object* l_String_splitAux___main___closed__1; diff --git a/src/stage0/Init/System/IO.c b/src/stage0/Init/System/IO.c index a622780f7f..ac318785bc 100644 --- a/src/stage0/Init/System/IO.c +++ b/src/stage0/Init/System/IO.c @@ -66,7 +66,7 @@ lean_object* l_IO_Ref_modify___rarg___lambda__1___boxed(lean_object*, lean_objec lean_object* l_IO_Ref_modify___boxed(lean_object*); lean_object* l_IO_realPath___rarg(lean_object*, lean_object*); lean_object* l_IO_Prim_putStr___boxed(lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_set(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_set(lean_object*, lean_object*, lean_object*); lean_object* l_IO_Prim_getEnv___boxed(lean_object*, lean_object*); lean_object* l_IO_appDir___rarg(lean_object*, lean_object*); lean_object* l_IO_print___at_HasRepr_HasEval___spec__2(lean_object*, lean_object*); @@ -101,7 +101,7 @@ lean_object* l_IO_Ref_modify___rarg(lean_object*, lean_object*, lean_object*, le lean_object* l_IO_Ref_set(lean_object*, lean_object*); lean_object* l_IO_Ref_reset(lean_object*, lean_object*); lean_object* l_IO_appDir(lean_object*); -lean_object* l_IO_Prim_Ref_swap(lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_swap(lean_object*, lean_object*, lean_object*); lean_object* l_IO_mkRef___rarg(lean_object*, lean_object*, lean_object*); lean_object* l_IO_getEnv___rarg(lean_object*, lean_object*); lean_object* l_IO_Fs_handle_mk___rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*); @@ -129,7 +129,7 @@ lean_object* l_IO_mkRef(lean_object*, lean_object*); lean_object* l_IO_appPath___rarg(lean_object*); lean_object* l_IO_Fs_readFile___rarg___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_IO_readTextFile___rarg(lean_object*, lean_object*); -lean_object* l_IO_Prim_mkRef(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_mk_ref(lean_object*, lean_object*); lean_object* l_IO_Fs_readFile___rarg(lean_object*, lean_object*, lean_object*, uint8_t); lean_object* l_IO_Prim_readTextFile___boxed(lean_object*, lean_object*); lean_object* l_IO_Fs_handle_mk___boxed(lean_object*, lean_object*); @@ -148,7 +148,7 @@ lean_object* l_IO_println___rarg(lean_object*, lean_object*, lean_object*, lean_ lean_object* l_IO_Fs_handle_getLine___at_IO_Fs_handle_readToEnd___spec__2___boxed(lean_object*, lean_object*); lean_object* l_IO_Fs_handle_getLine___boxed(lean_object*, lean_object*); lean_object* lean_io_prim_handle_flush(lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_get(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_get(lean_object*, lean_object*); lean_object* l_IO_realPath(lean_object*, lean_object*); lean_object* l_IO_print(lean_object*, lean_object*); lean_object* l_IO_Fs_handle_getLine___rarg(lean_object*, lean_object*); @@ -193,7 +193,7 @@ lean_object* l_IO_Prim_mkRef___boxed(lean_object*, lean_object*, lean_object*); lean_object* l_IO_lazyPure___rarg(lean_object*, lean_object*); lean_object* l_IO_Fs_readFile(lean_object*); lean_object* l_EState_Inhabited___rarg(lean_object*, lean_object*); -lean_object* l_IO_Prim_Ref_reset(lean_object*, lean_object*, lean_object*); +lean_object* lean_io_ref_reset(lean_object*, lean_object*); extern lean_object* l_String_splitAux___main___closed__1; lean_object* _init_l_EIO_Monad___closed__1() { _start: