> | 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? thanks -m _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users