Re: Generics bugs

Hi Simon, On Tue, Nov 5, 2013 at 3:37 PM, Simon Peyton-Jones 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*