exit in PreludeIO

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

Re: exit in PreludeIO

|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? -