[m-rev.] diff: unique modes for list__reverse

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Dec 6 20:39:19 AEDT 2001

On 24-Oct-2001, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> Fergus Henderson, Wednesday, 24 October 2001:
> > On 15-Oct-2001, Michael Day <mikeday at bigpond.net.au> wrote:
> > 
> > > It seems that abstract,
> > > parametric insts would be necessary to store arbitrary higher order stuff
> > > in abstract containers.
> > 
> > Parameteric modes are already supported by Mercury 0.10 and later.
> This needs documenting in the ROTD reference manual.

Yes, it does.  However, it should be documented in the "Implemented-dependent
extensions" section, rather than in the main part of the manual, since we don't
yet know how to implement it efficiently (see

The change which added them was the following:

 | date: 2000/10/13 13:55:28;  author: dmo
 | Estimated hours taken: 80
 | Allow polymorphic ground insts.  This change assumes that all inst
 | parameters in the mode declaration for a predicate or function are
 | constrained to be ground-shared.  This is a temporary measure until we
 | work out a nice syntax to allow the programmer to tell the compiler that
 | certain inst parameters may be treated as ground insts.  Since we don't
 | currently support unconstrained inst parameters anyway, this shouldn't
 | cause a problem.

As is often the case, this "temporary" measure is lasting longer than
perhaps was originally envisaged...

Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  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