balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

add unparse_ty to ligo-utils (thanks alpha monad)

Browse Source
This commit is contained in:
Lesenechal Remi 2019-12-04 02:05:24 +01:00
parent fec4cc9c45
commit 385961503f
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
vendors/ligo-utils/proto-alpha-utils/x_memory_proto_alpha.ml vendored
View File

@ -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 >>=?? Script_interpreter.step tezos_context step_constants instr bef >>=??
fun (stack, _) -> return stack 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 = type 'a interpret_res =
| Succeed of 'a stack | Succeed of 'a stack
| Fail of Script_repr.expr | Fail of Script_repr.expr