From 7bcf706fcc73711002831a4ff2af23bbff7bcdda Mon Sep 17 00:00:00 2001 From: Pierre-Emmanuel Wulfman Date: Mon, 20 Apr 2020 14:53:13 +0200 Subject: [PATCH] wip --- src/environment/bool.ml | 3 +++ src/environment/dune | 13 +++++++++++++ src/environment/environment.ml | 11 +++++++++++ 3 files changed, 27 insertions(+) create mode 100644 src/environment/bool.ml create mode 100644 src/environment/dune create mode 100644 src/environment/environment.ml diff --git a/src/environment/bool.ml b/src/environment/bool.ml new file mode 100644 index 000000000..2f9f7e11c --- /dev/null +++ b/src/environment/bool.ml @@ -0,0 +1,3 @@ +open Ast_typed + +let environment = env_sum_type ~type_name:(Var.of_name "bool") @@ [(Constructor "true",t_unit ());(Constructor "false",t_unit ())] diff --git a/src/environment/dune b/src/environment/dune new file mode 100644 index 000000000..757f36e64 --- /dev/null +++ b/src/environment/dune @@ -0,0 +1,13 @@ +(library + (name environment) + (public_name ligo.environment) + (libraries + simple-utils + tezos-utils + ast_typed + ) + (preprocess + (pps ppx_let bisect_ppx --conditional) + ) + (flags (:standard -open Simple_utils)) +) diff --git a/src/environment/environment.ml b/src/environment/environment.ml new file mode 100644 index 000000000..523531836 --- /dev/null +++ b/src/environment/environment.ml @@ -0,0 +1,11 @@ +open Ast_typed + +let merge e1 e2 = + let e1 = List.Ne.to_list e1 in + let e2 = List.Ne.to_list e2 in + List.Ne.of_list @@ e1 @ e2 + + +let default = Environment.full_empty + +let default = merge default Bool.environment