object code blow up by optimization

[Christian Maeder]

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 at 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 at 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
>