fixing print mini_c
type:none
optimizations are back in print mini-c ?
print mini-c path/to/program
will run optimizer on the program (which has already been aggregated) :
let decl1 = <expr> in
..
let declN = <expr> in
unit
print mini-c path/to/program --optimize main
will run optimizer on the same 'program' that compile contract is generating (eta expension) :
fun (param,sto) ->
let decl1 = <expr> in
let main = <expr> in
..
let declN = <expr> in
main param sto
And just give you the optimized body of that lambda
Edited by Rémi