diff options
| author | Kathy Gray | 2016-01-19 18:01:15 +0000 |
|---|---|---|
| committer | Kathy Gray | 2016-01-19 18:01:25 +0000 |
| commit | ee4e2fdcc589406411ef17509e8140f21aee5c02 (patch) | |
| tree | 273be501d592c34b1559927e0c373559c365ac78 /src/lem_interp | |
| parent | ee6626ac028699d069c5b7492e77448479e7c68f (diff) | |
Put None and Some into interpreter environments
Also making progress towards separating int sized things from integer sized things
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/interp.lem | 5 |
1 files changed, 4 insertions, 1 deletions
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 _)-> |