| 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: | >