Hi Simon,

On Tue, Nov 5, 2013 at 3:37 PM, Simon Peyton-Jones <simonpj@microsoft.com> wrote:

Pedro, what’s the status on

#8479

#8468

I'm discussing how to best handle that with Nick, as he wrote that part of the code.

#7346

In principle I support that idea, but you seemed to be more reluctant? I was hoping perhaps
Andres would try a bit harder to convince you before I jumped on to implementing it :-)

Pedro

?

Thanks, Simon

Microsoft Research Limited (company number 03369488) is registered in England and Wales

Registered office is at 21 Station Road, Cambridge, CB1 2FB