On Fri, Dec 18, 2009 at 09:22:07AM +0000, Simon Peyton-Jones wrote: > > I think #1969 is fixed, at least as well as we can for now. Do we need to keep it open? I've closed it. Thanks Ian