Problem with x64 fannkuch-redux -- but no problem with x86? http://shootout.alioth.debian.org/u64q/program.php?test=fannkuchredux&lang=ghc&id=3#log http://shoo

Problem with x64 fannkuch-redux -- but no problem with x86? http://shootout.alioth.debian.org/u64q/program.php?test=fannkuchredux&lang=ghc&id=3#log http://shootout.alioth.debian.org/u64q/program.php?test=fann... http://shootout.alioth.debian.org/u32q/program.php?test=fannkuchredux&lang=ghc&id=3#log http://shootout.alioth.debian.org/u32q/program.php?test=fann...