From 65e7e785ff5bd58e31f284ec8034e434c9c51eaf Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 3 Feb 2019 10:00:51 -0800 Subject: [PATCH] fix(library/compiler/llnf): include closures at `is_unboxed` --- src/library/compiler/llnf.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/compiler/llnf.cpp b/src/library/compiler/llnf.cpp index e8ee5858f6..47bdfbcf82 100644 --- a/src/library/compiler/llnf.cpp +++ b/src/library/compiler/llnf.cpp @@ -957,7 +957,7 @@ static name mk_boxed_name(name const & fn) { } static bool is_unboxed(expr const & type) { - return type != mk_enf_object_type() && type != mk_enf_neutral_type(); + return type != mk_enf_object_type() && type != mk_enf_neutral_type() && !is_pi(type); } static bool has_unboxed(expr const & type) {