Records, Intersection type and lambda

Vicente Romero vicente.romero at
Thu Dec 17 20:14:13 UTC 2020


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


On 11/18/20 10:21 AM, B. Blaser wrote:
> On Tue, 17 Nov 2020 at 08:46, <forax at> 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

More information about the compiler-dev mailing list