Curious behaviour of irrefutable pattern.
Bertram Felgenhauer
bertram.felgenhauer at googlemail.com
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!
Bertram
More information about the Glasgow-haskell-users
mailing list