Re: Making argv a constant (stdin, etc.)

1997-01-26 Thread Sigbjorn Finne
Phil writes: > > > I'd actually prefer if stdin&stdout were not constants, but argv was ;) > > Having operators just like getArgs for the standard handles > > > > getStdin :: IO Handle > > getStdout :: IO Handle > > getStderr :: IO Handle > > > > would not prevent an implementation fro

Re: Making argv a constant (stdin, etc.)

1997-01-24 Thread Philip Wadler/bin/ksh
Sigbjorn wrote: > I'd actually prefer if stdin&stdout were not constants, but argv was ;) > Having operators just like getArgs for the standard handles > > getStdin :: IO Handle > getStdout :: IO Handle > getStderr :: IO Handle > > would not prevent an implementation from providing use