[m-dev.] Ye Olde Subtyping Proposal

[Mark Brown]

On 11-Nov-2002, Mark Brown <dougl at cs.mu.OZ.AU> wrote:
> With this variant of the proposal, a polymorphic type that is not
> polymorphically moded means "types only, no subtypes".

That should be: a polymorphic type with mode 'out' means "types only, no
subtypes".  Subtypes can of course be passed where the mode is 'in'.

Cheers,
Mark.

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------