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

[Zoltan Somogyi]

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.

Zoltan.



-------------- next part --------------
A non-text attachment was scrubbed...
Name: REVIEW.reqtv
Type: application/octet-stream
Size: 9005 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20240722/fdc812eb/attachment.obj>