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

[Julien Fischer]

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.

Julien.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.reqtv
Type: application/octet-stream
Size: 437 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20240722/cccaca5e/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.reqtv
Type: application/octet-stream
Size: 8948 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20240722/cccaca5e/attachment-0001.obj>