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

feat(library/vm/vm): improve vm_obj pretty printer

Browse source
This commit is contained in:
Leonardo de Moura 2016-05-13 16:16:31 -07:00
parent bd23f5d63d
commit 7242de7238
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/library/vm/vm.cpp
View file

@ -146,18 +146,18 @@ void vm_instr::display(std::ostream & out, std::function<optional<name>(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: