Surely both requirements can be satisfied if the programs arguments are made
parameters of main:

main :: [String] -> IO ()

   Keean.

Ben Rudiak-Gould wrote:

Conal Elliott wrote:

>The meaning of
>"length getArgs" would then have to be a value whose type is the meaning
>of Haskell's "Int", i.e. either bottom or a 32-bit integer.  I'm
>guessing that none of those 2^32+1 values is what you'd mean by "length
>getArgs".  On the other hand, the IO monad is a much roomier type.


_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

Reply via email to