[m-dev.] subtypes discussion

[Mark Brown]

On 03-Jan-2003, Mark Brown <dougl at cs.mu.OZ.AU> wrote:
> 4) Propagation of a base inst into another inst will be done in a way
> similar to abstractly_unify_inst and inst_merge.  This means we will add
> a new inst_name, propagate_inst/2, which has the two insts in question
> as arguments, and add a new field to the inst table to store the results.
> The algorithm for propagation is almost identical to that for abstract
> unification; the only significant difference is in how higher order terms
> are handled.

Oh, and of course how 'free' is handled -- propagation leaves 'free'
untouched.

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