Curious behaviour of irrefutable pattern.

Bertram Felgenhauer bertram.felgenhauer at
Wed Dec 20 04:50:27 EST 2006

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!


More information about the Glasgow-haskell-users mailing list