From d2628288f054e72fef2d5bbad24f1aac0f5d1db7 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 10 Dec 2013 22:32:02 +0000
Subject: Fixed bug in interpreter

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

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index c0fec8a1..f9502b26 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -130,7 +130,11 @@ let rec to_data_constructors (Defs defs) =
     | DEF_type t ->
       match t with 
       | TD_variant id _ tq tid_list _ ->
-        (List.map (fun (Tu_ty_id x y) -> (y,x)) tid_list)++(to_data_constructors (Defs defs))
+        (List.map 
+	   (fun t ->
+	     match t with
+	    | (Tu_ty_id x y) -> (y,x)
+	    | Tu_id x -> (id,Typ_app (Id "unit") []) end) tid_list)++(to_data_constructors (Defs defs))
       | _ -> to_data_constructors (Defs defs) end
     | _ -> to_data_constructors (Defs defs) end
    end
-- 
cgit v1.2.3