Improve work with optimizer config
Clarification and motivation
That's not cool that by default we do not optimize lambdas, would be nice to fix this.
Also, currently, it is relatively difficult to change optimizer config, for that I have to write something like
mkContract c = (defaultContract c)
{ cCompilationOptions = defaultCompilationOptions
{ coOptimizerConf = Just def
{ gotoValues = True
}
}
}
It would be nice to require less changes to modify one option.
Acceptance criteria
- By default optimizer handles lambas.
- Reasonable lenses for fields of
Lorentz.Contract
and other config datatypes are added.