From 2bfbf6fc249ce07da5d758b5f39ddb8c0258a42c Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 18 Jun 2014 17:37:21 +0100
Subject: Correct effect matching bug; and print out effect lists

---
 src/test/test5.sail | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 src/test/test5.sail

(limited to 'src/test')

diff --git a/src/test/test5.sail b/src/test/test5.sail
new file mode 100644
index 00000000..bcc108c4
--- /dev/null
+++ b/src/test/test5.sail
@@ -0,0 +1,21 @@
+register (bit) SAT
+
+val forall Nat 'n, Nat 'm, 'n <= 0, 0 <= 'm.
+  (nat, [|'n|], [|'m|]) -> [|'n:'m|] effect { wreg } Clamp
+
+function
+  forall Nat 'n, Nat 'm, 'n <= 0, 0 <= 'm. ([|'n:'m|])
+  Clamp((nat) x, ([|'n|]) y, ([|'m|]) z) = {
+    ([|'n:'m|]) result := 0;
+    if (x<y) then {
+      result := y;
+      SAT := bitone;
+    } else if (x > z) then {
+      result := z;
+      SAT := bitone;
+    } else {
+      result := x;
+    };
+    result;
+  }
+
-- 
cgit v1.2.3