From 555425539d2a2fb59784dea9237b2887ddc837e0 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 28 Jul 2014 06:52:59 -0700 Subject: [PATCH] refactor(kernel/error_msgs): remove dead code Signed-off-by: Leonardo de Moura --- src/kernel/error_msgs.cpp | 10 ---------- src/kernel/error_msgs.h | 1 - 2 files changed, 11 deletions(-) diff --git a/src/kernel/error_msgs.cpp b/src/kernel/error_msgs.cpp index b6b00cf3e..3f7ac2972 100644 --- a/src/kernel/error_msgs.cpp +++ b/src/kernel/error_msgs.cpp @@ -72,16 +72,6 @@ format pp_def_type_mismatch(formatter const & fmt, name const & n, expr const & return r; } -format pp_type_mismatch(formatter const & fmt, expr const & expected_type, expr const & given_type) { - format expected_fmt, given_fmt; - std::tie(expected_fmt, given_fmt) = pp_until_different(fmt, expected_type, given_type); - format r("type mismatch, expected type:"); - r += expected_fmt; - r += compose(line(), format("given type:")); - r += given_fmt; - return r; -} - static format pp_until_meta_visible(formatter const & fmt, expr const & e, list extra) { formatter fmt1 = fmt; while (true) { diff --git a/src/kernel/error_msgs.h b/src/kernel/error_msgs.h index 866023db2..d77e91257 100644 --- a/src/kernel/error_msgs.h +++ b/src/kernel/error_msgs.h @@ -13,7 +13,6 @@ format pp_type_expected(formatter const & fmt, expr const & e); format pp_function_expected(formatter const & fmt, expr const & e); format pp_app_type_mismatch(formatter const & fmt, expr const & app, expr const & expected_type, expr const & given_type); format pp_def_type_mismatch(formatter const & fmt, name const & n, expr const & expected_type, expr const & given_type); -format pp_type_mismatch(formatter const & fmt, expr const & expected_type, expr const & given_type); format pp_decl_has_metavars(formatter const & fmt, name const & n, expr const & e, bool is_type); /** \brief Set a list extra configuration options that are used to try to distinguish error such as given/expected type mismatch