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

[Fergus Henderson]

On 15-Oct-2001, Michael Day <mikeday at bigpond.net.au> wrote:
> 
> Is it possible to have abstract insts and modes?

It's possible to abstract over certain properties of insts, e.g. subtype
information.  But completely abstract insts are pretty useless, since
there's almost nothing you can do with them (e.g. because the inst
in question might be `dead').

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

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  | "... it seems to me that 15 years of
The University of Melbourne         | email is plenty for one lifetime."
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- Prof. Donald E. Knuth
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------