If you unpack the archive and compile the files withoptimization by: time ghc -no-recomp --make -O HasCASL/hacapa.hsThis takes about 5 minutes and generates an unstrippedbinary of 4MB.Apply the (little) patch for HugesPJ.hs -- the one I'vesent before and that is included as "patch" in thetop-level directory. Our (slightly modified) copy ofHughesPJ.hs is Common/Lib/Pretty.hs: patch -p0 Common/Lib/Pretty.hs patchNow compilation takes 7 minutes and the binary getssize 6 MB. Particularly the file HasCASL/PrintLe.o hasgrown from 90 KB to 2 MB. (Compiling HasCASL/PrintLe.hstakes visibly longer, too)(Patching can be reversed by: patch -p0 -R Common/Lib/Pretty.hs patch)This blow-up of object code caused a link failure onour mac for a final (stripped) binary that should havea size of around 36 MB.(The link failure on macs is another issue that mayneed attention in the future.)The data below is obtained with ghc-6.4.1 under linux.Cheers Christianmaeder@turing:~/haskell/examples> uname -aLinux turing 2.6.11.4-21.9-default #1 Fri Aug 1911:58:59 UTC 2005 i686 i686 i386 GNU/Linuxmaeder@turing:~/haskell/examples> ghc --versionThe Glorious Glasgow Haskell Compilation System,version 6.4.1maeder@turing:~/haskell/examples> gcc --versiongcc (GCC) 3.3.5 20050117 (prerelease) (SUSE Linux)Copyright (C) 2003 Free Software Foundation, Inc.[...]maeder@turing:~/haskell/examples> time ghc -no-recomp--make -O HasCASL/hacapa.hsChasing modules from: HasCASL/hacapa.hsCompiling Common.Lib.State ( ./Common/Lib/State.hs,./Common/Lib/State.o )[...]Compiling Main ( HasCASL/hacapa.hs,HasCASL/hacapa.o )Linking ...real 6m0.739suser 5m42.199ssys 0m9.590smaeder@turing:~/haskell/examples> ll a.outHasCASL/PrintLe.o-rwxr-xr-x 1 maeder wimi 4674747 2005-12-01 14:17 a.out-rw-r--r-- 1 maeder wimi 90308 2005-12-01 14:14HasCASL/PrintLe.omaeder@turing:~/haskell/examples> patch -p0Common/Lib/Pretty.hs patchpatching file Common/Lib/Pretty.hsHunk #1 succeeded at 564 (offset -42 lines).Hunk #2 succeeded at 609 (offset -42 lines).maeder@turing:~/haskell/examples> time ghc -no-recomp--make -O HasCASL/hacapa.hsChasing modules from: HasCASL/hacapa.hsCompiling Common.Lib.State ( ./Common/Lib/State.hs,./Common/Lib/State.o )[...]Compiling Main ( HasCASL/hacapa.hs,HasCASL/hacapa.o )Linking ...real 8m7.962suser 7m46.492ssys 0m12.345smaeder@turing:~/haskell/examples> ll a.outHasCASL/PrintLe.o-rwxr-xr-x 1 maeder wimi 6470827 2005-12-01 14:42 a.out-rw-r--r-- 1 maeder wimi 2007272 2005-12-01 14:40HasCASL/PrintLe.o