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

[Peter Wang]

On Fri, 27 Aug 2021 16:55:53 +1000 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> 
> 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.

That's fine.

Peter