Mark P Jones <[EMAIL PROTECTED]> writes:
>
> | the following program is accepted by Hugs98 (March1999),
> |
> | module Main where { main :: a ; main = undefined }
> |
> | It shouldn't be :-)
>
> What you've written here is a module, not a program. Why
> shouldn't that module be accepted by Hugs? It seems to be
> a valid module definition to me.
>
OK, if you want to pick nits, let me qualify my use of
the word 'program' - a set of Haskell98 modules containing
the module 'Main'.
Hugs98 accepts Main.main as having a signature other than
(IO t), which is wrong wrt Haskell98 - if you don't want
to check for that for philosophical (or whatever) reasons,
could you at least document it?
thanks,
--sigbjorn
