Skip to content

Commit 1029155

Browse files
committed
debug: include type tag.
1 parent d86339c commit 1029155

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

third_party/move/move-vm/runtime/src/interpreter.rs

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -800,10 +800,13 @@ impl Interpreter {
800800
ty,
801801
addr,
802802
)?;
803+
804+
let ty_tag = loader.type_to_type_tag(ty)?;
805+
803806
self.operand_stack.push(res.map_err(|err| {
804807
err.with_message(format!(
805808
"Failed to borrow global resource from {:?} {:?}",
806-
addr, ty
809+
addr, ty_tag
807810
))
808811
})?)?;
809812
Ok(())

0 commit comments

Comments
 (0)