Records, Intersection type and lambda

[B. Blaser]

Thanks Vicente.

I guess I see the idea with the line you added to my original patch.
However, I still believe it's not necessary for the purpose of this
fix targeted to 16.
So, I'd suggest to file a separate issue for that (to 17?) as it might
have some side effects.

What do you think?
Bernard

On Thu, 17 Dec 2020 at 21:14, Vicente Romero <vicente.romero at oracle.com> wrote:
>
> 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
>