> Are you really sure Haskell compilers do that optimization?
> I would regard a compiler that does optimizations that are justified by
> laws that the compiler cannot check as broken.
You mean like the non-aliasing law in Fortran?
Stefan ;-)