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

fix(kernel/error_msgs): application type mismatch error message

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-05-12 14:49:42 -07:00
parent b18263a014
commit 2e753e2cc0
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/kernel/error_msgs.cpp
View file

@ -24,9 +24,9 @@ format pp_app_type_mismatch(formatter const & fmt, environment const & env, opti
format r; format r;
r += format("type mismatch at application"); r += format("type mismatch at application");
r += pp_indent_expr(fmt, env, opts, app); r += pp_indent_expr(fmt, env, opts, app);
r += format("expected type:"); r += compose(line(), format("expected type:"));
r += pp_indent_expr(fmt, env, opts, expected_type); r += pp_indent_expr(fmt, env, opts, expected_type);
r += format("given type:"); r += compose(line(), format("given type:"));
r += pp_indent_expr(fmt, env, opts, given_type); r += pp_indent_expr(fmt, env, opts, given_type);
return r; return r;
} }