From 385961503fc7fa8f5c4c3f57f1633e13c7cae887 Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Wed, 4 Dec 2019 02:05:24 +0100 Subject: [PATCH] add unparse_ty to ligo-utils (thanks alpha monad) --- vendors/ligo-utils/proto-alpha-utils/x_memory_proto_alpha.ml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/vendors/ligo-utils/proto-alpha-utils/x_memory_proto_alpha.ml b/vendors/ligo-utils/proto-alpha-utils/x_memory_proto_alpha.ml index 541a926cc..c60baea92 100644 --- a/vendors/ligo-utils/proto-alpha-utils/x_memory_proto_alpha.ml +++ b/vendors/ligo-utils/proto-alpha-utils/x_memory_proto_alpha.ml @@ -1096,6 +1096,10 @@ let interpret ?(options = default_options) (instr:('a, 'b) descr) (bef:'a stack) Script_interpreter.step tezos_context step_constants instr bef >>=?? fun (stack, _) -> return stack +let unparse_ty_michelson ty = + Script_ir_translator.unparse_ty dummy_environment.tezos_context ty >>=?? + fun (n,_) -> return n + type 'a interpret_res = | Succeed of 'a stack | Fail of Script_repr.expr