From 97e33a99da1b0e80e0007966ef9790d227e3deec Mon Sep 17 00:00:00 2001 From: Tom Jack Date: Thu, 9 Jan 2020 11:11:04 -0600 Subject: [PATCH] Emit LAMBDA directly from compiler --- src/passes/13-self_michelson/self_michelson.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/passes/13-self_michelson/self_michelson.ml b/src/passes/13-self_michelson/self_michelson.ml index 729bd454a..8af08fb6a 100644 --- a/src/passes/13-self_michelson/self_michelson.ml +++ b/src/passes/13-self_michelson/self_michelson.ml @@ -474,7 +474,6 @@ let rec opt_strip_annots (x : michelson) : michelson = let optimize : michelson -> michelson = fun x -> - let x = use_lambda_instr x in let x = flatten_seqs x in let x = opt_tail_fail x in 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 = opt_combine_drops x in let x = opt_strip_annots x in + let x = use_lambda_instr x in x