Curious behaviour of irrefutable pattern.

[Simon Peyton-Jones]

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

Yes, that's right, good point.

Simon