Re: Curious behaviour of irrefutable pattern.

| Do you mean if I have both an infinite loop and an error call, then I | might get only the loop?

Absolutely.

That's fine and what I expected. I take it, then, that the answer to the question of "under what circumstances does the (error -> non-termination) transformation happen?" is that GHC can choose among different bottoms that are present in the program. It can't, however, willy-nilly convert my error calls to bottom. (Or something more precise along the same lines.) Or no? thanks -m