From ee4e2fdcc589406411ef17509e8140f21aee5c02 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 19 Jan 2016 18:01:15 +0000
Subject: Put None and Some into interpreter environments

Also making progress towards separating int sized things from integer sized things
---
 src/lem_interp/interp.lem | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index 4f00f84b..bf82010e 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -325,7 +325,10 @@ let rec to_aliases (Defs defs) =
 val to_data_constructors : defs tannot -> map string typ
 let rec to_data_constructors (Defs defs) =
   match defs with
-  | [] -> Map.empty
+  | [] ->
+    (*Prime environment with built-in constructors*)
+    Map.insert "Some" (Typ_aux (Typ_var (Kid_aux (Var "a") Unknown)) Unknown) 
+      (Map.insert "None" unit_t Map.empty)
   | def :: defs ->
     match def with
     | DEF_type (TD_aux t _)->
-- 
cgit v1.2.3