On 24-Jun-1998, Frank A. Christoph <[EMAIL PROTECTED]> wrote:
> >> > 4) Module headers can be omitted.
> >> > If the module leaves out the module header, the header
> >> > module Main(main) where
> >> > is assumed.
> >> > [and that's a mistake]
> >>
> >> Fix the compilers. If there's no module header, the compiler should
> >> not include the module name (Main) in the error messages.
>
> What do you propose they should use in its stead? "Type error in the module
> formerly known as Main"? ;)
Just "Type error". No need to point out which module it is in if there's
only one module.
It may be reasonable to require module headers, but I don't think poor
compiler diagnostics is a sufficiently good reason, since it really
isn't that hard to just fix the compiler diagnostics.
--
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.