Curious behaviour of irrefutable pattern.
m at ryangunter.com
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?
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