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

[Michael Day]

Estimated hours taken: 0.1
Branches: main

Adding unique modes for list__reverse.

Michael


Index: list.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/list.m,v
retrieving revision 1.100
diff -u -r1.100 list.m
--- list.m	24 Aug 2001 08:44:08 -0000	1.100
+++ list.m	15 Oct 2001 03:22:52 -0000
@@ -308,6 +308,7 @@
 	%
 :- pred list__reverse(list(T), list(T)).
 :- mode list__reverse(in, out) is det.
+:- mode list__reverse(di, uo) is det.

 :- func list__reverse(list(T)) = list(T).

@@ -888,6 +889,7 @@

 :- pred list__reverse_2(list(T), list(T), list(T)).
 :- mode list__reverse_2(in, in, out) is det.
+:- mode list__reverse_2(di, di, uo) is det.

 list__reverse_2([], L, L).
 list__reverse_2([X|Xs], L0, L) :-

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