On Mon, Aug 16, 2021 at 2:22 AM Tobias Nyholm <tobias.nyh...@gmail.com> wrote:
> Hey. > > > No mistake: the "pure intersection types" RFC was explicitly designed to > avoid scope creep (this RFC). > > > Just because it was intentional, does not make it less of a mistake. > I see that we have different views of this. And I understand that you are > happy with this change, but only for 8.2. > > I hope one day I'll have built up so much experience, knowledge and confidence to call a 30 x 3 vote of the selective people that can cast a vote "a mistake". -- Marco Aurélio Deleu
