From cd86fea0e29b1da43125d35e9add1efd4c044c79 Mon Sep 17 00:00:00 2001 From: Galfour Date: Wed, 13 Mar 2019 10:04:26 +0000 Subject: [PATCH] add memory-protocol-alpha --- src/lib_memory_protocol_alpha/dune | 8 ++++++++ .../memory_proto_alpha.ml | 8 ++++++++ .../tezos-memory-proto-alpha.opam | 18 ++++++++++++++++++ 3 files changed, 34 insertions(+) create mode 100644 src/lib_memory_protocol_alpha/dune create mode 100644 src/lib_memory_protocol_alpha/memory_proto_alpha.ml create mode 100644 src/lib_memory_protocol_alpha/tezos-memory-proto-alpha.opam diff --git a/src/lib_memory_protocol_alpha/dune b/src/lib_memory_protocol_alpha/dune new file mode 100644 index 000000000..0197e50c3 --- /dev/null +++ b/src/lib_memory_protocol_alpha/dune @@ -0,0 +1,8 @@ +(library + (name memory_proto_alpha) + (public_name tezos-memory-proto-alpha) + (libraries + tezos-protocol-environment + tezos-protocol-alpha + ) +) diff --git a/src/lib_memory_protocol_alpha/memory_proto_alpha.ml b/src/lib_memory_protocol_alpha/memory_proto_alpha.ml new file mode 100644 index 000000000..b830e7b7d --- /dev/null +++ b/src/lib_memory_protocol_alpha/memory_proto_alpha.ml @@ -0,0 +1,8 @@ +module Name = struct let name = "alpha" end +module Alpha_environment = Tezos_protocol_environment_memory.MakeV1(Name)() + +type alpha_error = Alpha_environment.Error_monad.error +type 'a alpha_tzresult = 'a Alpha_environment.Error_monad.tzresult +module Alpha_error_monad = Alpha_environment.Error_monad +module Proto = Tezos_protocol_alpha.Functor.Make(Alpha_environment) +include Proto diff --git a/src/lib_memory_protocol_alpha/tezos-memory-proto-alpha.opam b/src/lib_memory_protocol_alpha/tezos-memory-proto-alpha.opam new file mode 100644 index 000000000..33d206680 --- /dev/null +++ b/src/lib_memory_protocol_alpha/tezos-memory-proto-alpha.opam @@ -0,0 +1,18 @@ +opam-version: "2.0" +name: "memory-proto-alpha" +version: "1.0" +synopsis: "Tezos Protocol Alpha in memory" +maintainer: "Galfour " +authors: "Galfour " +license: "MIT" +homepage: "https://gitlab.com/gabriel.alfour/tezos" +bug-reports: "https://gitlab.com/gabriel.alfour/tezos/issues" +depends: [ + "dune" + "tezos-protocol-environment" + "tezos-protocol-alpha" +] +build: [ + ["dune" "build" "-p" name] +] +dev-repo: "git+https://gitlab.com/gabriel.alfour/tezos"