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

Fix unpack_closure

Browse Source
This commit is contained in:
Tom Jack 2019-08-21 07:34:39 -07:00
parent 7afa8a9cdb
commit faf3bbc061
1 changed files with 2 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/compiler/compiler_environment.ml
View File

@ -73,15 +73,5 @@ let pack_closure : environment -> selector -> michelson result = fun e lst ->
ok code ok code
let unpack_closure : environment -> michelson result = fun e -> let unpack_closure : environment -> michelson result = fun e ->
let lst = let aux = fun code _ -> seq [ i_unpair ; dip code ] in
match e with ok (List.fold_right' aux (seq []) e)
| [] -> []
| _ :: tl -> [
i_unpair ;
dip @@ seq @@ List.map (Function.constant i_unpair) tl ;
]
in
let code = seq lst in
ok code