From 3cd4d8aed3acfabc2b23e69b19718c1a17cf62f7 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 5 Feb 2014 17:19:29 +0000
Subject: Typechecking lets, concrete vectors, and function calls (minus
 effects)

---
 src/test/test1.sail   | 2 +-
 src/test/vectors.sail | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/test')

diff --git a/src/test/test1.sail b/src/test/test1.sail
index c035ea4b..0cb592d8 100644
--- a/src/test/test1.sail
+++ b/src/test/test1.sail
@@ -31,5 +31,5 @@ end ast
 
 function bit sw s = switch s { case 0 -> bitzero }
 
-function bit main _ = {sw(0); v1[0] }
+function bit main _ = {ignore(sw(0)); v1[0] }
 
diff --git a/src/test/vectors.sail b/src/test/vectors.sail
index 515b2be4..f1fc6199 100644
--- a/src/test/vectors.sail
+++ b/src/test/vectors.sail
@@ -1,4 +1,5 @@
 let (bit[32]) v = 0b101
+let (bit[4]) v2 = [0,1,0,0]
 register (bit[32]) i
 
 register nat match_success
-- 
cgit v1.2.3