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