12 Nov
                
                    2010
                
            
            
                12 Nov
                
                '10
                
            
            
            
        
    
                10:07 a.m.
            
        On Fri, 12 Nov 2010 08:38:24 +0000, Simon Peyton-Jones 
Good point. I've done this. (Ian, could you merge)
Thank you very much for this! I was afraid to see so much code broken as well as Michael. Best regards, -- Nicolas Pouillard http://nicolaspouillard.fr