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

1 files changed, 1 insertions, 1 deletions

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] }