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

[Simon Taylor]

On 15-Oct-2001, Michael Day <mikeday at bigpond.net.au> wrote:
> 
> Estimated hours taken: 0.1
> Branches: main
> 
> Adding unique modes for list__reverse.

Why? This change will break code which does `list__map(list__reverse, Xs)',
and has very little benefit at the moment. This sort of change should wait
until the mode checker handles uniqueness and taking the address of
predicates with multiple modes properly. Even then, the mode that should
be added is something like:

:- mode list__reverse(di(uniq_list_skel(I)), out(uniq_list_skel(I))) is det.

:- inst uniq_list_skel(I) == unique(([] ; [I | uniq_list_skel(I)])).

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