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

fix(src/frontends/lean/parser): add extra annotations to workaround with clang 6.0.0

Browse source
This commit is contained in:
Leonardo de Moura 2015-07-06 16:39:47 -07:00
parent b0c56273e2
commit fb833a724b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/frontends/lean/parser.cpp
View file

@ -1916,7 +1916,7 @@ void parser::save_overload_notation(list<expr> const & as, pos_info const & p) {
void parser::save_overload_notation(list<pair<unsigned, expr>> const & as, pos_info const & p) { void parser::save_overload_notation(list<pair<unsigned, expr>> const & as, pos_info const & p) {
if (!m_info_manager || length(as) <= 1) if (!m_info_manager || length(as) <= 1)
return; return;
list<expr> new_as = map2<expr>(as, [](pair<unsigned, expr> const & p) { return p.second; }); list<expr> new_as = map2<expr, pair<unsigned, expr>, std::function<expr(pair<unsigned, expr> const &)>>(as, [](pair<unsigned, expr> const & p) { return p.second; });
save_overload_notation(new_as, p); save_overload_notation(new_as, p);
} }
void parser::save_identifier_info(pos_info const & p, name const & full_id) { void parser::save_identifier_info(pos_info const & p, name const & full_id) {