
20 Jun
2008
20 Jun
'08
12:15 p.m.
Hi Simon, maybe you can suggest a global flag setting that avoids too much inlining during optimization. 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:
ghc-6.8.3: 11M COL/Logic_COL.o 11M CASL/Logic_CASL.o 11M ConstraintCASL/Logic_ConstraintCASL.o 11M CoCASL/Logic_CoCASL.o 11M Modal/Logic_Modal.o 11M VSE/Logic_VSE.o 10M CASL_DL/Logic_CASL_DL.o 4,8M CoCASL/ATC_CoCASL.o 2,6M Modal/ATC_Modal.o 2,0M CASL_DL/PredefinedCASLAxioms.o