
23 May
2007
23 May
'07
6:55 p.m.
2007/5/23, Ian Lynagh
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.
You *could* desugar it to foo = (id :: Monad m => m a -> m a) (1 :: Int) - Benja