Curious behaviour of irrefutable pattern.

[Mike Gunter]

> | 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