[Haskell-cafe] Should "do 1" compile

Ian Lynagh igloo at earth.li
Wed May 23 14:42:44 EDT 2007


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.



More information about the Haskell-Cafe mailing list