diff --git a/lib/env.ml~ b/lib/env.ml~ deleted file mode 100644 index 9a40e19..0000000 --- a/lib/env.ml~ +++ /dev/null @@ -1,28 +0,0 @@ -let env_set_local env s v = - match env with - | [] -> () - | e1 :: _ -> Hashtbl.replace e1 s v - -let rec env_update env s v = - match env with - | [] -> () - | e1 :: erest -> - match Hashtbl.find_opt e1 s with - | None -> env_update erest s v - | Some _ -> Hashtbl.replace e1 s v - -let env_new_lexical env = - let h = Hashtbl.create 16 in - h :: env - -let rec env_root (env : environment) = - match env with - | [] -> raise (Invalid_argument "Empty environment passed to env_root!") - | e :: [] -> e - | _ :: t -> env_root t - -let env_set_global env s v = - Hashtbl.replace (env_root env) s v - -let env_copy env = - List.map Hashtbl.copy env