Simon Peyton-Jones <[EMAIL PROTECTED]> wrote,
> Yes, all the inlining you expect should indeed happen. If
> it doesn't can you show us an example?
Meanwhile, I think, the lack of inlining that I saw isn't
connected to modules. Instead, the problem is that GHC
thinks it knows more about my program than I do. More
precisely, it seems to take an INLINE pragma just as an
encouragement rather than a command to inline. In
particular - at least if a function is large enough - it
doesn't inline the function anymore if the function is used
more than once.[1]
This behaviour is a problem for our array library. We need
very aggressive inlining. Would it maybe be possible to
make -O2 interpret INLINE pragmas as obligatory?
Cheers,
Manuel
[1] The function in question actually uses an INLINE 2
pragma - I guess that this doesn't matter.
_______________________________________________
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users