-fno-code -O should produce a warning like --interactive -O
In the fat interface file work, I want to support writing fat interface files with -fno-code, but you really should run the simplifier once in order to inline data con wrappers, so that you can just load the generated core rather than having to load it and simplify it before generating byte code.
This gets complicated by the fact that someone might pass -fno-code -O2 -fwrite-fat-interface
, then what does that mean? Well, the meaning becomes clearer if we make -fno-code
set the optimisation level to -O0
like --interactive
does.
The alternative is to honour the optimisation level but this seems quite unexpected to me.
Any thoughts?