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-04 20:02:19 -07:00
parent 5801e0e65a
commit 82c3bb8015
12 changed files with 39 additions and 22 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/stage0/Init/Data/Array/Basic.c
View file

@ -868,7 +868,7 @@ lean_object* _init_l___private_Init_Data_Array_Basic_1__swapAtPanic_x21___rarg__
_start:
{
lean_object* x_1;
x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Data/Array/Basic.lean");
x_1 = lean_mk_string("Init.Data.Array.Basic");
return x_1;
}
}

2
src/stage0/Init/Data/HashMap/Basic.c
View file

@ -1283,7 +1283,7 @@ lean_object* _init_l_HashMap_find_x21___rarg___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Data/HashMap/Basic.lean");
x_1 = lean_mk_string("Init.Data.HashMap.Basic");
return x_1;
}
}

2
src/stage0/Init/Data/List/BasicAux.c
View file

@ -80,7 +80,7 @@ lean_object* _init_l_List_get_x21___main___rarg___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Data/List/BasicAux.lean");
x_1 = lean_mk_string("Init.Data.List.BasicAux");
return x_1;
}
}

2
src/stage0/Init/Data/Option/BasicAux.c
View file

@ -23,7 +23,7 @@ lean_object* _init_l_Option_get_x21___rarg___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Data/Option/BasicAux.lean");
x_1 = lean_mk_string("Init.Data.Option.BasicAux");
return x_1;
}
}

2
src/stage0/Init/Data/PersistentHashMap/Basic.c
View file

@ -1470,7 +1470,7 @@ lean_object* _init_l_PersistentHashMap_find_x21___rarg___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Data/PersistentHashMap/Basic.lean");
x_1 = lean_mk_string("Init.Data.PersistentHashMap.Basic");
return x_1;
}
}

2
src/stage0/Init/Data/RBMap/BasicAux.c
View file

@ -80,7 +80,7 @@ lean_object* _init_l_RBMap_min_x21___rarg___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Data/RBMap/BasicAux.lean");
x_1 = lean_mk_string("Init.Data.RBMap.BasicAux");
return x_1;
}
}

2
src/stage0/Init/Lean/Compiler/IR/UnreachBranches.c
View file

@ -706,7 +706,7 @@ lean_object* _init_l_Lean_IR_UnreachableBranches_Value_addChoice___main___closed
_start:
{
lean_object* x_1;
x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Lean/Compiler/IR/UnreachBranches.lean");
x_1 = lean_mk_string("Init.Lean.Compiler.IR.UnreachBranches");
return x_1;
}
}

2
src/stage0/Init/Lean/Expr.c
View file

@ -1219,7 +1219,7 @@ lean_object* _init_l_Lean_Expr_constName___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Lean/Expr.lean");
x_1 = lean_mk_string("Init.Lean.Expr");
return x_1;
}
}

2
src/stage0/Init/Lean/SMap.c
View file

@ -343,7 +343,7 @@ lean_object* _init_l_Lean_SMap_find_x21___rarg___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Lean/SMap.lean");
x_1 = lean_mk_string("Init.Lean.SMap");
return x_1;
}
}

2
src/stage0/Init/Lean/TypeClass/Context.c
View file

@ -730,7 +730,7 @@ lean_object* _init_l_Lean_TypeClass_Context_eInfer___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Lean/TypeClass/Context.lean");
x_1 = lean_mk_string("Init.Lean.TypeClass.Context");
return x_1;
}
}

2
src/stage0/Init/Lean/TypeClass/Synth.c
View file

@ -5948,7 +5948,7 @@ lean_object* _init_l_Lean_TypeClass_collectEReplacements___main___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Lean/TypeClass/Synth.lean");
x_1 = lean_mk_string("Init.Lean.TypeClass.Synth");
return x_1;
}
}

39
src/stage0/Init/System/FilePath.c
View file

@ -41,6 +41,7 @@ uint32_t l_System_FilePath_pathSeparator;
lean_object* lean_string_utf8_next(lean_object*, lean_object*);
lean_object* lean_string_utf8_extract(lean_object*, lean_object*, lean_object*);
lean_object* l_System_FilePath_pathSeparators___closed__1___boxed__const__1;
uint32_t l_Char_toLower(uint32_t);
uint8_t l_System_FilePath_normalizePath___closed__2;
lean_object* l_System_FilePath_normalizePath___closed__1;
uint8_t l_List_foldr___main___at_System_FilePath_normalizePath___spec__1(uint32_t, uint8_t, lean_object*);
@ -249,23 +250,39 @@ x_6 = l_System_FilePath_pathSeparators;
x_7 = l_List_foldr___main___at_System_FilePath_normalizePath___spec__1(x_4, x_5, x_6);
if (x_7 == 0)
{
lean_object* x_8; lean_object* x_9;
x_8 = lean_string_utf8_set(x_2, x_1, x_4);
x_9 = lean_string_utf8_next(x_8, x_1);
uint8_t x_8;
x_8 = l_System_Platform_isWindows;
if (x_8 == 0)
{
lean_object* x_9; lean_object* x_10;
x_9 = lean_string_utf8_set(x_2, x_1, x_4);
x_10 = lean_string_utf8_next(x_9, x_1);
lean_dec(x_1);
x_1 = x_9;
x_2 = x_8;
x_1 = x_10;
x_2 = x_9;
goto _start;
}
else
{
uint32_t x_11; lean_object* x_12; lean_object* x_13;
x_11 = l_System_FilePath_pathSeparator;
x_12 = lean_string_utf8_set(x_2, x_1, x_11);
x_13 = lean_string_utf8_next(x_12, x_1);
uint32_t x_12; lean_object* x_13; lean_object* x_14;
x_12 = l_Char_toLower(x_4);
x_13 = lean_string_utf8_set(x_2, x_1, x_12);
x_14 = lean_string_utf8_next(x_13, x_1);
lean_dec(x_1);
x_1 = x_13;
x_2 = x_12;
x_1 = x_14;
x_2 = x_13;
goto _start;
}
}
else
{
uint32_t x_16; lean_object* x_17; lean_object* x_18;
x_16 = l_System_FilePath_pathSeparator;
x_17 = lean_string_utf8_set(x_2, x_1, x_16);
x_18 = lean_string_utf8_next(x_17, x_1);
lean_dec(x_1);
x_1 = x_18;
x_2 = x_17;
goto _start;
}
}