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

Fergus Henderson fjh at cs.mu.OZ.AU
Wed May 16 14:48:36 AEST 2001


On 16-May-2001, Thomas Conway <conway at cs.mu.OZ.AU> wrote:
> 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.

Yes, indeed; but to avoid bootstrapping problems, not straight away.

Other code that should also be changed to take advantage of this new
feature:
	- the implementation of try, try_io, try_store, and try_all
	  in library/exception.m
	- the code for freeze/2, freeze/3, and for the var/1 constructor
	  function in library/var.m

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list