Curious behaviour of irrefutable pattern.

Mike Gunter m at
Thu Dec 21 17:36:49 EST 2006

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


More information about the Glasgow-haskell-users mailing list