[m-rev.] for review: support different clauses for different modes

[Thomas Conway]

On Wed, May 16, 2001 at 06:17:58AM EST, Fergus Henderson wrote:
> Add support for using different clauses for different modes of a
> predicate or function, using mode annotations on the clauses.

The implementation of func univ/1 should probably be changed to
use this rather than var/1.

-- 
  Thomas Conway )O+
 <conway at cs.mu.oz.au>       499 User error! Replace user, and press any key.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------