[m-rev.] for review: require distinct type variables in existentially quantified data ctors

[Zoltan Somogyi]

On Mon, 22 Jul 2024 23:59:04 +1000, Julien Fischer <jfischer at opturion.com> wrote:

> On Mon, 22 Jul 2024 at 17:50, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
> >
> >
> >
> > On Mon, 22 Jul 2024 16:27:16 +1000, Julien Fischer <jfischer at opturion.com> wrote:
> > > For review by anyone.
> > >
> > > There should be a change to the reference manual as well, but as the
> > > compiler seems to be quite inconsistent about whether variables in
> > > quantifiers must be distinct or not, I'll leave that until I have
> > > looked into the other cases.
> >
> > That's fine. My review is attached.
> 
> Updated diff attached. 

The updated diff is fine. Go ahead and commit.

Zoltan.