[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