Re: object code blow up by optimization

(Sorry, for so many emails)

The code bloat goes away again when I now change back to infixl!
Is this now a better patch for HughesPJ.hs?

Linking ...

real    5m18.860s
user    4m56.663s
sys     0m9.168s
maeder@turing:~/haskell/examples> ll a.out HasCASL/PrintLe.o
-rwxr-xr-x  1 maeder wimi 4808498 2006-01-26 20:23 a.out
-rw-r--r--  1 maeder wimi  140820 2006-01-26 20:21 HasCASL/PrintLe.o


Christian Maeder wrote:
> When I also swap the corresponding equations the code bloat comes back:
>
> above_ p _ Empty = p
> above_ Empty _ q = q
>
> beside_ p _ Empty = p
> beside_ Empty _ q = q
>
>
> Linking ...
>
> real    7m10.727s
> user    6m25.456s
> sys     0m10.698s
> maeder@turing:~/haskell/examples> ll a.out HasCASL/PrintLe.o
> -rwxr-xr-x  1 maeder wimi 6213885 2006-01-26 20:11 a.out
> -rw-r--r--  1 maeder wimi 1762784 2006-01-26 20:09 HasCASL/PrintLe.o
>
>
> Christian Maeder wrote:
> > Sorry, I forgot to save my changes. The numbers are much better with 
> > infixr:
> >
> > Linking ...
> >
> > real    5m30.666s
> > user    4m56.950s
> > sys     0m9.262s
> > maeder@turing:~/haskell/examples> ll a.out HasCASL/PrintLe.o
> > -rwxr-xr-x  1 maeder wimi 4812378 2006-01-26 20:01 a.out
> > -rw-r--r--  1 maeder wimi  139828 2006-01-26 19:58 HasCASL/PrintLe.o