On 09 November 2005 10:18, Ketil Malde wrote:

Simon Marlow wrote:

...

Hmm yes, this is indeed rather unhelpful. I can explain why it happens, though. The compiler has lifted out the error case into a top-level binding:

x = error "Error in array index"

Would the compiler be less agressive with this if I turn off optimization? I usually use optimization with profiling as well, but could of course turn it off if it would result in more useful stack backtraces.

Possible... but not guaranteed. I think the simplifier does limited forms of let-floating even without -O. Cheers, Simon