From 828f19828e41ced146f06e9a7eb4183cd9ef3ab4 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Wed, 15 Jan 2014 13:54:41 +0100
Subject: Accept single bits as boolean values for if in interpreter

---
 src/lem_interp/interp.lem | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index 3ea2a137..aa96c877 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -528,6 +528,8 @@ and interp_main t_level l_env l_mem exp =
                         match value with
                         | V_lit(L_true) -> interp_main t_level l_env lm thn
                         | V_lit(L_false) -> interp_main t_level l_env lm els
+                        | V_lit(L_one) -> interp_main t_level l_env lm thn
+                        | V_lit(L_zero)  -> interp_main t_level l_env lm els
                         | _ -> (Error "Type error, not provided boolean for if",lm,l_env) end)
                       (fun a -> update_stack a (add_to_top_frame (fun c -> (E_if c thn els))))
     | E_for id from to_ by exp ->
-- 
cgit v1.2.3