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

Peter Wang novalazy at gmail.com
Wed Jun 30 13:35:15 AEST 2021


On Wed, 30 Jun 2021 12:25:22 +1000 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> >> or to permute any existing type parameters?
> > 
> > I think this question comes from an assumption that a type parameter
> > in the supertype remains a type parameter in the subtype.
> > That's not necessarily the case, as in:
> > 
> >     :- type non_empty_list_of_citrus =< list(citrus)
> >         --->    [citrus | list(citrus)].
> 
> I don't see how that is an example of permuting type parameter vars,
> since in that case, neither non_empty_list_of_citrus nor list(citrus)
> has any type parameter vars.

It will just get more confusing if I get into why I gave that example.
It's not important.

As you'll be proposing changes to the reference manual
and looking into some of the code dealing with subtypes,
if you think a restriction is missing, we can discuss that later.

Peter


More information about the developers mailing list