object code size fairly large for ghc-7.0.1 with optimization

[maeder]

The object code size for the file Isabelle/IsaParse.o increased from 291220 (for ghc-6.12.3) to 833736 bytes under x86 linux. (The container package version does not matter.)

Without optimization (via "cabal configure -O0") the object code size actually decreased from 177720 (for ghc-6.12.3) to 157432.

[maeder]

parser sources

[igloo]

Thanks for the report

[maeder]

The above numbers assume the parsec-2.1.0.1 package being installed automatically. (The effect is less drastic with parsec-3.1.0 that goes just up to 505052 bytes.)

[igloo]

Parsec.hs + IsaParse.hs is a cutdown case.

I don't think there's anything actually wrong here, just changes in how inlining works. For example, in recent compilers, the

{-# INLINE parsecPlus   #-}

means that <|> gets inlined, which seems reasonable. You can make larger object files in 6.12 by marking the wrappers as INLINE, and smaller object files in more recent compilers by commenting out the INLINE pragmas. parsec would probably be better off either not marking the primitives INLINE, or by marking the wrappers NOINLINE.