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

Emit LAMBDA directly from compiler

Browse Source
This commit is contained in:
Tom Jack 2020-01-09 11:11:04 -06:00 committed by Pierre-Emmanuel Wulfman
parent dfcccff748
commit 97e33a99da
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/passes/13-self_michelson/self_michelson.ml
View File

@ -474,7 +474,6 @@ let rec opt_strip_annots (x : michelson) : michelson =
let optimize : michelson -> michelson = let optimize : michelson -> michelson =
fun x -> fun x ->
let x = use_lambda_instr x in
let x = flatten_seqs x in let x = flatten_seqs x in
let x = opt_tail_fail x in let x = opt_tail_fail x in
let optimizers = [ peephole @@ peep2 opt_drop2 ; let optimizers = [ peephole @@ peep2 opt_drop2 ;
@ -487,4 +486,5 @@ let optimize : michelson -> michelson =
let x = iterate_optimizer (sequence_optimizers optimizers) x in let x = iterate_optimizer (sequence_optimizers optimizers) x in
let x = opt_combine_drops x in let x = opt_combine_drops x in
let x = opt_strip_annots x in let x = opt_strip_annots x in
let x = use_lambda_instr x in
x x