michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(library/kernel_bindings): style

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-05-17 13:44:51 -07:00
parent 53e02a902c
commit f7bc5ac514
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/library/kernel_bindings.cpp
View file

@ -90,9 +90,11 @@ template<level (*F)(level const & l1, level const & l2)>
static int mk_level_max_core(lua_State * L) { static int mk_level_max_core(lua_State * L) {
int nargs = lua_gettop(L); int nargs = lua_gettop(L);
level r; level r;
if (nargs == 0) r = mk_level_zero(); if (nargs == 0) {
else if (nargs == 1) r = to_level_ext(L, 1); r = mk_level_zero();
else { } else if (nargs == 1) {
r = to_level_ext(L, 1);
} else {
r = F(to_level_ext(L, nargs - 1), to_level_ext(L, nargs)); r = F(to_level_ext(L, nargs - 1), to_level_ext(L, nargs));
for (int i = nargs - 2; i >= 1; i--) for (int i = nargs - 2; i >= 1; i--)
r = F(to_level_ext(L, i), r); r = F(to_level_ext(L, i), r);