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/lem_interp/interp_lib.lem | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index b20647fb..f6485666 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -7,6 +7,8 @@ open import List
 
 let compose f g x = f (V_tuple [g x]) ;;
 
+let is_one (V_lit b) = V_lit (if b = L_one then L_true else L_false) ;;
+
 let eq (V_tuple [x; y]) = V_lit (if x = y then L_true else L_false) ;;
 
 let neg (V_tuple [V_lit arg]) = V_lit (match arg with
@@ -28,6 +30,7 @@ let function_map = [
   ("add_infix", add);
   ("=", eq);
   (":", vec_concat);
+  ("is_one", is_one);
 ] ;;
 
 let eval_external name v = (Maybe_extra.fromJust (List.lookup name function_map)) v ;;
-- 
cgit v1.2.3