Re: ANNOUNCE: GHC version 6.8.3 binary-dists

20 Jun 2008

      Simon Marlow wrote:
...
That's odd - I measured binary sizes thoroughly before the release and 
didn't see any difference between 6.8.3 and 6.8.2.
The size of ghc itself did not increase.
...
Perhaps -split-objs got lost somewhere?  Or maybe you upgraded gcc at 
some point?
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.2:
2.0M CASL_DL/PredefinedCASLAxioms.o
1.2M HasCASL/ATC_HasCASL.o
984K Haskell/ATC_Haskell.o
896K Haskell/TiATC.o
888K VSE/ATC_VSE.o
832K CspCASL/ATC_CspCASL.o
832K ATC/Sml_cats.o
788K Modal/ATC_Modal.o
780K CASL/ATC_CASL.o
704K CASL_DL/ATC_CASL_DL.o
696K OMDoc/OMDocInput.o
564K CoCASL/ATC_CoCASL.o
544K SoftFOL/Sign.o
540K SoftFOL/ATC_SoftFOL.o
536K ATC/DevGraph.o
516K HasCASL/As.o
500K OMDoc/OMDocInterface.o
476K Haskell/TiPropATC.o
468K CASL/AS_Basic_CASL.o
460K OMDoc/HetsDefs.o
436K CASL_DL/PredefinedSign.o
420K Static/DevGraph.o
408K Haskell/HatAna.o
376K DL/ATC_DL.o
368K CASL/StaticAna.o
348K SoftFOL/MathServParsing.o
344K Static/AnalysisStructured.o
324K OMDoc/OMDocOutput.o
324K CASL/ColimSign.o
324K CASL/Amalgamability.o
324K CoCASL/Logic_CoCASL.o
320K Logic/Grothendieck.o
316K OWL/AS.o
316K ConstraintCASL/Logic_ConstraintCASL.o
316K OWL/ReadWrite.o
312K CASL/Logic_CASL.o

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
1,3M Haskell/ATC_Haskell.o
1,3M HasCASL/ATC_HasCASL.o
1,2M CspCASL/Logic_CspCASL.o
997K Haskell/TiPropATC.o
889K VSE/ATC_VSE.o
877K CspCASL/ATC_CspCASL.o
777K ATC/DevGraph.o
757K ATC/Sml_cats.o
737K SoftFOL/ATC_SoftFOL.o
729K Haskell/TiDecorateATC.o
717K CASL_DL/ATC_CASL_DL.o
697K OMDoc/OMDocInput.o

P.S.
The sources can be checked out (if you dare)
from https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk

see more
http://trac.informatik.uni-bremen.de:8080/hets/wiki/HetsForDevelopers

Re: ANNOUNCE: GHC version 6.8.3 binary-dists

Christian Maeder