fix run_io changing root

HigherOrderCO · May 25, 2024 · 50e683c · 50e683c
1 parent 5809ad0
commit 50e683c
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 2 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "hvm"
-version = "2.0.16"
+version = "2.0.17"
 edition = "2021"
 build = "build.rs"
 description = "A massively parallel, optimal functional runtime in Rust."

diff --git a/src/hvm.c b/src/hvm.c
@@ -1224,12 +1224,14 @@ void normalize(Net* net, Book* book) {
 
 // Util: expands a REF Port.
 Port expand(Net* net, Book* book, Port port) {
+  Port old = vars_load(net, get_val(ROOT));
   Port got = peek(net, port);
   while (get_tag(got) == REF) {
     boot_redex(net, new_pair(new_port(REF,get_val(got)), ROOT));
     normalize(net, book);
     got = peek(net, vars_load(net, get_val(ROOT)));
   }
+  vars_store(net, get_val(ROOT), old);
   return got;
 }
 

diff --git a/src/hvm.cu b/src/hvm.cu
diff --git a/src/hvm.rs b/src/hvm.rs
@@ -836,6 +836,8 @@ impl TMem {
       let x = a; a = b; b = x;
     }
 
+    //println!("[{:04x}] REDUCE {} ~ {} | {}", self.tid, a.show(), b.show(), rule);
+
     let success = match rule {
       LINK => self.interact_link(net, a, b),
       CALL => self.interact_call(net, a, b, book),