max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

feat(library/compiler/ir_interpreter): check system at the start of each function

Browse source
This commit is contained in:
Sebastian Ullrich 2019-09-12 14:47:59 +02:00
parent ea9a5de498
commit 0c71a493d0
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/library/compiler/ir_interpreter.cpp
View file

@ -34,6 +34,7 @@ below.
#endif
#include "runtime/flet.h"
#include "runtime/apply.h"
#include "runtime/interrupt.h"
#include "library/trace.h"
#include "library/compiler/ir.h"
#include "util/option_ref.h"
@ -445,6 +446,7 @@ class interpreter {
}
value eval_body(fn_body const & b0) {
check_system("interpreter");
// make reference reassignable...
std::reference_wrapper<fn_body const> b(b0);
while (true) {
@ -471,6 +473,7 @@ class interpreter {
}
m_arg_stack.resize(get_frame().m_arg_bp + args.size());
b = decl_fun_body(get_decl(expr_fap_fun(e)));
check_system("interpreter");
break;
}
var(fn_body_vdecl_var(b)) = eval_expr(fn_body_vdecl_expr(b), fn_body_vdecl_type(b));