max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: update stage0

Browse source
This commit is contained in:
Leonardo de Moura 2019-10-23 17:31:47 -07:00
parent 012d48f35b
commit faf7d7daf6
25 changed files with 83 additions and 83 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/stage0/Init/Data/Random.c
View file

@ -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;

8
src/stage0/Init/Lean/Attributes.c
View file

@ -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*);

6
src/stage0/Init/Lean/Class.c
View file

@ -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*);

6
src/stage0/Init/Lean/Compiler/ClosedTermCache.c
View file

@ -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;

6
src/stage0/Init/Lean/Compiler/ExportAttr.c
View file

@ -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*);

6
src/stage0/Init/Lean/Compiler/ExternAttr.c
View file

@ -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*);

6
src/stage0/Init/Lean/Compiler/IR/CompilerM.c
View file

@ -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*);

6
src/stage0/Init/Lean/Compiler/IR/ElimDeadBranches.c
View file

@ -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;

6
src/stage0/Init/Lean/Compiler/ImplementedByAttr.c
View file

@ -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;

6
src/stage0/Init/Lean/Compiler/InitAttr.c
View file

@ -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() {

6
src/stage0/Init/Lean/Compiler/InlineAttrs.c
View file

@ -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:

6
src/stage0/Init/Lean/Compiler/Specialize.c
View file

@ -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*);

6
src/stage0/Init/Lean/Elaborator/Alias.c
View file

@ -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*);

8
src/stage0/Init/Lean/Elaborator/Basic.c
View file

@ -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*);

6
src/stage0/Init/Lean/Elaborator/ElabStrategyAttrs.c
View file

@ -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*);

8
src/stage0/Init/Lean/Elaborator/PreTerm.c
View file

@ -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;

8
src/stage0/Init/Lean/Environment.c
View file

@ -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;

6
src/stage0/Init/Lean/Modifiers.c
View file

@ -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*);

6
src/stage0/Init/Lean/Options.c
View file

@ -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*);

10
src/stage0/Init/Lean/Parser/Parser.c
View file

@ -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*);

6
src/stage0/Init/Lean/Path.c
View file

@ -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;

6
src/stage0/Init/Lean/ProjFns.c
View file

@ -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*);

6
src/stage0/Init/Lean/ReducibilityAttrs.c
View file

@ -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() {

6
src/stage0/Init/Lean/Scopes.c
View file

@ -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;

10
src/stage0/Init/System/IO.c
View file

@ -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: