Resume interpreter after actions

At the moment, writes are ignored and reads always return unit.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/test/test3.sail b/src/test/test3.sail
index 36952bf7..51eafbf1 100644
--- a/src/test/test3.sail
+++ b/src/test/test3.sail
@@ -1,5 +1,5 @@
 (* a register containing nat numbers *)
-register nat reg
+register nat dummy_reg
 (* a function to read from memory; wmem serves no purpose currently,
    memory-writing functions are figured out syntactically. *)
 val ( nat -> nat effect { wmem , rmem } ) MEM
@@ -10,7 +10,7 @@ function nat main _ = {
   (* left-hand side function call = memory write *)
   MEM(0) := 1;
   (* register read, thanks to register declaration *)
-  reg;
+  dummy_reg;
   (* register write, idem *)
-  reg := 1;
+  dummy_reg := 1;
 }