[m-dev.] Ye Olde Subtyping Proposal

Mark Brown dougl at cs.mu.OZ.AU
Mon Nov 11 22:59:12 AEDT 2002

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'.


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

More information about the developers mailing list