
23 May
2007
23 May
'07
6:57 p.m.
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@flippac.org 'In Ankh-Morpork even the shit have a street to itself... Truly this is a land of opportunity.' - Detritus, Men at Arms