Christian Sievers, you wrote:
> Thank you for pointing me to the System library. However, while I was
> indeed implying that there is no way of returning an exit code, my main
> question was which type main should have. You seem not to like IO Int
> (one even for several reasons ;-) but it still looks quite natural to me.
Having the type of main be `IO Int' would be OS-specific.
There are some OSes in which processes do not return ints.
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED] | -- the last words of T. S. Garp.
