[m-rev.] diff: fix array.m unique mode error

Simon Taylor stayl at cs.mu.OZ.AU
Tue Jun 4 03:05:14 AEST 2002


Estimated hours taken: 0.25
Branches: main, release

library/array.m:
	Fix an undetected unique mode error -- the input array
	to 'elem :=' should have mode `array_di', not `array_ui'.

Index: array.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/array.m,v
retrieving revision 1.104
retrieving revision 1.105
diff -u -u -r1.104 -r1.105
--- array.m	18 Feb 2002 07:01:01 -0000	1.104
+++ array.m	3 Jun 2002 17:04:25 -0000	1.105
@@ -229,7 +229,7 @@
 	% Field update for arrays.
 	% (Array ^ elem(Index) := Value) = array__set(Array, Index, Value).
 :- func 'array__elem :='(int, array(T), T) = array(T).
-:- mode 'array__elem :='(in, array_ui, in) = array_uo is det.
+:- mode 'array__elem :='(in, array_di, in) = array_uo is det.
 
 %-----------------------------------------------------------------------------%
 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list