From 495dddb932d3487df2b470597951d2f1a27d6563 Mon Sep 17 00:00:00 2001 From: Graham Kelly Date: Wed, 19 Jun 2024 10:49:51 -0400 Subject: [PATCH] stuff --- wars-rt/src/lib.rs | 3 +++ wars/src/lib.rs | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/wars-rt/src/lib.rs b/wars-rt/src/lib.rs index 0baf2d6..71a379c 100644 --- a/wars-rt/src/lib.rs +++ b/wars-rt/src/lib.rs @@ -281,3 +281,6 @@ pub fn select(u: u32, t: T, t2: T) -> anyhow::Result anyhow::Result { return Ok(tuple_list::tuple_list!((a & 0xffffffff) as u32)); } +pub fn i64extend132u(a: u32) -> anyhow::Result{ + Ok(tuple_list::tuple_list!(a as u64)) +} \ No newline at end of file diff --git a/wars/src/lib.rs b/wars/src/lib.rs index 7d7ec71..8632030 100644 --- a/wars/src/lib.rs +++ b/wars/src/lib.rs @@ -652,7 +652,7 @@ impl Opts> { #root::_rexport::tuple_list::tuple_list!(if #cond != 0{ #then }else{ - #els + #els.into() }) } },