Records, Intersection type and lambda
B. Blaser
bsrbnd at gmail.com
Wed Nov 18 15:21:44 UTC 2020
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
More information about the compiler-dev
mailing list