From dcbc80a3419a828da8cdb6250ecb52f52a72a28b Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Fri, 7 Feb 2014 13:21:52 +0000
Subject: Implement is_one

---
 src/test/power.sail | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/test')

diff --git a/src/test/power.sail b/src/test/power.sail
index dc07f97e..2b73e361 100644
--- a/src/test/power.sail
+++ b/src/test/power.sail
@@ -8,6 +8,8 @@ val extern bit -> bit effect pure (deinfix ~ ) = "bitwise-not"
 val extern ( bit * bit ) -> bit effect pure (deinfix ^ ) = "bitwise-xor"
 val extern ( bit * bit ) -> bit effect pure (deinfix & ) = "bitwise-and"
 
+val extern bit -> bool effect pure is_one = "is_one"
+
 (* XXX sign extension *)
 function forall Type 'a . 'a exts ( x ) = x
 
-- 
cgit v1.2.3