From b0e3f50555d6947a9ea204a192bf7f46cd24dbdd Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 15 Oct 2013 13:38:12 +0100
Subject: Add returning value to block

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

(limited to 'src')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index ca1fb580..e03d999e 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -685,7 +685,8 @@ and interp_main t_level l_env l_mem exp =
 
  and interp_block t_level init_env local_env local_mem exps =
    match exps with
-    | [ ] -> (Value (V_lit(L_unit)), local_mem, init_env)
+    | [ ] -> (Value (V_lit (L_unit)), local_mem, init_env)
+    | [ exp ] -> interp_main t_level local_env local_mem exp
     | exp:: exps ->
       resolve_outcome (interp_main t_level local_env local_mem exp)
                       (fun _ lm le -> interp_block t_level init_env le lm exps)
-- 
cgit v1.2.3