From cc67e37402fda77d0c523df82caa5f80f17105f3 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Sun, 23 Mar 2014 22:53:54 +0000
Subject: adding if test

---
 src/test/test2.sail | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'src/test')

diff --git a/src/test/test2.sail b/src/test/test2.sail
index 1418f990..b4a2dd32 100644
--- a/src/test/test2.sail
+++ b/src/test/test2.sail
@@ -1,5 +1,15 @@
 function nat id ( n ) = n
 
+function unit f() = {
+ (if( true ) then 
+   a := 3
+  else 
+   a := 4
+ );
+ b := a;
+}
+
 function nat effect pure main _ = {
+  f();
   id(42);
 }
-- 
cgit v1.2.3