Curious behaviour of irrefutable pattern.

Simon Peyton-Jones simonpj at
Fri Dec 22 03:14:13 EST 2006

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


More information about the Glasgow-haskell-users mailing list