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

fix: new offset at param_borrow

Browse source
This commit is contained in:
Leonardo de Moura 2019-10-11 16:27:29 -07:00
parent 7a11f3b0a9
commit 39e8499c7b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -101,7 +101,7 @@ var_id const & expr_is_tagged_ptr_obj(expr const & e) { lean_assert(expr_tag(e)
typedef object_ref param;
var_id const & param_var(param const & p) { return cnstr_get_ref_t<var_id>(p, 0); }
bool param_borrow(param const & p) { return cnstr_get_uint8(p.raw(), sizeof(void *)); }
bool param_borrow(param const & p) { return cnstr_get_uint8(p.raw(), 2*sizeof(void *)); }
type param_type(param const & p) { return cnstr_get_type(p, 1); }
typedef object_ref alt_core;