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

fix(library/compiler/erase_irrelevant): monad.return was renamed to monad.ret

Browse source
This commit is contained in:
Leonardo de Moura 2016-06-08 16:17:33 -07:00
parent 94ef8e3078
commit 165d45ac32
4 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/compiler/erase_irrelevant.cpp
View file

@ -357,7 +357,7 @@ class erase_irrelevant_fn : public compiler_step_visitor {
return visit_subtype_rec(args);
} else if (n == get_monad_bind_name()) {
return visit_monad_bind(e, args);
} else if (n == get_monad_return_name()) {
} else if (n == get_monad_ret_name()) {
return visit_monad_return(e, args);
} else if (is_cases_on_recursor(env(), n)) {
return visit_cases_on(fn, args);

8
src/library/constants.cpp
View file

@ -108,7 +108,7 @@ name const * g_list_cons = nullptr;
name const * g_monad = nullptr;
name const * g_monad_map = nullptr;
name const * g_monad_bind = nullptr;
name const * g_monad_return = nullptr;
name const * g_monad_ret = nullptr;
name const * g_monadIO = nullptr;
name const * g_monoid = nullptr;
name const * g_mul = nullptr;
@ -406,7 +406,7 @@ void initialize_constants() {
g_monad = new name{"monad"};
g_monad_map = new name{"monad", "map"};
g_monad_bind = new name{"monad", "bind"};
g_monad_return = new name{"monad", "return"};
g_monad_ret = new name{"monad", "ret"};
g_monadIO = new name{"monadIO"};
g_monoid = new name{"monoid"};
g_mul = new name{"mul"};
@ -705,7 +705,7 @@ void finalize_constants() {
delete g_monad;
delete g_monad_map;
delete g_monad_bind;
delete g_monad_return;
delete g_monad_ret;
delete g_monadIO;
delete g_monoid;
delete g_mul;
@ -1003,7 +1003,7 @@ name const & get_list_cons_name() { return *g_list_cons; }
name const & get_monad_name() { return *g_monad; }
name const & get_monad_map_name() { return *g_monad_map; }
name const & get_monad_bind_name() { return *g_monad_bind; }
name const & get_monad_return_name() { return *g_monad_return; }
name const & get_monad_ret_name() { return *g_monad_ret; }
name const & get_monadIO_name() { return *g_monadIO; }
name const & get_monoid_name() { return *g_monoid; }
name const & get_mul_name() { return *g_mul; }

2
src/library/constants.h
View file

@ -110,7 +110,7 @@ name const & get_list_cons_name();
name const & get_monad_name();
name const & get_monad_map_name();
name const & get_monad_bind_name();
name const & get_monad_return_name();
name const & get_monad_ret_name();
name const & get_monadIO_name();
name const & get_monoid_name();
name const & get_mul_name();

2
src/library/constants.txt
View file

@ -103,7 +103,7 @@ list.cons
monad
monad.map
monad.bind
monad.return
monad.ret
monadIO
monoid
mul