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

[Ralph Becket]

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.

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