23 May
2007
23 May
'07
5:35 p.m.
On 23/05/07, Neil Mitchell
As discussed on #haskell, the following code:
---------------- module Foo where foo = do (1 :: Int) ----------------
Compiles fine on Yhc, but doesn't on Hugs and GHC.
Why should it compile? Expressions in a do-block have to have the type m a for some monad m, don't they? -- -David House, dmhouse@gmail.com