From 1794061ee083bf95fda8e3422df2c521eff682f8 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 31 Jan 2014 14:54:10 +0000
Subject: More type checking and conversions (Temporarily turning off unbound
 identifier checks, until all variable-introducing forms are checked)

---
 src/test/test3.sail | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'src/test')

diff --git a/src/test/test3.sail b/src/test/test3.sail
index 89c710bc..e4844204 100644
--- a/src/test/test3.sail
+++ b/src/test/test3.sail
@@ -16,24 +16,24 @@ function nat main _ = {
   (* left-hand side function call = memory write *)
   MEM(0) := 0;
   (* memory read, thanks to effect { rmem} above *)
-  MEM(0);
+  ignore(MEM(0));
   (* register write, idem *)
   dummy_reg := 1;
   (* register read, thanks to register declaration *)
-  dummy_reg;
+  ignore(dummy_reg);
 
   (* infix call *)
-  7 * 9;
+  ignore(7 * 9);
 
   (* Some more checks *)
   MEM(1) := 2;
-  MEM(1);
+  ignore(MEM(1));
   MEM_GPU(0) := 3;
-  MEM_GPU(0);
+  ignore(MEM_GPU(0));
   MEM_SIZE(0,1) := 4;
-  MEM_SIZE(0,1);
+  ignore(MEM_SIZE(0,1));
 
   (* extern calls *)
-  3 + 39;
+  ignore(3 + 39);
   add(5, 37);
 }
-- 
cgit v1.2.3