Optimization beyond the Module Border

[Simon Peyton-Jones]

| Would it be possible for the compiler to say something like: "You are
| applying level 2 optimization but some dependencies where compiled without
| optimization enabled. To get full optimization, consider recompiling x,y,z
| with -O2" - at least this would give us a fighting chance to 'fix' things.

That's a reasonable suggestion.  Currently the .hi file for a module does not record whether or not optimisation was on when compiling that module, so this'd mean an interface-file format change, plus a bit of jiggery pokery.

Why not submit a Trac feature request?

Simon