The simplest program

[Wolfgang Thaller]

The current HEAD is not able to compile the simplest of all Haskell programs... but I don't think the bug affects anyone.
Compiling

> module Main where
> main = return ()

yields

Main.hs:1:
Ambiguous type variable `m' in these top-level constraint
`Monad m' arising from use of `return' at Main.hs:3
Possible cause: the monomorphism restriction applied to the following:
main :: m () (bound at Main.hs:3)
Probable fix: give these definition(s) an explicit type signature

Giving the type signature helps, of course. The same program is accepted by ghc-5.04.2.

Cheers,

Wolfgang

_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs