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





Reply via email to