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

chore(frontends/lean/parser_config): remove dead code

Browse source
This commit is contained in:
Leonardo de Moura 2015-06-30 16:04:00 -07:00
parent 880f212494
commit 4ea57196ff
2 changed files with 0 additions and 31 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
src/frontends/lean/parser_config.cpp
View file

@ -346,28 +346,6 @@ environment add_notation(environment const & env, notation_entry const & e, bool
return notation_ext::add_entry(env, get_dummy_ios(), e, persistent);
}
environment add_nud_notation(environment const & env, unsigned num, notation::transition const * ts,
expr const & a, bool overload, notation_entry_group g, bool parse_only) {
return add_notation(env, notation_entry(true, to_list(ts, ts+num), a, overload, g, parse_only));
}
environment add_led_notation(environment const & env, unsigned num, notation::transition const * ts,
expr const & a, bool overload, notation_entry_group g, bool parse_only) {
return add_notation(env, notation_entry(false, to_list(ts, ts+num), a, overload, g, parse_only));
}
environment add_nud_notation(environment const & env, std::initializer_list<notation::transition> const & ts,
expr const & a, bool overload, bool parse_only) {
notation_entry_group g = notation_entry_group::Main;
return add_nud_notation(env, ts.size(), ts.begin(), a, overload, g, parse_only);
}
environment add_led_notation(environment const & env, std::initializer_list<notation::transition> const & ts,
expr const & a, bool overload, bool parse_only) {
notation_entry_group g = notation_entry_group::Main;
return add_led_notation(env, ts.size(), ts.begin(), a, overload, g, parse_only);
}
parse_table const & get_nud_table(environment const & env) {
return notation_ext::get_state(env).m_nud;
}

9
src/frontends/lean/parser_config.h
View file

@ -67,15 +67,6 @@ environment add_notation(environment const & env, notation_entry const & e, bool
environment add_expr_token(environment const & env, char const * val, unsigned prec);
environment add_tactic_token(environment const & env, char const * val, unsigned prec);
environment add_nud_notation(environment const & env, unsigned num, notation::transition const * ts, expr const & a,
bool overload = true, notation_entry_group g = notation_entry_group::Main, bool parse_only = false);
environment add_led_notation(environment const & env, unsigned num, notation::transition const * ts, expr const & a,
bool overload = true, notation_entry_group g = notation_entry_group::Main, bool parse_only = false);
environment add_nud_notation(environment const & env, std::initializer_list<notation::transition> const & ts, expr const & a,
bool overload = true, bool parse_only = false);
environment add_led_notation(environment const & env, std::initializer_list<notation::transition> const & ts, expr const & a,
bool overload = true, bool parse_only = false);
token_table const & get_token_table(environment const & env);
parse_table const & get_nud_table(environment const & env);
parse_table const & get_led_table(environment const & env);