From a2d668ec991ad2e1ada14e8d7dbedd3c2ede852b Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Sun, 22 Dec 2019 14:45:49 +0100 Subject: [PATCH] fix: leaks --- src/Init/Lean/Compiler/IR/CtorLayout.lean | 2 +- src/library/compiler/ir_interpreter.cpp | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Init/Lean/Compiler/IR/CtorLayout.lean b/src/Init/Lean/Compiler/IR/CtorLayout.lean index 892dc2fad8..e3fe13f61a 100644 --- a/src/Init/Lean/Compiler/IR/CtorLayout.lean +++ b/src/Init/Lean/Compiler/IR/CtorLayout.lean @@ -36,7 +36,7 @@ structure CtorLayout := (scalarSize : Nat) @[extern "lean_ir_get_ctor_layout"] -constant getCtorLayout (env : Environment) (ctorName : Name) : Except String CtorLayout := arbitrary _ +constant getCtorLayout (env : @& Environment) (ctorName : @& Name) : Except String CtorLayout := arbitrary _ end IR end Lean diff --git a/src/library/compiler/ir_interpreter.cpp b/src/library/compiler/ir_interpreter.cpp index 3f62ff6136..43246de9c8 100644 --- a/src/library/compiler/ir_interpreter.cpp +++ b/src/library/compiler/ir_interpreter.cpp @@ -838,8 +838,8 @@ public: for (unsigned i = 0; i < arity; i++) { m_arg_stack.push_back(args[i]); } - push_frame(e.m_decl, 0); - r = eval_body(decl_fun_body(e.m_decl)).m_obj; + push_frame(d, 0); + r = eval_body(decl_fun_body(d)).m_obj; if (n > arity) { // `fn` returned a closure r = apply_n(r, n - arity, &args[arity]);