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

Re: Making argv a constant

1997-01-24 Thread Philip Wadler/bin/ksh
I support those who argue AGAINST making argv a constant. If it's a problem, let's find a general solution. One possible solution is a new declaration, of the form: pseudoconstant where has type (IO t), and is declared with type t. (Pick a different keyword if you prefer.) The only