Re: [Haskell-cafe] Should "do 1" compile

On Wed, May 23, 2007 at 06:27:32PM +0100, Neil Mitchell wrote:

foo = do (1 :: Int)

While intuitively this should be disallowed, it seems a pity that desugaring couldn't be totally separated from typechecking. Hmm. Ian, on the fence.