[m-dev.] Ye Olde Subtyping Proposal

Ralph Becket rafe at cs.mu.OZ.AU
Mon Nov 18 09:42:02 AEDT 2002


Mark Brown, Saturday, 16 November 2002:
> 
> We should also allow a with_inst qualifier to be used if the argument is a
> pred or func type, otherwise there is no way to specify the determinism,
> uniqueness of arguments, etc of such a type.  The meaning of a with_inst
> qualified argument is that the subtype information on the LHS is propagated
> into the inst on the RHS in the same "obvious" way that the propagation
> would happen in arguments of pred/func declarations.

Can you present an example of what you mean and how the expansion would
work?  I understood your suggestion when we talked about this on Friday,
but I can't tell from the above whether it's the same idea or not.

Cheers,

Ralph
--------------------------------------------------------------------------
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