exit in PreludeIO

1992-02-24 Thread Paul Hudak 

   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

exit in PreludeIO

1992-02-23 Thread Philip Wadler 

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

1992-02-23 Thread jhf 

|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