Fixed bug in interpreter

1 files changed, 5 insertions, 1 deletions

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