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

[Fergus Henderson]

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
<http://www.cs.mu.oz.au/research/mercury/mailing-lists/mercury-developers/mercury-developers.0009/0387.html>).

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