fix(kernel/type_checker): propagate 'memoize' flag to default_converter

This commit is contained in:
Leonardo de Moura 2014-10-23 13:15:53 -07:00
parent 8e3ac023bb
commit 40235c6af0
2 changed files with 4 additions and 2 deletions

View file

@ -421,6 +421,9 @@ type_checker::type_checker(environment const & env, name_generator const & g, st
m_memoize(memoize), m_params(nullptr) {
}
type_checker::type_checker(environment const & env, name_generator const & g, bool memoize):
type_checker(env, g, mk_default_converter(env, optional<module_idx>(), memoize), memoize) {}
static name * g_tmp_prefix = nullptr;
type_checker::type_checker(environment const & env):

View file

@ -119,8 +119,7 @@ public:
memoize: if true, then inferred types are memoized/cached
*/
type_checker(environment const & env, name_generator const & g, std::unique_ptr<converter> && conv, bool memoize = true);
type_checker(environment const & env, name_generator const & g, bool memoize = true):
type_checker(env, g, mk_default_converter(env), memoize) {}
type_checker(environment const & env, name_generator const & g, bool memoize = true);
type_checker(environment const & env);
~type_checker();