20 Dec
2006
20 Dec
'06
9:50 a.m.
Simon Peyton-Jones wrote:
In general, GHC (like every other compiler that does strictness analysis) feels free to change non-termination into a call to 'error' and vice versa. One could change that, but a lot of programs would become less efficient as a result.
Just to clarify, I'm happy with that behaviour, I just found it surprising. I was looking for an explanation and got one. Thanks! Bertram