From be581b5752f089b1f530e14d0a189b787b268e96 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Tue, 15 Oct 2013 16:02:22 +0100
Subject: Resume interpreter after actions

At the moment, writes are ignored and reads always return unit.
---
 src/test/test3.sail | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/test')

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;
 }
-- 
cgit v1.2.3