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 :-)

I’m not reluctant. Rather, I just don’t know what the idea IS at the moment!  The ticket doesn’t provide a spec that is detailed enough for me to understand, nor a single example.  If you (or anyone else) wants to work out the design, give examples etc, I’d be happy to review/comment.

Simon

From: josepedromagalhaes@gmail.com [mailto:josepedromagalhaes@gmail.com] On Behalf Of José Pedro Magalhães
Sent: 05 November 2013 15:46
To: Simon Peyton-Jones
Cc: ghc-devs@haskell.org
Subject: Re: Generics bugs

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