On 9/8/08, Simon Peyton-Jones <[EMAIL PROTECTED]> wrote: > If you want them (as you suggest) to be more like .hs files, then indeed you are going to sharply limit the amount of optimisation that you can do, by nuking all cross-module optimisation. For example (3::Int + 4) will not turn into an addition instruction any more -- that relies on "seeing" the Prelude's implementation of (+) at Int.
Well, I don't think you have to nuke *all* cross-module optimization, though that would be the easiest thing to implement. In the (+) example, if you inline aggressively enough, you get down to the +# primop and there are no references left to anything else. > > However, using -fignore-interface-pragmas should let you try this, so you > can see how big an effect it is. > > So the question is: is ExtCore like .hs or .o? I think different people > would give different answers. So a flag is probably the right thing. > Yes, I think that's right. I also think writing it up carefully so users know what to expect will be half the battle (if I ever get around to doing this, anyway). Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt Just enough: Obama/Biden '08. _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
