22 Dec
2006
22 Dec
'06
8:14 a.m.
| 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