ANNOUNCE: GHC version 6.8.3 binary-dists

Serge D. Mechveliani mechvel at botik.ru
Sat Jun 21 11:05:20 EDT 2008


Maybe,  -O  needs to denote for the compiler some reasonable degree
of inlininig, both for functions and instances?

-----------
Mechveliani



On Sat, Jun 21, 2008 at 03:00:15PM +0100, Simon Peyton-Jones wrote:
> 
> | maybe you can suggest a global flag setting that avoids too much
> | inlining during optimization.
> 
> As I said to Serge, I *think* all this arises from the *unconditional* inlining of instance declarations, which isn't under flag control unfortunately.  The only fix at the moment is to write instance decls whose code is small -- just call a separate top-level function
>         instance C T where
>           op = op_T
> 
>         op_T = ....
> 
> But this is highly unsatisfactory.  I just need to find a clear day or two to look into this carefully.  Stay tuned.
> 
> Simon
> 
> | Cheers Christian
> |
> | Christian Maeder wrote:
> | > No (at least I don't think so). I suspect that we some "expensive" class
> | > instances (for our class Logic). Here is a list of our biggest
> | > object-files under linux:
> | >
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
> 


More information about the Glasgow-haskell-users mailing list