Records, Intersection type and lambda

[Vicente Romero]

Hi,

There was a review that got closed bc nobody reviewed it. I will prepare 
another PR targeting 16,

Vicente

On 11/18/20 10:21 AM, B. Blaser wrote:
> On Tue, 17 Nov 2020 at 08:46, <forax at univ-mlv.fr> wrote:
>> yes, thanks !
>> still not fixed :(
> Probably not a frequent issue with usual classes but I believe this
> might be a rather common use case with records, so I verified that my
> initial fix is still working fine with your latest example.
> However, Vicente seems to be investigating something else in the same
> area but I'd suggest to eventually file a separate issue for that in
> order to go ahead with my proposal, what do you think?
>
> Thanks,
> Bernard