Curious behaviour of irrefutable pattern.

[Bertram Felgenhauer]

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