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

chore(stage0): update

Browse source
This commit is contained in:
Leonardo de Moura 2019-09-11 11:58:49 -07:00
parent 56e0c0efae
commit 9acd19fe0f
1 changed files with 14 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

30
src/stage0/init/system/filepath.c
View file

@ -85,14 +85,13 @@ return x_2;
lean_object* _init_l_System_FilePath_pathSeparators___closed__1() {
_start:
{
uint32_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_1 = 47;
x_2 = lean_box(0);
x_3 = l_System_FilePath_pathSeparators___closed__1___boxed__const__1;
x_4 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_4, 0, x_3);
lean_ctor_set(x_4, 1, x_2);
return x_4;
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_box(0);
x_2 = l_System_FilePath_pathSeparators___closed__1___boxed__const__1;
x_3 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_3, 0, x_2);
lean_ctor_set(x_3, 1, x_1);
return x_3;
}
}
lean_object* _init_l_System_FilePath_pathSeparators___closed__2___boxed__const__1() {
@ -107,14 +106,13 @@ return x_2;
lean_object* _init_l_System_FilePath_pathSeparators___closed__2() {
_start:
{
uint32_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_1 = 92;
x_2 = l_System_FilePath_pathSeparators___closed__1;
x_3 = l_System_FilePath_pathSeparators___closed__2___boxed__const__1;
x_4 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_4, 0, x_3);
lean_ctor_set(x_4, 1, x_2);
return x_4;
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = l_System_FilePath_pathSeparators___closed__1;
x_2 = l_System_FilePath_pathSeparators___closed__2___boxed__const__1;
x_3 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_3, 0, x_2);
lean_ctor_set(x_3, 1, x_1);
return x_3;
}
}
lean_object* _init_l_System_FilePath_pathSeparators___closed__3() {