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

fix(library/coercion): compilation warning

Browse source
This commit is contained in:
Leonardo de Moura 2015-07-02 07:26:00 -07:00
parent aa338f6002
commit dd145926a2
1 changed files with 4 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/library/coercion.cpp
View file

@ -311,8 +311,7 @@ static environment add_coercion_core(environment const & env,
return new_env;
}
static environment add_coercion(environment const & env, io_state const & ios,
name const & f, name const & C, bool persistent) {
static environment add_coercion(environment const & env, name const & f, name const & C, bool persistent) {
declaration d = env.get(f);
unsigned num = 0;
buffer<expr> args;
@ -340,7 +339,7 @@ static environment add_coercion(environment const & env, io_state const & ios,
}
}
environment add_coercion(environment const & env, io_state const & ios, name const & f, bool persistent) {
environment add_coercion(environment const & env, io_state const &, name const & f, bool persistent) {
declaration d = env.get(f);
expr t = d.get_type();
check_pi(f, t);
@ -358,10 +357,10 @@ environment add_coercion(environment const & env, io_state const & ios, name con
--i;
if (i == 0) {
// last alternative
return add_coercion(env, ios, f, Cs[i], persistent);
return add_coercion(env, f, Cs[i], persistent);
} else {
try {
return add_coercion(env, ios, f, Cs[i], persistent);
return add_coercion(env, f, Cs[i], persistent);
} catch (exception &) {
// failed, keep trying...
}