[m-dev.] Suggestion: default func-type/mode correspondence.

[Ralph Becket]

> From: Ralph Becket [mailto:rbeck at microsoft.com]
> Sent: 23 July 2001 14:05
> 
> No, we just use the default rule inferring
> 
> 	:- mode g(in(t), in) = out is det.
> where	:- inst t ---> [] ; [func(in) = out is det | t].

Sorry, that should be

	:- mode g(in(t), func(in) = out is det) = out is det.

The abstract type prevents us from saying anything useful
about the inst, but that's not a problem: we only need to
perform the refinement at call sites where we project out
a T from the set(T), knowing T = (func(_) = _).

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