From 8da40b0d899545cc359c37fe30877b0c4fad4fb6 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Sun, 16 Nov 2014 12:28:44 +0000
Subject: Add overflow checking arithmetic operations. Fix various bugs that
 this exposed Of note: Interp_lib.to_num now takes an Unsigned or a Signed
 constructor, rather than a boolean

---
 src/test/test1.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/test')

diff --git a/src/test/test1.sail b/src/test/test1.sail
index 8ae00d78..8143bf5d 100644
--- a/src/test/test1.sail
+++ b/src/test/test1.sail
@@ -45,7 +45,7 @@ typedef colors = enumerate { red; green; blue }
 
 let (colors) rgb = red
 
-function bit enu (red) = 0
+function bit enu ((colors) red) = let (one, two) = (1,2) in 0
 
 function bit main _ = {ignore(sw(0)); ignore((nat) v2); ignore(enu(0)); v1[0] }
 
-- 
cgit v1.2.3