From 1977b4ff3f8e9d6b8407e10a555ddc8aeaebb2cf Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 12 Jan 2017 08:44:37 -0800 Subject: [PATCH] fix(library/compiler/vm_compiler): bytecode generation error This bug was introduced by commit 2bd400964cbe8 when we decided to store arguments in reverse order. --- src/library/compiler/vm_compiler.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/library/compiler/vm_compiler.cpp b/src/library/compiler/vm_compiler.cpp index 00a1e73eba..95fc0868d7 100644 --- a/src/library/compiler/vm_compiler.cpp +++ b/src/library/compiler/vm_compiler.cpp @@ -219,8 +219,8 @@ class vm_compiler_fn { buffer args; expr fn = get_app_args(e, args); if (!is_constant(fn)) { - compile_rev_args(args.size(), args.data(), bpz+1, m); - compile(fn, bpz, m); + compile_rev_args(args.size(), args.data(), bpz, m); + compile(fn, bpz + args.size(), m); emit_apply_instr(args.size()); return; } else if (is_constant(fn)) {