|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? --Joe
- exit in PreludeIO Philip Wadler
- exit in PreludeIO jhf
- exit in PreludeIO Paul Hudak
