From 7242de72388b95dcf9b43f96772d64ba546679de Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 13 May 2016 16:16:31 -0700 Subject: [PATCH] feat(library/vm/vm): improve vm_obj pretty printer --- src/library/vm/vm.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/library/vm/vm.cpp b/src/library/vm/vm.cpp index d4881f34e4..c0adb9fb6f 100644 --- a/src/library/vm/vm.cpp +++ b/src/library/vm/vm.cpp @@ -146,18 +146,18 @@ void vm_instr::display(std::ostream & out, std::function(unsigned case opcode::Ret: out << "ret"; break; case opcode::Drop: out << "drop " << m_num; break; case opcode::Goto: out << "goto " << m_pc[0]; break; - case opcode::SConstructor: out << "scnstr " << m_cidx; break; - case opcode::Constructor: out << "cnstr " << m_cidx << " " << m_nfields; break; + case opcode::SConstructor: out << "scnstr #" << m_cidx; break; + case opcode::Constructor: out << "cnstr #" << m_cidx << " " << m_nfields; break; case opcode::Num: out << "num " << *m_mpz; break; case opcode::Unreachable: out << "unreachable"; break; case opcode::Destruct: out << "destruct"; break; - case opcode::Cases2: out << "cases2 " << m_pc[0] << " " << m_pc[1]; break; + case opcode::Cases2: out << "cases2 " << m_pc[1]; break; case opcode::CasesN: out << "cases"; for (unsigned i = 0; i < get_casesn_size(); i++) out << " " << get_casesn_pc(i); break; - case opcode::NatCases: out << "nat_cases " << m_pc[0] << " " << m_pc[1]; break; + case opcode::NatCases: out << "nat_cases " << m_pc[1]; break; case opcode::Proj: out << "proj " << m_idx; break; case opcode::Invoke: out << "invoke " << m_nargs; break; case opcode::InvokeGlobal: