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