[m-dev.] Suggested interface for sequence types in lib-v2

[Peter Ross]

On Fri, Oct 20, 2000 at 07:26:17AM -0700, Ralph Becket wrote:
> 
> I think that is true for predicates, but that the reverse should
> be the case for functions.  After all, one usually expects a function
> to be deterministic.  I'm prepared to be converted on this one...
> anybody else have any strong feelings?
> 
For functions the reverse should be true.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------