[Haskell-cafe] Should "do 1" compile

Hi, 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. GHC: Couldn't match expected type `t t1' against inferred type `Int' In the expression: (1 :: Int) In the expression: do (1 :: Int) In the definition of `foo': foo = do (1 :: Int) Hugs: ERROR "test.hs":4 - Type error in final generator *** Term : 1 *** Type : Int *** Does not match : a b So the question is, who is right? Where do the bugs need filing? Does this issue need clarifying for Haskell' ? Thanks Neil