Date: Sun, 23 Feb 92 11:32:32 MST
From: [EMAIL PROTECTED]
|The function "exit" in PreludeIO would suit its purpose better if:
| (a) It wrote to "stderr" rather than "stdout",
| (b) It followed the error message with a newline.
|Easy and quick to change! What do people think? (Especially Paul
|and Joe.) -- P
Sounds right to me. Paul?
Yeah, that would be better. Simon, can you make the change?
Given that, I wonder if the various other functions should use "exit"
as the failure continuation instead of "abort"? (rather minor issue)
-Paul
