[Haskell-cafe] Should "do 1" compile

[Philippa Cowderoy]

On Wed, 23 May 2007, Ian Lynagh wrote:

> 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.
> 

Disallow it by beating people around the head if they do it without good 
cause?

Besides, this way round probably opens up a nice trick or two for people 
gutting the prelude who want to use the syntax for something slightly more 
general.

-- 
flippa at flippac.org

'In Ankh-Morpork even the shit have a street to itself...
 Truly this is a land of opportunity.' - Detritus, Men at Arms