From 76177d7765437ac18aa80ff1cce3d618f27bec5b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 22 May 2014 14:08:58 -0700 Subject: [PATCH] feat(library/kernel_bindings): improve type_checker:check Lua API Signed-off-by: Leonardo de Moura --- src/library/kernel_bindings.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/kernel_bindings.cpp b/src/library/kernel_bindings.cpp index 8b91488ed..9de66b173 100644 --- a/src/library/kernel_bindings.cpp +++ b/src/library/kernel_bindings.cpp @@ -1745,7 +1745,7 @@ int type_checker_check(lua_State * L) { if (nargs <= 2) return push_expr(L, to_type_checker_ref(L, 1)->check(to_expr(L, 2), level_param_names())); else - return push_expr(L, to_type_checker_ref(L, 1)->check(to_expr(L, 2), to_list_name(L, 3))); + return push_expr(L, to_type_checker_ref(L, 1)->check(to_expr(L, 2), to_level_param_names(L, 3))); } int type_checker_infer(lua_State * L) { return push_expr(L, to_type_checker_ref(L, 1)->infer(to_expr(L, 2))); } int type_checker_is_def_eq(lua_State * L) { return push_boolean(L, to_type_checker_ref(L, 1)->is_def_eq(to_expr(L, 2), to_expr(L, 3))); }