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

commenting back

Browse Source
This commit is contained in:
Lesenechal Remi 2019-10-17 17:33:43 +02:00
parent c9bcfc3ab0
commit b60ce38b68
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/run/of_michelson.ml
View File

@ -10,7 +10,7 @@ let run ?options (* ?(is_input_value = false) *) (program:compiled_program) (inp
let Compiler.Program.{input;output;body} : compiled_program = program in
let (Ex_ty input_ty) = input in
let (Ex_ty output_ty) = output in
let%bind input_ty_mich =
(* let%bind input_ty_mich =
Trace.trace_tzresult_lwt (simple_error "error unparsing input ty") @@
Memory_proto_alpha.unparse_michelson_ty input_ty in
let%bind output_ty_mich =
@ -19,7 +19,7 @@ let run ?options (* ?(is_input_value = false) *) (program:compiled_program) (inp
Format.printf "code: %a\n" Michelson.pp program.body ;
Format.printf "input_ty: %a\n" Michelson.pp input_ty_mich ;
Format.printf "output_ty: %a\n" Michelson.pp output_ty_mich ;
Format.printf "input: %a\n" Michelson.pp input_michelson ;
Format.printf "input: %a\n" Michelson.pp input_michelson ; *)
let%bind input =
Trace.trace_tzresult_lwt (simple_error "error parsing input") @@
Memory_proto_alpha.parse_michelson_data input_michelson input_ty