[m-dev.] getting type representation decisions from .int files

[Zoltan Somogyi]

2021-07-09 16:46 GMT+10:00 "Zoltan Somogyi" <zoltan.somogyi at runbox.com>:
>> As discussed previously, those additional type parameters would have to
>> be phantom types.
> 
> The rest of the manual does not say anything about phantom types
> (though maybe it should, it should be a separate change),
> and I don't think it would be helpful for them to be introduced in the
> subtype section.

The attached diff explains phantom types. For post-commit review
by Peter.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.phantom
Type: application/octet-stream
Size: 4040 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/developers/attachments/20210827/8e9138ff/attachment.obj>